Logics for Computer Science Program at TU Wien

Información del proyecto

LogiCS_at_TUWien

Identificador del acuerdo de subvención: 101034440

DOI

10.3030/101034440

Fecha de la firma de la CE 19 Abril 2021

Fecha de inicio 1 Junio 2022

Fecha de finalización 31 Mayo 2027

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 4 339 200,00

Aportación de la UE

€ 2 169 600,00

Coordinado por

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (37)

Searching for Smallest Universal Graphs and Tournaments

Autores: Tianwei Zhang, Stefan Szeider
Publicado en: The 29th International Conference on Principles and Practice of Constraint Programming, 2023
Editor: Dagstuhl Publishing
DOI: 10.4230/lipics.cp.2023.39

Computational Aspects of Progression for Temporal Equilibrium Logic

Autores: Thomas Eiter, Davide Soldà
Publicado en: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Página(s) 3342-3350
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/370

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

Autores: Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
Publicado en: 33rd USENIX Security Symposium (USENIX 2024), 2024
Editor: USENIX Association

Constrained Derivation in Assumption-Based Argumentation

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

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

Autores: Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Publicado en: The 34th International Symposium on Algorithms and Computation (ISAAC 2023), 2023
Editor: 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

Autores: Foucaud, Florent; Galby, Esther; Khazaliya, Liana; Li, Shaohua; Inerney, Fionn Mc; Sharma, Roohani; Tale, Prafullkumar
Publicado en: International Colloquium on Automata, Languages and Programming, ICALP 2024, Edición 2, 2024
Editor: Dagstuhl Publishing
DOI: 10.48550/arxiv.2307.08149

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

Autores: Agata Ciabattoni, Josephine Dik, Elisa Freschi
Publicado en: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Editor: College publications

Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

Autores: Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale
Publicado en: Mathematical Foundations of Computer Science, MFCS 2022, 2022
Editor: Dagstuhl Publishing
DOI: 10.4230/lipics.mfcs.2022.51

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

Autores: 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
Publicado en: 15th NASA Formal Methods Symposium (NFM 2023), 2023
Editor: Springer Nature

Deductive Controller Synthesis for Probabilistic Hyperproperties

Autores: Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia, Sarah Sallinger
Publicado en: Lecture Notes in Computer Science, Quantitative Evaluation of Systems, 2023, Página(s) 288-306
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43835-6_20

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Autores: Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
Publicado en: 44th IEEE Symposium on Security and Privacy (IEEE S&P 2023), 2023
Editor: IEEE

Stop at red? Engineering meets ethics

Autores: Ignacio D. Lopez-Miguel
Publicado en: International Conference on Computer Ethics: Philosophical Enquiry 2023 (CEPE 2023), 2023
Editor: Illinois Institute of Technology

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autores: Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Publicado en: 22nd International Semantic Web Conference (ISWC 2023), 2023
Editor: CEUR-WS.org

Linear Loop Synthesis for Quadratic Invariants

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

Streamlining Input/Output Logics with Sequent Calculi

Autores: Agata Ciabattoni, Dmitry Rozplokhas
Publicado en: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Página(s) 146-155
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/15

Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement

Autores: Ignacio D. Lopez-Miguel
Publicado en: 39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), 2024
Editor: Springer Nature

Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable

Autores: Sujoy Bhore, Robert Ganian, Liana Khazaliya, Fabrizio Montecchiani, Martin Nöllenburg
Publicado en: The 39th International Symposium on Computational Geometry, SoCG 2023, 2023
Editor: Dagstuhl Publishing
DOI: 10.4230/lipics.socg.2023.18

Tree-Verifiable Graph Grammars

Autores: Mark Chimes, Radu Iosif, Florian Zuleger
Publicado en: EPiC Series in Computing, Edición 100, 2024, Página(s) 165-148
Editor: EasyChair
DOI: 10.29007/8l13

Constrained Derivation in Assumption-Based Argumentation

Autores: Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Publicado en: 13th International Symposium on Foundations of Informations and Knolwedge Systems, 2024
Editor: Springer

Analytic Proof Theory for Åqvist System F

Autores: Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Publicado en: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Editor: College Publications

Consistency-Checking Problems: A Gateway to Parameterized Sample Complexity

Autores: Ganian, Robert; Khazaliya, Liana; Simonov, Kirill
Publicado en: Edición 2, 2023
Editor: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.11416

Compilation and Fast Model Counting beyond CNF

Autores: Alexis de Colnet, Stefan Szeider, Tianwei Zhang
Publicado en: the 33rd International Joint Conference on Artificial Intelligence, 2024
Editor: IJCAI

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

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

