Advanced Reasoning in Arithmetic Theories

Informacje na temat projektu

ARiAT

Identyfikator umowy o grant: 852769

DOI

10.3030/852769

Projekt został zamknięty

Data podpisania przez KE 8 Października 2019

Data rozpoczęcia 1 Stycznia 2020

Data zakończenia 31 Sierpnia 2025

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 481 864,00

Wkład UE

€ 1 481 864,00

Koordynowany przez

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

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 .

Rezultaty

Open Research Data Pilot (1)

Data Management Plan

see guidance

Publikacje

Conference proceedings (30)

On the Expressivity of Recurrent Neural Cascades with Identity

Autorzy: Nadezda Alexandrovna Knorozova, Alessandro Ronca
Opublikowane w: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024, Strona(/y) 878-887
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/82

On The Expressivity of Recurrent Neural Cascades (Extended Abstract)

Autorzy: Nadezda A. Knorozova; Alessandro Ronca
Opublikowane w: First International Workshop on Logical Foundations of Neuro-Symbolic AI (LNSAI 2024), 2024
Wydawca: CEUR-WS

Computing All Facts Entailed By An LTL Specification

Autorzy: Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase
Opublikowane w: Proceedings KR 2023, 2023
Wydawca: IJCAI Organization
DOI: 10.24963/kr.2023/66

Higher-Order Quantified Boolean Satisfiability

Autorzy: Chistikov, Dmitry ; Haase, Christoph ; Hadizadeh, Zahra ; Mansutti, Alessio
Opublikowane w: Proceedings MFCS 2022, Numer 241, 2022, Strona(/y) 33:1--33:15
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.mfcs.2022.33

Boundedness of Cost Register Automata over the Integer Min-Plus Semiring

Autorzy: Draghici, Andrei; Piórkowski, Radosław; Ryzhikov, Andrew
Opublikowane w: Proceedings CSL 2025, Numer 1, 2025
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2025.20

On the Power of Ordering in Linear Arithmetic Theories

Autorzy: Christoph Haase, Dmitry Chistikov
Opublikowane w: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Numer 168, 2020, Strona(/y) 119:1--119:15
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2020.119

On the Expressivity of Recurrent Neural Cascades

Autorzy: Nadezda Alexandrovna Knorozova, Alessandro Ronca
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, Numer 38, 2024, Strona(/y) 10589-10596, ISSN 2374-3468
Wydawca: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v38i9.28929

Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy

Autorzy: Raul Fervari, Alessio Mansutti
Opublikowane w: Proceedings FOSSACS 2022, Numer 13242, 2022, Strona(/y) 305–324
Wydawca: Springer
DOI: 10.1007/978-3-030-99253-8_16

On the Expressiveness of Büchi Arithmetic

Autorzy: Christoph Haase, Jakub Rozycki
Opublikowane w: Foundations of Software Science and Computation Structures. FOSSACS 2021, Numer 12650, 2021, Strona(/y) 310-323
Wydawca: Springer
DOI: 10.1007/978-3-030-71995-1_16

On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices

Autorzy: Klara Nosan; Amaury Pouly; Sylvain Schmitz; Mahsa Shirmohammadi; James Worrell
Opublikowane w: Proceedings of ISSAC 2022, Numer 1, 2022, Strona(/y) 129–-138
Wydawca: ACM
DOI: 10.48550/arxiv.2106.01853

The Membership Problem for Hypergeometric Sequences with Rational Parameters

Autorzy: Nosan, Klara; Pouly, Amaury; Shirmohammadi, Mahsa; Worrell, James
Opublikowane w: Proceedings of ISAAC 2022, Numer 1, 2022, Strona(/y) 381--389
Wydawca: ACM
DOI: 10.48550/arxiv.2202.07416

On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract)

Autorzy: Christoph Haase, Alessio Mansutti, Amaury Pouly
Opublikowane w: Proceedings MFCS 2023, 2023
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2023.52

Provably Efficient Offline Reinforcement Learning in Regular Decision Processes

Autorzy: Roberto Cipollone; Anders Jonsson; Alessandro Ronca; Mohammad Sadegh Talebi
Opublikowane w: Advances in Neural Information Processing Systems 36 (NeurIPS 2023), 2023
Wydawca: Neural Information Processing Systems Foundation, Inc.

The Complexity of Presburger Arithmetic with Power or Powers

Autorzy: Michael Benedikt, Dmitry Chistikov, Alessio Mansutti
Opublikowane w: Proceedings ICALP 2023, 2023
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.icalp.2023.112

Universality and Forall-Exactness of Cost Register Automata with Few Registers

Autorzy: Daviaud, Laure; Ryzhikov, Andrew
Opublikowane w: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 2023
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.mfcs.2023.40

Quantifier elimination for counting extensions of Presburger arithmetic

Autorzy: Dmitry Chistikov, Christoph Haase, Alessio Mansutti
Opublikowane w: Proceedings of FOSSACS 2022, Numer 13242, 2022, Strona(/y) 225–243
Wydawca: Springer
DOI: 10.1007/978-3-030-99253-8_12

The Transformation Logics

Autorzy: Alessandro Ronca
Opublikowane w: International Joint Conference on Artificial Intelligence 2024, 2024
Wydawca: ijcai.org

Directed Reachability for Infinite−State Systems

