Under submission:

  • B. ten Cate, V. Dalmau, and J. Opršal (under submission). Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes. (arxiv).
  • B. ten Cate, R. Koudijs, and A. Ozaki (under submission). On the Power and Limitations of Examples for Description Logic Concepts.

2024:

  • B. ten Cate, V. Dalmau, and J. Opršal (2024). Right-Adjoints for Datalog Programs. To appear in Proceedings of ICDT 2024.
  • B. ten Cate, V. Dalmau, Ph. Kolaitis, W. Wu (2024). When do Homomorphism Counts Help in Query Algorithms? To appear in Proceedings of ICDT 2024. (arxiv).
  • B. ten Cate and J. Comer (2024). Craig Interpolation for Decidable First-Order Fragments. To appear in Proceedings of FOSSACS 2024 (arxiv).
  • B. ten Cate (2024). Craig Interpolation for Decidable Fragments of First-Order Logic. Proceedings of CSL 2024. 🥇Invited Lecture
  • B. ten Cate, M. Funk, J. Ch. Jung, and C. Lutz (2024). On the Non-Efficient PAC Learnability of Conjunctive Queries. Information Processsing Letters 183: 106431. (arxiv).
  • B. ten Cate and R. Koudijs (2024). Characterising Modal Formulas with Examples. To appear in ACM Transactions on Computational Logic. (arxiv).

2023:

  • B. ten Cate, M. Funk, J. Ch. Jung, and C. Lutz (2023). Fitting Algorithms for Conjunctive Queries. SIGMOD Record 52(4): 6-18 (Database Principles column).🥇ACM SIGMOD Research Highlights Award Paper
  • B. ten Cate, M. Funk, J. Ch. Jung, and C. Lutz (2023). SAT-Based PAC Learning of Description Logic Concepts. Proceedings of IJCAI 2023. (arxiv). 🥇Distinguished Paper Award
  • B. ten Cate, V. Dalmau, M. Funk, and C. Lutz (2023). Extremal Fitting Problems for Conjunctive Queries. Proceedings of PODS 2023 (arxiv). 🥇Best Paper Award
  • B. ten Cate, M. Funk, J. Ch. Jung, and C. Lutz. (2023) SAT-Based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logic Workshop 2023.
  • B. Bogaerts, B. ten Cate, B. McLean, and J. Van den Bussche (2023). Preservation theorems for Tarski’s relation algebra. Presentation at DaLí 2023. (arxiv).
  • B. ten Cate and J. Comer (2023). Craig Interpolation for Guarded Fragments. Presentation at the LICS Workshop on the Decision Problem in First-Order Logic (DPFO 2023) (arxiv).
  • B. ten Cate, M. Funk, J. Ch. Jung, and C. Lutz (2023). Extremal Fitting CQs do not Generalize. Technical Report (arxiv).

2022:

  • B. ten Cate and V. Dalmau (2022). Conjunctive Queries: Unique Characterizations and Exact Learnability. ACM Transactions on Database Systems 47(4): 14:1 – 14:41. (arxiv).
  • J. van Benthem, B. ten Cate, and R. Koudijs (2022). Local Dependence and Guarding. Proceedings of AIML 2022: 135-154 (arxiv).
  • B. ten Cate and R. Koudijs (2022). Characterising Modal Formulas with Examples. Short presentation at AIML 2022 (arxiv).
  • B. ten Cate (2022). Lyndon Interpolation for Modal Logic via Type Elimination Sequences. ILLC Technical Report X-2022-01.

2021:

For older publications, see DBLP or Google Scholar.