PACE Solver Description: Touiouidth

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

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

Autores: Johanna Rockstroh, Giada D’Ippolito, Nicolas Lazzari, Anouk M. Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph
Publicado en: 4th Wikidata Workshop, 2023
Editor: CEUR-WS.org

Free-Riding in Multi-Issue Decisions

Autores: Lackner, Martin; Maly, Jan; Nardi, Oliviero
Publicado en: 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), 2023
Editor: IFAAMAS

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

Autores: Agata Ciabattoni, Dmitry Rozplokhas
Publicado en: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Página(s) 8389-8393
Editor: 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

Autores: Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
Publicado en: 37th International Workshop on Description Logics (DL 2024), 2024
Editor: CEUR-WS.org

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autores: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Publicado en: 36th International Workshop on Description Logics (DL 2023), 2023
Editor: CEUR-WS.org

Combining Voting and Abstract Argumentation to Understand Online Discussions

Autores: Bernreiter, Michael; Maly, Jan; Nardi, Oliviero; Woltran, Stefan
Publicado en: 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), 2024
Editor: IFAAMAS

New Complexity-Theoretic Frontiers of Tractability for Neural Network Training

Autores: Cornelius Brand, Robert Ganian, Mathis Rocton
Publicado en: 37th Conference on Neural Information Processing Systems (NeurIPS 2023), 2023
Editor: Neurips

Small unsatisfiable k-CNFs with bounded literal occurrence

Autores: Tianwei Zhang, Tomáš Peitl, Stefan, Szeider
Publicado en: The 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Editor: Dagstuhl Publishing
DOI: 10.4230/lipics.sat.2024.31

Computing Twin-Width Parameterized by the Feedback Edge Number

Autores: Balabán, Jakub; Ganian, Robert; Rocton, Mathis
Publicado en: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024
Editor: LIPIcs - Dagstuhl
DOI: 10.48550/arxiv.2310.08243

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes

Autores: Giovanni Buraglio, Wolfgang Dvorak, Matthias Konig, Markus Ulbricht
Publicado en: 33th International Joint Conference on Artificial Intelligence, 2024
Editor: International Joint Conferences on Artificial Intelligence Organization

Leveraging Neurosymbolic AI for Slice Discovery

Autores: Michele Collevati, Thomas Eiter, Nelson Higuera
Publicado en: Knowledge Graphs and Neurosymbolic AI (KG-NeSy) Workshop & The First Austrian Symposium on AI, Robotics, and Vision (AIRoV 2024), 2024
Editor: innsbruck university press

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

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

From Polynomial Invariants to Linear Loops

Autores: George Kenison, Laura Kovács, Anton Varonka
Publicado en: 48th International Symposium on Symbolic and Algebraic Computation, 2023
Editor: Association for Computing Machinery

Book chapters (5)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autores: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Šimkus
Publicado en: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Editor: IOS Press
DOI: 10.3233/faia230250

Progression for Monitoring in Temporal ASP

Autores: Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
Publicado en: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Editor: IOS Press
DOI: 10.3233/faia230513

What Else is Undecidable About Loops?

Autores: Laura Kovács, Anton Varonka
Publicado en: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Página(s) 176-193
Editor: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_11

Leveraging Neurosymbolic AI for Slice Discovery

Autores: Michele Collevati, Thomas Eiter, Nelson Higuera
Publicado en: 18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy 2024), 2024
Editor: Springer Nature

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

Autores: Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
Publicado en: Communications in Computer and Information Science, Engineering Applications of Neural Networks, 2023, Página(s) 420-432
Editor: 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

Autores: Davide Soldà, Francesco Fabiano, Agostino Dovier
Publicado en: Journal of Logic and Computation, Edición 33, 2023, Página(s) 1804-1831, ISSN 0955-792X
Editor: Oxford University Press
DOI: 10.1093/logcom/exad036

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Autores: Hai Xia, Stefan Szeider
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 38, 2024, Página(s) 8191-8199, ISSN 2374-3468
Editor: AAAI
DOI: 10.1609/aaai.v38i8.28659

A Model Checker for Operator Precedence Languages

Autores: Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
Publicado en: ACM Transactions on Programming Languages and Systems, Edición 45, 2023, Página(s) 1-66, ISSN 0164-0925
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3608443

Repeated Fair Allocation of Indivisible Items

Autores: Ayumi Igarashi, Martin Lackner, Oliviero Nardi, Arianna Novaro
Publicado en: Proceedings of the AAAI Conference on Artificial Intelligence, Edición 38, 2024, Página(s) 9781-9789, ISSN 2374-3468
Editor: MIT
DOI: 10.1609/aaai.v38i9.28837