Logics for Computer Science Program at TU Wien

Informations projet

LogiCS_at_TUWien

N° de convention de subvention: 101034440

DOI

10.3030/101034440

Date de signature de la CE 19 Avril 2021

Date de début 1 Juin 2022

Date de fin 31 Mai 2027

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 4 339 200,00

Contribution de l’UE

€ 2 169 600,00

Coordonné par

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (37)

Searching for Smallest Universal Graphs and Tournaments

Auteurs: Tianwei Zhang, Stefan Szeider
Publié dans: The 29th International Conference on Principles and Practice of Constraint Programming, 2023
Éditeur: Dagstuhl Publishing
DOI: 10.4230/lipics.cp.2023.39

Computational Aspects of Progression for Temporal Equilibrium Logic

Auteurs: Thomas Eiter, Davide Soldà
Publié dans: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Page(s) 3342-3350
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/370

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

Auteurs: Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
Publié dans: 33rd USENIX Security Symposium (USENIX 2024), 2024
Éditeur: USENIX Association

Constrained Derivation in Assumption-Based Argumentation

Auteurs: Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Publié dans: 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3@AIxIA2023), 2023
Éditeur: CEUR-WS.org

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

Auteurs: Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Publié dans: The 34th International Symposium on Algorithms and Computation (ISAAC 2023), 2023
Éditeur: 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

Auteurs: Foucaud, Florent; Galby, Esther; Khazaliya, Liana; Li, Shaohua; Inerney, Fionn Mc; Sharma, Roohani; Tale, Prafullkumar
Publié dans: International Colloquium on Automata, Languages and Programming, ICALP 2024, Numéro 2, 2024
Éditeur: Dagstuhl Publishing
DOI: 10.48550/arxiv.2307.08149

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

Auteurs: Agata Ciabattoni, Josephine Dik, Elisa Freschi
Publié dans: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Éditeur: College publications

Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

Auteurs: Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale
Publié dans: Mathematical Foundations of Computer Science, MFCS 2022, 2022
Éditeur: Dagstuhl Publishing
DOI: 10.4230/lipics.mfcs.2022.51

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

Auteurs: 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
Publié dans: 15th NASA Formal Methods Symposium (NFM 2023), 2023
Éditeur: Springer Nature

Deductive Controller Synthesis for Probabilistic Hyperproperties

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

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Auteurs: Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
Publié dans: 44th IEEE Symposium on Security and Privacy (IEEE S&P 2023), 2023
Éditeur: IEEE

Stop at red? Engineering meets ethics

Auteurs: Ignacio D. Lopez-Miguel
Publié dans: International Conference on Computer Ethics: Philosophical Enquiry 2023 (CEPE 2023), 2023
Éditeur: Illinois Institute of Technology

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Auteurs: Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Publié dans: 22nd International Semantic Web Conference (ISWC 2023), 2023
Éditeur: CEUR-WS.org

Linear Loop Synthesis for Quadratic Invariants

Auteurs: Hitarth, S.; Kenison, George; Kovács, Laura; Varonka, Anton
Publié dans: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2310.05120

Streamlining Input/Output Logics with Sequent Calculi

Auteurs: Agata Ciabattoni, Dmitry Rozplokhas
Publié dans: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Page(s) 146-155
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/15

Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement

Auteurs: Ignacio D. Lopez-Miguel
Publié dans: 39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), 2024
Éditeur: Springer Nature

Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable

Auteurs: Sujoy Bhore, Robert Ganian, Liana Khazaliya, Fabrizio Montecchiani, Martin Nöllenburg
Publié dans: The 39th International Symposium on Computational Geometry, SoCG 2023, 2023
Éditeur: Dagstuhl Publishing
DOI: 10.4230/lipics.socg.2023.18

Tree-Verifiable Graph Grammars

Auteurs: Mark Chimes, Radu Iosif, Florian Zuleger
Publié dans: EPiC Series in Computing, Numéro 100, 2024, Page(s) 165-148
Éditeur: EasyChair
DOI: 10.29007/8l13

Constrained Derivation in Assumption-Based Argumentation

Auteurs: Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Publié dans: 13th International Symposium on Foundations of Informations and Knolwedge Systems, 2024
Éditeur: Springer

Analytic Proof Theory for Åqvist System F

Auteurs: Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Publié dans: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Éditeur: College Publications

Consistency-Checking Problems: A Gateway to Parameterized Sample Complexity

Auteurs: Ganian, Robert; Khazaliya, Liana; Simonov, Kirill
Publié dans: Numéro 2, 2023
Éditeur: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.11416

Compilation and Fast Model Counting beyond CNF

Auteurs: Alexis de Colnet, Stefan Szeider, Tianwei Zhang
Publié dans: the 33rd International Joint Conference on Artificial Intelligence, 2024
Éditeur: IJCAI

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

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

