Logics for Computer Science Program at TU Wien

Informacje na temat projektu

LogiCS_at_TUWien

Identyfikator umowy o grant: 101034440

DOI

10.3030/101034440

Data podpisania przez KE 19 Kwietnia 2021

Data rozpoczęcia 1 Czerwca 2022

Data zakończenia 31 Maja 2027

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 4 339 200,00

Wkład UE

€ 2 169 600,00

Koordynowany przez

TECHNISCHE UNIVERSITAET WIEN
Austria

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (37)

Searching for Smallest Universal Graphs and Tournaments

Autorzy: Tianwei Zhang, Stefan Szeider
Opublikowane w: The 29th International Conference on Principles and Practice of Constraint Programming, 2023
Wydawca: Dagstuhl Publishing
DOI: 10.4230/lipics.cp.2023.39

Computational Aspects of Progression for Temporal Equilibrium Logic

Autorzy: Thomas Eiter, Davide Soldà
Opublikowane w: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Strona(/y) 3342-3350
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/370

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

Autorzy: Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
Opublikowane w: 33rd USENIX Security Symposium (USENIX 2024), 2024
Wydawca: USENIX Association

Constrained Derivation in Assumption-Based Argumentation

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

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

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

Autorzy: Foucaud, Florent; Galby, Esther; Khazaliya, Liana; Li, Shaohua; Inerney, Fionn Mc; Sharma, Roohani; Tale, Prafullkumar
Opublikowane w: International Colloquium on Automata, Languages and Programming, ICALP 2024, Numer 2, 2024
Wydawca: Dagstuhl Publishing
DOI: 10.48550/arxiv.2307.08149

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

Autorzy: Agata Ciabattoni, Josephine Dik, Elisa Freschi
Opublikowane w: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Wydawca: College publications

Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

Autorzy: Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale
Opublikowane w: Mathematical Foundations of Computer Science, MFCS 2022, 2022
Wydawca: Dagstuhl Publishing
DOI: 10.4230/lipics.mfcs.2022.51

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

Autorzy: 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
Opublikowane w: 15th NASA Formal Methods Symposium (NFM 2023), 2023
Wydawca: Springer Nature

Deductive Controller Synthesis for Probabilistic Hyperproperties

Autorzy: Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia, Sarah Sallinger
Opublikowane w: Lecture Notes in Computer Science, Quantitative Evaluation of Systems, 2023, Strona(/y) 288-306
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-43835-6_20

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Autorzy: Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
Opublikowane w: 44th IEEE Symposium on Security and Privacy (IEEE S&P 2023), 2023
Wydawca: IEEE

Stop at red? Engineering meets ethics

Autorzy: Ignacio D. Lopez-Miguel
Opublikowane w: International Conference on Computer Ethics: Philosophical Enquiry 2023 (CEPE 2023), 2023
Wydawca: Illinois Institute of Technology

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autorzy: Anouk Oudshoorn, Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Opublikowane w: 22nd International Semantic Web Conference (ISWC 2023), 2023
Wydawca: CEUR-WS.org

Linear Loop Synthesis for Quadratic Invariants

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

Streamlining Input/Output Logics with Sequent Calculi

Autorzy: Agata Ciabattoni, Dmitry Rozplokhas
Opublikowane w: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023, Strona(/y) 146-155
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2023/15

Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement

Autorzy: Ignacio D. Lopez-Miguel
Opublikowane w: 39th ACM/SIGAPP Symposium On Applied Computing (SAC 2024), 2024
Wydawca: Springer Nature

Extending Orthogonal Planar Graph Drawings is Fixed-Parameter Tractable

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

Tree-Verifiable Graph Grammars

Autorzy: Mark Chimes, Radu Iosif, Florian Zuleger
Opublikowane w: EPiC Series in Computing, Numer 100, 2024, Strona(/y) 165-148
Wydawca: EasyChair
DOI: 10.29007/8l13

Constrained Derivation in Assumption-Based Argumentation

Autorzy: Giovanni Buraglio, Wolfgang Dvorak, Anna Rapberger, Stefan Woltran
Opublikowane w: 13th International Symposium on Foundations of Informations and Knolwedge Systems, 2024
Wydawca: Springer

Analytic Proof Theory for Åqvist System F

Autorzy: Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Opublikowane w: 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), 2023
Wydawca: College Publications

Consistency-Checking Problems: A Gateway to Parameterized Sample Complexity

Autorzy: Ganian, Robert; Khazaliya, Liana; Simonov, Kirill
Opublikowane w: Numer 2, 2023
Wydawca: Dagstuhl Publishing
DOI: 10.48550/arxiv.2308.11416

Compilation and Fast Model Counting beyond CNF

