Logics for Computer Science Program at TU Wien

Project Information

LogiCS_at_TUWien

Grant agreement ID: 101034440

DOI

10.3030/101034440

EC signature date 19 April 2021

Start date 1 June 2022

End date 31 May 2027

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 4 339 200,00

EU contribution

€ 2 169 600,00

Coordinated by

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (37)

Searching for Smallest Universal Graphs and Tournaments

Author(s): Tianwei Zhang, Stefan Szeider
Published in: The 29th International Conference on Principles and Practice of Constraint Programming, 2023
Publisher: Dagstuhl Publishing
DOI: 10.4230/lipics.cp.2023.39

Computational Aspects of Progression for Temporal Equilibrium Logic

Author(s): Thomas Eiter, Davide Soldà
Published in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Page(s) 3342-3350
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/370

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

Author(s): Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
Published in: 33rd USENIX Security Symposium (USENIX 2024), 2024
Publisher: USENIX Association

Constrained Derivation in Assumption-Based Argumentation

Author(s): Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Published in: 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3@AIxIA2023), 2023
Publisher: CEUR-WS.org

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

Author(s): Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Published in: The 34th International Symposium on Algorithms and Computation (ISAAC 2023), 2023
Publisher: 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

Author(s): Foucaud, Florent; Galby, Esther; Khazaliya, Liana; Li, Shaohua; Inerney, Fionn Mc; Sharma, Roohani; Tale, Prafullkumar
Published in: International Colloquium on Automata, Languages and Programming, ICALP 2024, Issue 2, 2024
Publisher: Dagstuhl Publishing
DOI: 10.48550/arxiv.2307.08149

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

Author(s): Agata Ciabattoni, Josephine Dik, Elisa Freschi
Published in: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Publisher: College publications

Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

Author(s): Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale
Published in: Mathematical Foundations of Computer Science, MFCS 2022, 2022
Publisher: Dagstuhl Publishing
DOI: 10.4230/lipics.mfcs.2022.51

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

Author(s): 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
Published in: 15th NASA Formal Methods Symposium (NFM 2023), 2023
Publisher: Springer Nature

Deductive Controller Synthesis for Probabilistic Hyperproperties

Author(s): Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia, Sarah Sallinger
Published in: Lecture Notes in Computer Science, Quantitative Evaluation of Systems, 2023, Page(s) 288-306
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43835-6_20

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Author(s): Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
Published in: 44th IEEE Symposium on Security and Privacy (IEEE S&P 2023), 2023
Publisher: IEEE

Stop at red? Engineering meets ethics

Author(s): Ignacio D. Lopez-Miguel
Published in: International Conference on Computer Ethics: Philosophical Enquiry 2023 (CEPE 2023), 2023
Publisher: Illinois Institute of Technology

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Author(s): Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Published in: 22nd International Semantic Web Conference (ISWC 2023), 2023
Publisher: CEUR-WS.org

Linear Loop Synthesis for Quadratic Invariants

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

Streamlining Input/Output Logics with Sequent Calculi

Author(s): Agata Ciabattoni, Dmitry Rozplokhas
Published in: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Page(s) 146-155
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/15

Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement

Author(s): Ignacio D. Lopez-Miguel
Published in: 39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), 2024
Publisher: Springer Nature

Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable

Author(s): Sujoy Bhore, Robert Ganian, Liana Khazaliya, Fabrizio Montecchiani, Martin Nöllenburg
Published in: The 39th International Symposium on Computational Geometry, SoCG 2023, 2023
Publisher: Dagstuhl Publishing
DOI: 10.4230/lipics.socg.2023.18

Tree-Verifiable Graph Grammars

Author(s): Mark Chimes, Radu Iosif, Florian Zuleger
Published in: EPiC Series in Computing, Issue 100, 2024, Page(s) 165-148
Publisher: EasyChair
DOI: 10.29007/8l13

Constrained Derivation in Assumption-Based Argumentation

Author(s): Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Published in: 13th International Symposium on Foundations of Informations and Knolwedge Systems, 2024
Publisher: Springer

Analytic Proof Theory for Åqvist System F

Author(s): Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Published in: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Publisher: College Publications

Consistency-Checking Problems: A Gateway to Parameterized Sample Complexity

Author(s): Ganian, Robert; Khazaliya, Liana; Simonov, Kirill
Published in: Issue 2, 2023
Publisher: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.11416

Compilation and Fast Model Counting beyond CNF

Author(s): Alexis de Colnet, Stefan Szeider, Tianwei Zhang
Published in: the 33rd International Joint Conference on Artificial Intelligence, 2024
Publisher: IJCAI

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

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