PACE Solver Description: Touiouidth

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

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

Auteurs: Johanna Rockstroh, Giada D’Ippolito, Nicolas Lazzari, Anouk M. Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph
Publié dans: 4th Wikidata Workshop, 2023
Éditeur: CEUR-WS.org

Free-Riding in Multi-Issue Decisions

Auteurs: Lackner, Martin; Maly, Jan; Nardi, Oliviero
Publié dans: 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), 2023
Éditeur: IFAAMAS

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

Auteurs: Agata Ciabattoni, Dmitry Rozplokhas
Publié dans: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Page(s) 8389-8393
Éditeur: 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

Auteurs: Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
Publié dans: 37th International Workshop on Description Logics (DL 2024), 2024
Éditeur: CEUR-WS.org

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Auteurs: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Publié dans: 36th International Workshop on Description Logics (DL 2023), 2023
Éditeur: CEUR-WS.org

Combining Voting and Abstract Argumentation to Understand Online Discussions

Auteurs: Bernreiter, Michael; Maly, Jan; Nardi, Oliviero; Woltran, Stefan
Publié dans: 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), 2024
Éditeur: IFAAMAS

New Complexity-Theoretic Frontiers of Tractability for Neural Network Training

Auteurs: Cornelius Brand, Robert Ganian, Mathis Rocton
Publié dans: 37th Conference on Neural Information Processing Systems (NeurIPS 2023), 2023
Éditeur: Neurips

Small unsatisfiable k-CNFs with bounded literal occurrence

Auteurs: Tianwei Zhang, Tomáš Peitl, Stefan, Szeider
Publié dans: The 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Éditeur: Dagstuhl Publishing
DOI: 10.4230/lipics.sat.2024.31

Computing Twin-Width Parameterized by the Feedback Edge Number

Auteurs: Balabán, Jakub; Ganian, Robert; Rocton, Mathis
Publié dans: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024
Éditeur: LIPIcs - Dagstuhl
DOI: 10.48550/arxiv.2310.08243

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes

Auteurs: Giovanni Buraglio, Wolfgang Dvorak, Matthias Konig, Markus Ulbricht
Publié dans: 33th International Joint Conference on Artificial Intelligence, 2024
Éditeur: International Joint Conferences on Artificial Intelligence Organization

Leveraging Neurosymbolic AI for Slice Discovery

Auteurs: Michele Collevati, Thomas Eiter, Nelson Higuera
Publié dans: Knowledge Graphs and Neurosymbolic AI (KG-NeSy) Workshop & The First Austrian Symposium on AI, Robotics, and Vision (AIRoV 2024), 2024
Éditeur: innsbruck university press

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

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

From Polynomial Invariants to Linear Loops

Auteurs: George Kenison, Laura Kovács, Anton Varonka
Publié dans: 48th International Symposium on Symbolic and Algebraic Computation, 2023
Éditeur: Association for Computing Machinery

Book chapters (5)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Auteurs: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Šimkus
Publié dans: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Éditeur: IOS Press
DOI: 10.3233/faia230250

Progression for Monitoring in Temporal ASP

Auteurs: Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
Publié dans: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Éditeur: IOS Press
DOI: 10.3233/faia230513

What Else is Undecidable About Loops?

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

Leveraging Neurosymbolic AI for Slice Discovery

Auteurs: Michele Collevati, Thomas Eiter, Nelson Higuera
Publié dans: 18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy 2024), 2024
Éditeur: Springer Nature

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

Auteurs: Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
Publié dans: Communications in Computer and Information Science, Engineering Applications of Neural Networks, 2023, Page(s) 420-432
Éditeur: 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

Auteurs: Davide Soldà, Francesco Fabiano, Agostino Dovier
Publié dans: Journal of Logic and Computation, Numéro 33, 2023, Page(s) 1804-1831, ISSN 0955-792X
Éditeur: Oxford University Press
DOI: 10.1093/logcom/exad036

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Auteurs: Hai Xia, Stefan Szeider
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 38, 2024, Page(s) 8191-8199, ISSN 2374-3468
Éditeur: AAAI
DOI: 10.1609/aaai.v38i8.28659

A Model Checker for Operator Precedence Languages

Auteurs: Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
Publié dans: ACM Transactions on Programming Languages and Systems, Numéro 45, 2023, Page(s) 1-66, ISSN 0164-0925
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3608443

Repeated Fair Allocation of Indivisible Items

Auteurs: Ayumi Igarashi, Martin Lackner, Oliviero Nardi, Arianna Novaro
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 38, 2024, Page(s) 9781-9789, ISSN 2374-3468
Éditeur: MIT
DOI: 10.1609/aaai.v38i9.28837