Logics for Computer Science Program at TU Wien

Informazioni relative al progetto

LogiCS_at_TUWien

ID dell’accordo di sovvenzione: 101034440

DOI

10.3030/101034440

Data della firma CE 19 Aprile 2021

Data di avvio 1 Giugno 2022

Data di completamento 31 Maggio 2027

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 4 339 200,00

Contributo UE

€ 2 169 600,00

Coordinato da

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (37)

Searching for Smallest Universal Graphs and Tournaments

Autori: Tianwei Zhang, Stefan Szeider
Pubblicato in: The 29th International Conference on Principles and Practice of Constraint Programming, 2023
Editore: Dagstuhl Publishing
DOI: 10.4230/lipics.cp.2023.39

Computational Aspects of Progression for Temporal Equilibrium Logic

Autori: Thomas Eiter, Davide Soldà
Pubblicato in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Pagina/e 3342-3350
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/370

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

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

Constrained Derivation in Assumption-Based Argumentation

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

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

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

Autori: Foucaud, Florent; Galby, Esther; Khazaliya, Liana; Li, Shaohua; Inerney, Fionn Mc; Sharma, Roohani; Tale, Prafullkumar
Pubblicato in: International Colloquium on Automata, Languages and Programming, ICALP 2024, Numero 2, 2024
Editore: Dagstuhl Publishing
DOI: 10.48550/arxiv.2307.08149

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

Autori: Agata Ciabattoni, Josephine Dik, Elisa Freschi
Pubblicato in: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Editore: College publications

Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

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

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

Autori: 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
Pubblicato in: 15th NASA Formal Methods Symposium (NFM 2023), 2023
Editore: Springer Nature

Deductive Controller Synthesis for Probabilistic Hyperproperties

Autori: Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia, Sarah Sallinger
Pubblicato in: Lecture Notes in Computer Science, Quantitative Evaluation of Systems, 2023, Pagina/e 288-306
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43835-6_20

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

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

Stop at red? Engineering meets ethics

Autori: Ignacio D. Lopez-Miguel
Pubblicato in: International Conference on Computer Ethics: Philosophical Enquiry 2023 (CEPE 2023), 2023
Editore: Illinois Institute of Technology

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autori: Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Pubblicato in: 22nd International Semantic Web Conference (ISWC 2023), 2023
Editore: CEUR-WS.org

Linear Loop Synthesis for Quadratic Invariants

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

Streamlining Input/Output Logics with Sequent Calculi

Autori: Agata Ciabattoni, Dmitry Rozplokhas
Pubblicato in: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Pagina/e 146-155
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/15

Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement

Autori: Ignacio D. Lopez-Miguel
Pubblicato in: 39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), 2024
Editore: Springer Nature

Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable

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

Tree-Verifiable Graph Grammars

Autori: Mark Chimes, Radu Iosif, Florian Zuleger
Pubblicato in: EPiC Series in Computing, Numero 100, 2024, Pagina/e 165-148
Editore: EasyChair
DOI: 10.29007/8l13

Constrained Derivation in Assumption-Based Argumentation

Autori: Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Pubblicato in: 13th International Symposium on Foundations of Informations and Knolwedge Systems, 2024
Editore: Springer

Analytic Proof Theory for Åqvist System F

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

Consistency-Checking Problems: A Gateway to Parameterized Sample Complexity

Autori: Ganian, Robert; Khazaliya, Liana; Simonov, Kirill
Pubblicato in: Numero 2, 2023
Editore: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.11416

Compilation and Fast Model Counting beyond CNF

Autori: Alexis de Colnet, Stefan Szeider, Tianwei Zhang
Pubblicato in: the 33rd International Joint Conference on Artificial Intelligence, 2024
Editore: IJCAI

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

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

PACE Solver Description: Touiouidth

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

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

Autori: Johanna Rockstroh, Giada D’Ippolito, Nicolas Lazzari, Anouk M. Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph
Pubblicato in: 4th Wikidata Workshop, 2023
Editore: CEUR-WS.org

