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

Informazioni relative al progetto

LLAMA

ID dell’accordo di sovvenzione: 101031081

DOI

10.3030/101031081

Progetto chiuso

Data della firma CE 26 Marzo 2021

Data di avvio 1 Ottobre 2021

Data di completamento 15 Gennaio 2025

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 175 572,48

Contributo UE

€ 175 572,48

Coordinato da

UNIVERSITEIT VAN AMSTERDAM
Netherlands

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

Peer reviewed articles (6)

Characterising Modal Formulas with Examples

Autori: Balder ten Cate, Raoul Koudijs
Pubblicato in: ACM Transactions on Computational Logic, Numero 25, 2024, Pagina/e 1-27, ISSN 1529-3785
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3649461

Algebras for Deterministic Computation Are Inherently Incomplete

Autori: Balder ten Cate, Tobias Kapp
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 9, 2025, Pagina/e 718-744, ISSN 2475-1421
Editore: ACM Inc.
DOI: 10.1145/3704861

Fitting Algorithms for Conjunctive Queries

Autori: Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Pubblicato in: ACM SIGMOD Record, Numero 52, 2024, Pagina/e 6-18, ISSN 0163-5808
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3641832.3641834

On the non-efficient PAC learnability of conjunctive queries

Autori: Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Pubblicato in: Information Processing Letters, Numero 183, 2023, Pagina/e 106431, ISSN 0020-0190
Editore: Elsevier BV
DOI: 10.1016/j.ipl.2023.106431

Conjunctive Queries: Unique Characterizations and Exact Learnability

Autori: Balder Ten Cate, Victor Dalmau
Pubblicato in: ACM Transactions on Database Systems, Numero 47, 2023, Pagina/e 1-41, ISSN 0362-5915
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3559756

Preservation theorems for Tarski's relation algebra

Autori: Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
Pubblicato in: Logical Methods in Computer Science, Numero Volume 20, Numero 3, 2024, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-20(3:20)2024

Conference proceedings (7)

When do homomorphism counts help in query algorithms?

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

On the Power and Limitations of Examples for Description Logic Concepts

Autori: Balder ten Cate, Raoul Koudijs, Ana Ozaki
Pubblicato in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Pagina/e 3567-3575
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/395

Extremal Fitting Problems for Conjunctive Queries

Autori: Balder Ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
Pubblicato in: Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2024, Pagina/e 89-98
Editore: ACM
DOI: 10.1145/3584372.3588655

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

Autori: ten Cate, Balder
Pubblicato in: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024, Pagina/e 2:1-2:2
Editore: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2024.2

Right-Adjoints for Datalog Programs

Autori: ten Cate, Balder; Dalmau, Vctor; Opral, Jakub
Pubblicato in: 27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Pagina/e 10:1--10:20
Editore: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.icdt.2024.10

SAT-Based PAC Learning of Description Logic Concepts

Autori: Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Pubblicato in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Pagina/e 3347-3355
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2023/373

Local Dependence and Guarding

Autori: van Benthem, J.; ten Cate, B.; Koudijs, R.
Pubblicato in: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022, 2022, Pagina/e 135--154
Editore: College Publications

Book chapters (1)

Craig Interpolation for Decidable First-Order Fragments

Autori: Balder ten Cate, Jesse Comer
Pubblicato in: Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, 2024, Pagina/e 137-159
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-57231-9_7