Autorzy: Alexis de Colnet, Stefan Szeider, Tianwei Zhang
Opublikowane w: the 33rd International Joint Conference on Artificial Intelligence, 2024
Wydawca: IJCAI

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

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

PACE Solver Description: Touiouidth

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

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

Autorzy: Johanna Rockstroh, Giada D’Ippolito, Nicolas Lazzari, Anouk M. Oudshoorn, Disha Purohit, Ensiyeh Raoufi, Sebastian Rudolph
Opublikowane w: 4th Wikidata Workshop, 2023
Wydawca: CEUR-WS.org

Free-Riding in Multi-Issue Decisions

Autorzy: Lackner, Martin; Maly, Jan; Nardi, Oliviero
Opublikowane w: 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), 2023
Wydawca: IFAAMAS

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

Autorzy: Agata Ciabattoni, Dmitry Rozplokhas
Opublikowane w: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Strona(/y) 8389-8393
Wydawca: 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

Autorzy: Anouk Oudshoorn, Magdalena Ortiz, Mantas Simkus
Opublikowane w: 37th International Workshop on Description Logics (DL 2024), 2024
Wydawca: CEUR-WS.org

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autorzy: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Simkus
Opublikowane w: 36th International Workshop on Description Logics (DL 2023), 2023
Wydawca: CEUR-WS.org

Combining Voting and Abstract Argumentation to Understand Online Discussions

Autorzy: Bernreiter, Michael; Maly, Jan; Nardi, Oliviero; Woltran, Stefan
Opublikowane w: 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), 2024
Wydawca: IFAAMAS

New Complexity-Theoretic Frontiers of Tractability for Neural Network Training

Autorzy: Cornelius Brand, Robert Ganian, Mathis Rocton
Opublikowane w: 37th Conference on Neural Information Processing Systems (NeurIPS 2023), 2023
Wydawca: Neurips

Small unsatisfiable k-CNFs with bounded literal occurrence

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

Computing Twin-Width Parameterized by the Feedback Edge Number

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

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes

Autorzy: Giovanni Buraglio, Wolfgang Dvorak, Matthias Konig, Markus Ulbricht
Opublikowane w: 33th International Joint Conference on Artificial Intelligence, 2024
Wydawca: International Joint Conferences on Artificial Intelligence Organization

Leveraging Neurosymbolic AI for Slice Discovery

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

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

Autorzy: Bart M. P. Jansen, Liana Khazaliya, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani, Kirill Simonov
Opublikowane w: Lecture Notes in Computer Science, Graph Drawing and Network Visualization, 2024, Strona(/y) 203-217
Wydawca: Springer
DOI: 10.1007/978-3-031-49275-4_14

From Polynomial Invariants to Linear Loops

Autorzy: George Kenison, Laura Kovács, Anton Varonka
Opublikowane w: 48th International Symposium on Symbolic and Algebraic Computation, 2023
Wydawca: Association for Computing Machinery

Book chapters (5)

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting

Autorzy: Shqiponja Ahmetaj, Magdalena Ortiz, Anouk Oudshoorn, Mantas Šimkus
Opublikowane w: Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Wydawca: IOS Press
DOI: 10.3233/faia230250

Progression for Monitoring in Temporal ASP

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

What Else is Undecidable About Loops?

Autorzy: Laura Kovács, Anton Varonka
Opublikowane w: Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science, 2024, Strona(/y) 176-193
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-031-28083-2_11

Leveraging Neurosymbolic AI for Slice Discovery

Autorzy: Michele Collevati, Thomas Eiter, Nelson Higuera
Opublikowane w: 18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy 2024), 2024
Wydawca: Springer Nature

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

Autorzy: Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Faiq Ghawash, Enrique Blanco Viñuela
Opublikowane w: Communications in Computer and Information Science, Engineering Applications of Neural Networks, 2023, Strona(/y) 420-432
Wydawca: 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

Autorzy: Davide Soldà, Francesco Fabiano, Agostino Dovier
Opublikowane w: Journal of Logic and Computation, Numer 33, 2023, Strona(/y) 1804-1831, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exad036

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Autorzy: Hai Xia, Stefan Szeider
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 38, 2024, Strona(/y) 8191-8199, ISSN 2374-3468
Wydawca: AAAI
DOI: 10.1609/aaai.v38i8.28659

A Model Checker for Operator Precedence Languages

Autorzy: Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
Opublikowane w: ACM Transactions on Programming Languages and Systems, Numer 45, 2023, Strona(/y) 1-66, ISSN 0164-0925
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3608443

Repeated Fair Allocation of Indivisible Items

Autorzy: Ayumi Igarashi, Martin Lackner, Oliviero Nardi, Arianna Novaro
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 38, 2024, Strona(/y) 9781-9789, ISSN 2374-3468
Wydawca: MIT
DOI: 10.1609/aaai.v38i9.28837