PACE Solver Description: Touiouidth

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

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

Author(s): Johanna Rockstroh, Giada D’Ippolito, Nicolas Lazzari, Anouk M. Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph
Published in: 4th Wikidata Workshop, 2023
Publisher: CEUR-WS.org

Free-Riding in Multi-Issue Decisions

Author(s): Lackner, Martin; Maly, Jan; Nardi, Oliviero
Published in: 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), 2023
Publisher: IFAAMAS

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

Author(s): Agata Ciabattoni, Dmitry Rozplokhas
Published in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Page(s) 8389-8393
Publisher: 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

Author(s): Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
Published in: 37th International Workshop on Description Logics (DL 2024), 2024
Publisher: CEUR-WS.org

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Author(s): Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Published in: 36th International Workshop on Description Logics (DL 2023), 2023
Publisher: CEUR-WS.org

Combining Voting and Abstract Argumentation to Understand Online Discussions

Author(s): Bernreiter, Michael; Maly, Jan; Nardi, Oliviero; Woltran, Stefan
Published in: 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), 2024
Publisher: IFAAMAS

New Complexity-Theoretic Frontiers of Tractability for Neural Network Training

Author(s): Cornelius Brand, Robert Ganian, Mathis Rocton
Published in: 37th Conference on Neural Information Processing Systems (NeurIPS 2023), 2023
Publisher: Neurips

Small unsatisfiable k-CNFs with bounded literal occurrence

Author(s): Tianwei Zhang, Tomáš Peitl, Stefan, Szeider
Published in: The 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Publisher: Dagstuhl Publishing
DOI: 10.4230/lipics.sat.2024.31

Computing Twin-Width Parameterized by the Feedback Edge Number

Author(s): Balabán, Jakub; Ganian, Robert; Rocton, Mathis
Published in: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024
Publisher: LIPIcs - Dagstuhl
DOI: 10.48550/arxiv.2310.08243

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes

Author(s): Giovanni Buraglio, Wolfgang Dvorak, Matthias Konig, Markus Ulbricht
Published in: 33th International Joint Conference on Artificial Intelligence, 2024
Publisher: International Joint Conferences on Artificial Intelligence Organization

Leveraging Neurosymbolic AI for Slice Discovery

Author(s): Michele Collevati, Thomas Eiter, Nelson Higuera
Published in: Knowledge Graphs and Neurosymbolic AI (KG-NeSy) Workshop & The First Austrian Symposium on AI, Robotics, and Vision (AIRoV 2024), 2024
Publisher: innsbruck university press

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

Author(s): Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Published in: Lecture Notes in Computer Science, Graph Drawing and Network Visualization, 2024, Page(s) 203-217
Publisher: Springer
DOI: 10.1007/978-3-031-49275-4_14

From Polynomial Invariants to Linear Loops

Author(s): George Kenison, Laura Kovács, Anton Varonka
Published in: 48th International Symposium on Symbolic and Algebraic Computation, 2023
Publisher: Association for Computing Machinery

Book chapters (5)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Author(s): Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Šimkus
Published in: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Publisher: IOS Press
DOI: 10.3233/faia230250

Progression for Monitoring in Temporal ASP

Author(s): Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
Published in: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Publisher: IOS Press
DOI: 10.3233/faia230513

What Else is Undecidable About Loops?

Author(s): Laura Kovács, Anton Varonka
Published in: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Page(s) 176-193
Publisher: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_11

Leveraging Neurosymbolic AI for Slice Discovery

Author(s): Michele Collevati, Thomas Eiter, Nelson Higuera
Published in: 18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy 2024), 2024
Publisher: Springer Nature

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

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

Peer reviewed articles (4)

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

Author(s): Davide Soldà, Francesco Fabiano, Agostino Dovier
Published in: Journal of Logic and Computation, Issue 33, 2023, Page(s) 1804-1831, ISSN 0955-792X
Publisher: Oxford University Press
DOI: 10.1093/logcom/exad036

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Author(s): Hai Xia, Stefan Szeider
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 38, 2024, Page(s) 8191-8199, ISSN 2374-3468
Publisher: AAAI
DOI: 10.1609/aaai.v38i8.28659

A Model Checker for Operator Precedence Languages

Author(s): Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
Published in: ACM Transactions on Programming Languages and Systems, Issue 45, 2023, Page(s) 1-66, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3608443

Repeated Fair Allocation of Indivisible Items

Author(s): Ayumi Igarashi, Martin Lackner, Oliviero Nardi, Arianna Novaro
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 38, 2024, Page(s) 9781-9789, ISSN 2374-3468
Publisher: MIT
DOI: 10.1609/aaai.v38i9.28837