Free-Riding in Multi-Issue Decisions

Autori: Lackner, Martin; Maly, Jan; Nardi, Oliviero
Pubblicato in: 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), 2023
Editore: IFAAMAS

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

Autori: Agata Ciabattoni, Dmitry Rozplokhas
Pubblicato in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Pagina/e 8389-8393
Editore: 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

Autori: Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
Pubblicato in: 37th International Workshop on Description Logics (DL 2024), 2024
Editore: CEUR-WS.org

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autori: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Pubblicato in: 36th International Workshop on Description Logics (DL 2023), 2023
Editore: CEUR-WS.org

Combining Voting and Abstract Argumentation to Understand Online Discussions

Autori: Bernreiter, Michael; Maly, Jan; Nardi, Oliviero; Woltran, Stefan
Pubblicato in: 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), 2024
Editore: IFAAMAS

New Complexity-Theoretic Frontiers of Tractability for Neural Network Training

Autori: Cornelius Brand, Robert Ganian, Mathis Rocton
Pubblicato in: 37th Conference on Neural Information Processing Systems (NeurIPS 2023), 2023
Editore: Neurips

Small unsatisfiable k-CNFs with bounded literal occurrence

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

Computing Twin-Width Parameterized by the Feedback Edge Number

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

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes

Autori: Giovanni Buraglio, Wolfgang Dvorak, Matthias Konig, Markus Ulbricht
Pubblicato in: 33th International Joint Conference on Artificial Intelligence, 2024
Editore: International Joint Conferences on Artificial Intelligence Organization

Leveraging Neurosymbolic AI for Slice Discovery

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

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

Autori: Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Pubblicato in: Lecture Notes in Computer Science, Graph Drawing and Network Visualization, 2024, Pagina/e 203-217
Editore: Springer
DOI: 10.1007/978-3-031-49275-4_14

From Polynomial Invariants to Linear Loops

Autori: George Kenison, Laura Kovács, Anton Varonka
Pubblicato in: 48th International Symposium on Symbolic and Algebraic Computation, 2023
Editore: Association for Computing Machinery

Book chapters (5)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autori: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Šimkus
Pubblicato in: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Editore: IOS Press
DOI: 10.3233/faia230250

Progression for Monitoring in Temporal ASP

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

What Else is Undecidable About Loops?

Autori: Laura Kovács, Anton Varonka
Pubblicato in: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Pagina/e 176-193
Editore: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_11

Leveraging Neurosymbolic AI for Slice Discovery

Autori: Michele Collevati, Thomas Eiter, Nelson Higuera
Pubblicato in: 18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy 2024), 2024
Editore: Springer Nature

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

Autori: Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
Pubblicato in: Communications in Computer and Information Science, Engineering Applications of Neural Networks, 2023, Pagina/e 420-432
Editore: 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

Autori: Davide Soldà, Francesco Fabiano, Agostino Dovier
Pubblicato in: Journal of Logic and Computation, Numero 33, 2023, Pagina/e 1804-1831, ISSN 0955-792X
Editore: Oxford University Press
DOI: 10.1093/logcom/exad036

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Autori: Hai Xia, Stefan Szeider
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 38, 2024, Pagina/e 8191-8199, ISSN 2374-3468
Editore: AAAI
DOI: 10.1609/aaai.v38i8.28659

A Model Checker for Operator Precedence Languages

Autori: Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
Pubblicato in: ACM Transactions on Programming Languages and Systems, Numero 45, 2023, Pagina/e 1-66, ISSN 0164-0925
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3608443

Repeated Fair Allocation of Indivisible Items

Autori: Ayumi Igarashi, Martin Lackner, Oliviero Nardi, Arianna Novaro
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 38, 2024, Pagina/e 9781-9789, ISSN 2374-3468
Editore: MIT
DOI: 10.1609/aaai.v38i9.28837