Logics for Computer Science Program at TU Wien

Searching for Smallest Universal Graphs and Tournaments

Autoren: Tianwei Zhang, Stefan Szeider
Veröffentlicht in: The 29th International Conference on Principles and Practice of Constraint Programming, 2023
Herausgeber: Dagstuhl Publishing
DOI: 10.4230/lipics.cp.2023.39

Computational Aspects of Progression for Temporal Equilibrium Logic

Autoren: Thomas Eiter, Davide Soldà
Veröffentlicht in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Seite(n) 3342-3350
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/370

Web Platform Threats: Automated Detection of Web Security Issues With WPT

Autoren: Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
Veröffentlicht in: 33rd USENIX Security Symposium (USENIX 2024), 2024
Herausgeber: USENIX Association

Constrained Derivation in Assumption-Based Argumentation

Autoren: Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Veröffentlicht in: 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3@AIxIA2023), 2023
Herausgeber: CEUR-WS.org

The st-Planar Edge Completion Problem is Fixed-Parameter Tractable

Autoren: Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Veröffentlicht in: The 34th International Symposium on Algorithms and Computation (ISAAC 2023), 2023
Herausgeber: Dagstuhl Publishing
DOI: 10.4230/lipics.isaac.2023.46

Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover

Autoren: Foucaud, Florent; Galby, Esther; Khazaliya, Liana; Li, Shaohua; Inerney, Fionn Mc; Sharma, Roohani; Tale, Prafullkumar
Veröffentlicht in: International Colloquium on Automata, Languages and Programming, ICALP 2024, Ausgabe 2, 2024
Herausgeber: Dagstuhl Publishing
DOI: 10.48550/arxiv.2307.08149

Disambiguating permissions: A contribution from Mīmāṃsā

Autoren: Agata Ciabattoni, Josephine Dik, Elisa Freschi
Veröffentlicht in: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Herausgeber: College publications

Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

Autoren: Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale
Veröffentlicht in: Mathematical Foundations of Computer Science, MFCS 2022, 2022
Herausgeber: Dagstuhl Publishing
DOI: 10.4230/lipics.mfcs.2022.51

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

Autoren: Zsófi Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego
Veröffentlicht in: 15th NASA Formal Methods Symposium (NFM 2023), 2023
Herausgeber: Springer Nature

Deductive Controller Synthesis for Probabilistic Hyperproperties

Autoren: Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia, Sarah Sallinger
Veröffentlicht in: Lecture Notes in Computer Science, Quantitative Evaluation of Systems, 2023, Seite(n) 288-306
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43835-6_20

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Autoren: Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
Veröffentlicht in: 44th IEEE Symposium on Security and Privacy (IEEE S&P 2023), 2023
Herausgeber: IEEE

Stop at red? Engineering meets ethics

Autoren: Ignacio D. Lopez-Miguel
Veröffentlicht in: International Conference on Computer Ethics: Philosophical Enquiry 2023 (CEPE 2023), 2023
Herausgeber: Illinois Institute of Technology

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autoren: Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Veröffentlicht in: 22nd International Semantic Web Conference (ISWC 2023), 2023
Herausgeber: CEUR-WS.org

Linear Loop Synthesis for Quadratic Invariants

Autoren: Hitarth, S.; Kenison, George; Kovács, Laura; Varonka, Anton
Veröffentlicht in: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2310.05120

Streamlining Input/Output Logics with Sequent Calculi

Autoren: Agata Ciabattoni, Dmitry Rozplokhas
Veröffentlicht in: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Seite(n) 146-155
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/15

Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement

Autoren: Ignacio D. Lopez-Miguel
Veröffentlicht in: 39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), 2024
Herausgeber: Springer Nature

Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable

Autoren: Sujoy Bhore, Robert Ganian, Liana Khazaliya, Fabrizio Montecchiani, Martin Nöllenburg
Veröffentlicht in: The 39th International Symposium on Computational Geometry, SoCG 2023, 2023
Herausgeber: Dagstuhl Publishing
DOI: 10.4230/lipics.socg.2023.18

Tree-Verifiable Graph Grammars

Autoren: Mark Chimes, Radu Iosif, Florian Zuleger
Veröffentlicht in: EPiC Series in Computing, Ausgabe 100, 2024, Seite(n) 165-148
Herausgeber: EasyChair
DOI: 10.29007/8l13

Constrained Derivation in Assumption-Based Argumentation

Autoren: Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Veröffentlicht in: 13th International Symposium on Foundations of Informations and Knolwedge Systems, 2024
Herausgeber: Springer

Analytic Proof Theory for Åqvist System F

Autoren: Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Veröffentlicht in: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Herausgeber: College Publications

Consistency-Checking Problems: A Gateway to Parameterized Sample Complexity

Autoren: Ganian, Robert; Khazaliya, Liana; Simonov, Kirill
Veröffentlicht in: Ausgabe 2, 2023
Herausgeber: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.11416

Compilation and Fast Model Counting beyond CNF

Autoren: Alexis de Colnet, Stefan Szeider, Tianwei Zhang
Veröffentlicht in: the 33rd International Joint Conference on Artificial Intelligence, 2024
Herausgeber: IJCAI

Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code

Autoren: Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Enrique Blanco Viñuela, Matias Salinas, Christine Betz
Veröffentlicht in: 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), 2023
Herausgeber: Inspire HEP - Jacow
DOI: 10.18429/jacow-icalepcs2023-tupdp001

PACE Solver Description: Touiouidth