Autorzy: Michael Blondin; Christoph Haase; Philip Offtermatt
Opublikowane w: Tools and Algorithms for the Construction and Analysis of Systems, Numer 12652, 2021, Strona(/y) 3-23
Wydawca: Springer
DOI: 10.26226/morressier.604907f41a80aac83ca25ccf

Semënov Arithmetic, Affine VASS, and String Constraints

Autorzy: Draghici, Andrei; Haase, Christoph; Manea, Florin
Opublikowane w: Proceedings STACS 2024, Numer 1, 2024
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2024.29

On the Size of Finite Rational Matrix Semigroups

Autorzy: Georgina Bumpus, Christoph Haase, Stefan Kiefer, Paul-Ioan Stoienescu, Jonathan Tanner
Opublikowane w: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Numer 168, 2020, Strona(/y) 115:1--115:13, ISBN 978-3-95977-138-2
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2020.115

On the Complexity of Inductively Learning Guarded Clauses

Autorzy: Andrei Draghici, Georg Gottlob, Matthias Lanzinger
Opublikowane w: Proceedings of AAAI 2022, Numer 36(5), 2022, Strona(/y) 5600-5607
Wydawca: AAAI Press
DOI: 10.1609/aaai.v36i5.20500

Approaching Arithmetic Theories with Finite-State Automata

Autorzy: Christoph Haase
Opublikowane w: Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings, Numer 12038, 2020, Strona(/y) 33-43, ISBN 978-3-030-40607-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-40608-0_3

Monoids of Upper Triangular Matrices over the Boolean Semiring

Autorzy: Ryzhikov, Andrew; Wolf, Petra
Opublikowane w: Proceedings MFCS 2024, Numer 1, 2024
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2024.81

On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes

Autorzy: Christoph Haase, Alessio Mansutti
Opublikowane w: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Numer 202, 2021, Strona(/y) 55:1--55:20
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2021.55

Offline RL in Regular Decision Processes: Sample Efficiency via Language Metrics

Autorzy: Deb, Ahana; Cipollone, Roberto; Jonsson, Anders; Ronca, Alessandro; Talebi, Mohammad Sadegh
Opublikowane w: Proceedings ICLR 2025, Numer 1, 2025
Wydawca: OpenReview.net

Geometric Decision Procedures and the VC Dimension of Linear Arithmetic Theories

Autorzy: Dmitry Chistikov, Christoph Haase, Alessio Mansutti
Opublikowane w: Proceedings of LICS 2022, 2022, Strona(/y) 59:1--59:13, ISBN 9781450393515
Wydawca: ACM
DOI: 10.1145/3531130.3533372

An efficient quantifier elimination procedure for Presburger arithmetic

Autorzy: Haase, Christoph; Krishna, Shankara Narayanan; Madnani, Khushraj; Mishra, Om Swostik; Zetzsche, Georg
Opublikowane w: Leibniz International Proceedings in Informatics, Numer 3, 2024
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2024.142

Universal Quantification Makes Automatic Structures Hard to Decide

Autorzy: Haase, Christoph, Piórkowski, Radosław
Opublikowane w: Proceedings CONCUR 2023, 2023
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2023.13

Efficiently Computing the Minimum Rank of a Matrix in a Monoid of Zero-One Matrices

Autorzy: Kiefer, Stefan; Ryzhikov, Andrew
Opublikowane w: Proceedings of STACS 2025, Numer 1, 2025
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2025.61

Formal and Empirical Studies of Counting Behaviour in ReLU RNNs

Autorzy: Nadine El-Naggar; Andrew Ryzhikov; Laure Daviaud; Pranava Madhyastha; Tillman Weyde
Opublikowane w: Proceedings of 16th edition of the International Conference on Grammatical Inference, Numer 217, 2023, Strona(/y) 199--222
Wydawca: PMLR

Peer reviewed articles (2)

On Composing Finite Forests with Modal Logics

Autorzy: Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
Opublikowane w: ACM Transactions on Computational Logic, 2023, ISSN 1529-3785
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3569954

The complexity of computing the period and the exponent of a digraph

Autorzy: Stefan Kiefer, Andrew Ryzhikov
Opublikowane w: Information Processing Letters, Numer 191, 2025, Strona(/y) 106590, ISSN 0020-0190
Wydawca: Elsevier BV
DOI: 10.1016/j.ipl.2025.106590

Book chapters (4)

Reachability in Fixed VASS: Expressiveness and Lower Bounds

Autorzy: Andrei Draghici, Christoph Haase, Andrew Ryzhikov
Opublikowane w: Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, 2024, Strona(/y) 185-205
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57231-9_9

Integer Programming with GCD Constraints

Autorzy: Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez
Opublikowane w: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2024, Strona(/y) 3605-3658
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977912.128

Formal Languages and Arithmetic Theories: Recent Results and Open Problems

Autorzy: Christoph Haase, Mikhail Starchak
Opublikowane w: Lecture Notes in Computer Science, Developments in Language Theory, 2025, Strona(/y) 1-14
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-032-01475-7_1

On Shortest Products for Nonnegative Matrix Mortality

Autorzy: Andrew Ryzhikov
Opublikowane w: Lecture Notes in Computer Science, Reachability Problems, 2024, Strona(/y) 104-119
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-72621-7_8