Logic and Learning: an Algebra and Finite-Model-Theory Approach

Project Information

LLAMA

Grant agreement ID: 101031081

DOI

10.3030/101031081

Project closed

EC signature date 26 March 2021

Start date 1 October 2021

End date 15 January 2025

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 175 572,48

EU contribution

€ 175 572,48

Coordinated by

UNIVERSITEIT VAN AMSTERDAM
Netherlands

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (6)

Characterising Modal Formulas with Examples

Author(s): Balder ten Cate, Raoul Koudijs
Published in: ACM Transactions on Computational Logic, Issue 25, 2024, Page(s) 1-27, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3649461

Algebras for Deterministic Computation Are Inherently Incomplete

Author(s): Balder ten Cate, Tobias Kapp
Published in: Proceedings of the ACM on Programming Languages, Issue 9, 2025, Page(s) 718-744, ISSN 2475-1421
Publisher: ACM Inc.
DOI: 10.1145/3704861

Fitting Algorithms for Conjunctive Queries

Author(s): Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Published in: ACM SIGMOD Record, Issue 52, 2024, Page(s) 6-18, ISSN 0163-5808
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3641832.3641834

On the non-efficient PAC learnability of conjunctive queries

Author(s): Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Published in: Information Processing Letters, Issue 183, 2023, Page(s) 106431, ISSN 0020-0190
Publisher: Elsevier BV
DOI: 10.1016/j.ipl.2023.106431

Conjunctive Queries: Unique Characterizations and Exact Learnability

Author(s): Balder Ten Cate, Victor Dalmau
Published in: ACM Transactions on Database Systems, Issue 47, 2023, Page(s) 1-41, ISSN 0362-5915
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3559756

Preservation theorems for Tarski's relation algebra

Author(s): Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
Published in: Logical Methods in Computer Science, Issue Volume 20, Issue 3, 2024, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-20(3:20)2024

Conference proceedings (7)

When do homomorphism counts help in query algorithms?

Author(s): ten Cate, Balder; Dalmau, Victor; Kolaitis, Phokion G.; Wu, Wei-Lin
Published in: 27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Page(s) 8:1--8:20
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.icdt.2024.8

On the Power and Limitations of Examples for Description Logic Concepts

Author(s): Balder ten Cate, Raoul Koudijs, Ana Ozaki
Published in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Page(s) 3567-3575
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/395

Extremal Fitting Problems for Conjunctive Queries

Author(s): Balder Ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
Published in: Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2024, Page(s) 89-98
Publisher: ACM
DOI: 10.1145/3584372.3588655

Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)

Author(s): ten Cate, Balder
Published in: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024, Page(s) 2:1-2:2
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2024.2

Right-Adjoints for Datalog Programs

Author(s): ten Cate, Balder; Dalmau, Vctor; Opral, Jakub
Published in: 27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Page(s) 10:1--10:20
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.icdt.2024.10

SAT-Based PAC Learning of Description Logic Concepts

Author(s): Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Published in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Page(s) 3347-3355
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2023/373

Local Dependence and Guarding

Author(s): van Benthem, J.; ten Cate, B.; Koudijs, R.
Published in: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022, 2022, Page(s) 135--154
Publisher: College Publications

Book chapters (1)

Craig Interpolation for Decidable First-Order Fragments

Author(s): Balder ten Cate, Jesse Comer
Published in: Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, 2024, Page(s) 137-159
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57231-9_7