Autoren: Gaétan Berthe, Yoann Coudert-Osmont, Alexander Dobler, Laure Morelle, Amadeus Reinald, Mathis Rocton
Veröffentlicht in: 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), 2023
Herausgeber: LIPIcs - Dagstuhl
DOI: 10.4230/lipics.ipec.2023.38

A is the B of C: (Semi-)Automatic Creation of Vossian Antonomasias

Autoren: Johanna Rockstroh, Giada D’Ippolito, Nicolas Lazzari, Anouk M. Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph
Veröffentlicht in: 4th Wikidata Workshop, 2023
Herausgeber: CEUR-WS.org

Free-Riding in Multi-Issue Decisions

Autoren: Lackner, Martin; Maly, Jan; Nardi, Oliviero
Veröffentlicht in: 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), 2023
Herausgeber: IFAAMAS

Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)

Autoren: Agata Ciabattoni, Dmitry Rozplokhas
Veröffentlicht in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Seite(n) 8389-8393
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/928

Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases

Autoren: Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
Veröffentlicht in: 37th International Workshop on Description Logics (DL 2024), 2024
Herausgeber: CEUR-WS.org

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autoren: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Veröffentlicht in: 36th International Workshop on Description Logics (DL 2023), 2023
Herausgeber: CEUR-WS.org

Combining Voting and Abstract Argumentation to Understand Online Discussions

Autoren: Bernreiter, Michael; Maly, Jan; Nardi, Oliviero; Woltran, Stefan
Veröffentlicht in: 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), 2024
Herausgeber: IFAAMAS

New Complexity-Theoretic Frontiers of Tractability for Neural Network Training

Autoren: Cornelius Brand, Robert Ganian, Mathis Rocton
Veröffentlicht in: 37th Conference on Neural Information Processing Systems (NeurIPS 2023), 2023
Herausgeber: Neurips

Small unsatisfiable k-CNFs with bounded literal occurrence

Autoren: Tianwei Zhang, Tomáš Peitl, Stefan, Szeider
Veröffentlicht in: The 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Herausgeber: Dagstuhl Publishing
DOI: 10.4230/lipics.sat.2024.31

Computing Twin-Width Parameterized by the Feedback Edge Number

Autoren: Balabán, Jakub; Ganian, Robert; Rocton, Mathis
Veröffentlicht in: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024
Herausgeber: LIPIcs - Dagstuhl
DOI: 10.48550/arxiv.2310.08243

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes

Autoren: Giovanni Buraglio, Wolfgang Dvorak, Matthias Konig, Markus Ulbricht
Veröffentlicht in: 33th International Joint Conference on Artificial Intelligence, 2024
Herausgeber: International Joint Conferences on Artificial Intelligence Organization

Leveraging Neurosymbolic AI for Slice Discovery

Autoren: Michele Collevati, Thomas Eiter, Nelson Higuera
Veröffentlicht in: Knowledge Graphs and Neurosymbolic AI (KG-NeSy) Workshop & The First Austrian Symposium on AI, Robotics, and Vision (AIRoV 2024), 2024
Herausgeber: innsbruck university press

Upward and Orthogonal Planarity are W[1]-Hard Parameterized by Treewidth

Autoren: Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Veröffentlicht in: Lecture Notes in Computer Science, Graph Drawing and Network Visualization, 2024, Seite(n) 203-217
Herausgeber: Springer
DOI: 10.1007/978-3-031-49275-4_14

From Polynomial Invariants to Linear Loops

Autoren: George Kenison, Laura Kovács, Anton Varonka
Veröffentlicht in: 48th International Symposium on Symbolic and Algebraic Computation, 2023
Herausgeber: Association for Computing Machinery

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autoren: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Šimkus
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Herausgeber: IOS Press
DOI: 10.3233/faia230250

Progression for Monitoring in Temporal ASP

Autoren: Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Herausgeber: IOS Press
DOI: 10.3233/faia230513

What Else is Undecidable About Loops?

Autoren: Laura Kovács, Anton Varonka
Veröffentlicht in: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Seite(n) 176-193
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_11

Leveraging Neurosymbolic AI for Slice Discovery

Autoren: Michele Collevati, Thomas Eiter, Nelson Higuera
Veröffentlicht in: 18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy 2024), 2024
Herausgeber: Springer Nature

Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN

Autoren: Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
Veröffentlicht in: Communications in Computer and Information Science, Engineering Applications of Neural Networks, 2023, Seite(n) 420-432
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-34204-2_35

ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems

Autoren: Davide Soldà, Francesco Fabiano, Agostino Dovier
Veröffentlicht in: Journal of Logic and Computation, Ausgabe 33, 2023, Seite(n) 1804-1831, ISSN 0955-792X
Herausgeber: Oxford University Press
DOI: 10.1093/logcom/exad036

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Autoren: Hai Xia, Stefan Szeider
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 38, 2024, Seite(n) 8191-8199, ISSN 2374-3468
Herausgeber: AAAI
DOI: 10.1609/aaai.v38i8.28659

A Model Checker for Operator Precedence Languages

Autoren: Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
Veröffentlicht in: ACM Transactions on Programming Languages and Systems, Ausgabe 45, 2023, Seite(n) 1-66, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3608443

Repeated Fair Allocation of Indivisible Items

Autoren: Ayumi Igarashi, Martin Lackner, Oliviero Nardi, Arianna Novaro
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 38, 2024, Seite(n) 9781-9789, ISSN 2374-3468
Herausgeber: MIT
DOI: 10.1609/aaai.v38i9.28837

Veröffentlichungen

Diese Seite teilen Diese Seite in sozialen Netzwerken teilen

Herunterladen Den Inhalt der Seite herunterladen