The dynamics of information exchange dialogues. - Balder ten Cate (FGMOL, 2001)

On the Logic of d-separation. - Balder ten Cate (KR, 2002)

Question Answering: From Partitions to Prolog. - Balder ten Cate; Chung-chieh Shan (TABLEAUX, 2002)

The partition semantics of questions, syntactically - Chung-chieh Shan; Balder ten Cate (CoRR, 2002)

On the Complexity of Hybrid Logics with Binders. - Balder ten Cate; Massimo Franceschet (CSL, 2005)

Hybrid logics with Sahlqvist axioms. - Balder ten Cate; Maarten Marx; Jorge Petrucio Viana (Log. J. IGPL, 2005)

Guarded Fragments with Constants. - Balder ten Cate; Massimo Franceschet (J. Log. Lang. Inf., 2005)

Interpolation for extended modal languages. - Balder ten Cate (J. Symb. Log., 2005)

Definitorially Complete Description Logics. - Balder ten Cate; Willem Conradie; Maarten Marx; Yde Venema (KR, 2006)

The expressivity of XPath with transitive closure. - Balder ten Cate (PODS, 2006)

Topological Perspective on the Hybrid Proof Rules. - Balder ten Cate; Tadeusz Litak (HyLo@FLoC, 2006)

Expressivity of Second Order Propositional Modal Logic. - Balder ten Cate (J. Philos. Log., 2006)

Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. - Nick Bezhanishvili; Balder ten Cate (J. Log. Comput., 2006)

Multimo dal Logics of Products of Topologies. - Johan van Benthem; Guram Bezhanishvili; Balder ten Cate; Darko Sarenac (Stud Logica, 2006)

Pure Extensions, Proof Rules, and Hybrid Axiomatics. - Patrick Blackburn; Balder ten Cate (Stud Logica, 2006)

Hybrid logics. - Carlos Areces; Balder ten Cate (Handbook of Modal Logic, 2007)

Navigational XPath: calculus and algebra. - Balder ten Cate; Maarten Marx (SIGMOD Rec., 2007)

XPath, transitive closure logic, and nested tree walking automata. - Balder ten Cate; Luc Segoufin (PODS, 2008)

Craig Interpolation for Linear Temporal Languages. - Amélie Gheerbrant; Balder ten Cate (CSL, 2009)

An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. - Balder ten Cate; Gaëlle Fontaine (FICS, 2009)

Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. - Amélie Gheerbrant; Balder ten Cate (LFCS, 2009)

Modal languages for topology: Expressivity and definability. - Balder ten Cate; David Gabelaia; Dmitry Sustretov (Ann. Pure Appl. Log., 2009)

Laconic schema mappings: computing core universal solutions by means of SQL queries - Balder ten Cate; Laura Chiticariu; Phokion G. Kolaitis; Wang Chiew Tan (CoRR, 2009)

Lindström theorems for fragments of first-order logic - Johan van Benthem; Balder ten Cate; Jouko A. Väänänen (Log. Methods Comput. Sci., 2009)

A note on the expressibility problem for modal logics and star-free regular expressions. - Balder ten Cate (Inf. Process. Lett., 2009)

The complexity of query containment in expressive fragments of XPath 2.0. - Balder ten Cate; Carsten Lutz (J. ACM, 2009)

Axiomatizing the Logical Core of XPath 2.0. - Balder ten Cate; Maarten Marx (Theory Comput. Syst., 2009)

Laconic Schema Mappings: Computing the Core with SQL Queries. - Balder ten Cate; Laura Chiticariu; Phokion G. Kolaitis; Wang Chiew Tan (Proc. VLDB Endow., 2009)

Database Constraints and Homomorphism Dualities. - Balder ten Cate; Phokion G. Kolaitis; Wang Chiew Tan (CP, 2010)

An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees. - Balder ten Cate; Gaëlle Fontaine (FoSSaCS, 2010)

Structural characterizations of schema-mapping languages. - Balder ten Cate; Phokion G. Kolaitis (Commun. ACM, 2010)

Transitive closure logic, nested tree walking automata, and XPath. - Balder ten Cate; Luc Segoufin (J. ACM, 2010)

Some modal aspects of XPath. - Balder ten Cate; Gaëlle Fontaine; Tadeusz Litak (J. Appl. Non Class. Logics, 2010)

Complete axiomatizations for XPath fragments. - Balder ten Cate; Tadeusz Litak; Maarten Marx (J. Appl. Log., 2010)

Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. - Balder ten Cate; Alessandro Facchini (MFCS, 2011)

Designing and refining schema mappings via data examples. - Bogdan Alexe; Balder ten Cate; Phokion G. Kolaitis; Wang Chiew Tan (SIGMOD Conference, 2011)

Foreword. - Albert Atserias; Mikolaj Bojanczyk; Balder ten Cate; Ronald Fagin; Floris Geerts; Kenneth A. Ross (Theory Comput. Syst., 2011)

EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. - Bogdan Alexe; Balder ten Cate; Phokion G. Kolaitis; Wang Chiew Tan (Proc. VLDB Endow., 2011)

Characterizing schema mappings via data examples. - Bogdan Alexe; Balder ten Cate; Phokion G. Kolaitis; Wang Chiew Tan (ACM Trans. Database Syst., 2011)

Guarded Negation. - Balder ten Cate (Advances in Modal Logic, 2012)

Queries with Guarded Negation (full version) - Vince Bárány; Balder ten Cate; Martin Otto 001 (CoRR, 2012)

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees - Amélie Gheerbrant; Balder ten Cate (Log. Methods Comput. Sci., 2012)

A note on the product homomorphism problem and CQ-definability - Balder ten Cate; Víctor Dalmau (CoRR, 2012)

Queries with Guarded Negation. - Vince Bárány; Balder ten Cate; Martin Otto 001 (Proc. VLDB Endow., 2012)

Data exchange with arithmetic operations. - Balder ten Cate; Phokion G. Kolaitis; Walied Othman (EDBT, 2013)

Schema mappings and data examples. - Balder ten Cate; Phokion G. Kolaitis; Wang Chiew Tan (EDBT, 2013)

Rewriting Guarded Negation Queries. - Vince Bárány; Michael Benedikt; Balder ten Cate (MFCS, 2013)

Unary negation. - Luc Segoufin; Balder ten Cate (Log. Methods Comput. Sci., 2013)

On Core XPath with Inflationary Fixed Points. - Loredana Afanasiev; Balder ten Cate (RAIRO Theor. Informatics Appl., 2013)

Beth Definability in Expressive Description Logics. - Balder ten Cate; Enrico Franconi; Inanç Seylan (J. Artif. Intell. Res., 2013)

On the equivalence of distributed systems with queries and communication. - Serge Abiteboul; Balder ten Cate; Yannis Katsis (J. Comput. Syst. Sci., 2013)

Learning schema mappings. - Balder ten Cate; Víctor Dalmau; Phokion G. Kolaitis (ACM Trans. Database Syst., 2013)

Schema Mappings: A Case of Logical Dynamics in Database Theory. - Balder ten Cate; Phokion G. Kolaitis (Johan van Benthem on Logic and Information Dynamics, 2014)

Generating low-cost plans from proofs. - Michael Benedikt; Balder ten Cate; Efthymia Tsamoura (PODS, 2014)

Declarative Statistical Modeling with Datalog. - Vince Bárány; Balder ten Cate; Benny Kimelfeld; Dan Olteanu; Zografoula Vagena (CoRR, 2014)

Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). - Michael Benedikt; Carsten Lutz; Balder ten Cate (Dagstuhl Reports, 2014)

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. - Meghyn Bienvenu; Balder ten Cate; Carsten Lutz; Frank Wolter (ACM Trans. Database Syst., 2014)

PPDL: Probabilistic Programming with Datalog. - Balder ten Cate; Benny Kimelfeld; Dan Olteanu (AMW, 2015)

The Product Homomorphism Problem and Applications. - Balder ten Cate; Víctor Dalmau (ICDT, 2015)

Interpolation with Decidable Fixpoint Logics. - Michael Benedikt; Balder ten Cate; Michael Vanden Boom (LICS, 2015)

The Complexity of Boundedness for Guarded Logics. - Michael Benedikt; Balder ten Cate; Thomas Colcombet; Michael Vanden Boom (LICS, 2015)

High-Level Why-Not Explanations using Ontologies. - Balder ten Cate; Cristina Civili; Evgeny Sherkhonov; Wang-Chiew Tan (PODS, 2015)

Design and Implementation of the LogicBlox System. - Molham Aref; Balder ten Cate; Todd J. Green; Benny Kimelfeld; Dan Olteanu; Emir Pasalic; Todd L. Veldhuizen; Geoffrey Washburn (SIGMOD Conference, 2015)

Querying Visible and Invisible Tables in the Presence of Integrity Constraints. - Michael Benedikt; Pierre Bourhis; Balder ten Cate; Gabriele Puppis (CoRR, 2015)

Guarded Negation. - Vince Bárány; Balder ten Cate; Luc Segoufin (J. ACM, 2015)

On the Data Complexity of Consistent Query Answering. - Balder ten Cate; Gaëlle Fontaine; Phokion G. Kolaitis (Theory Comput. Syst., 2015)

Foreword: Special Issue on Database Theory. - Balder ten Cate; Wang-Chiew Tan (Theory Comput. Syst., 2015)

Practical Query Answering in Data Exchange Under Inconsistency-Tolerant Semantics. - Balder ten Cate; Richard L. Halpert; Phokion G. Kolaitis (EDBT, 2016)

Querying Visible and Invisible Information. - Michael Benedikt; Pierre Bourhis; Balder ten Cate; Gabriele Puppis (LICS, 2016)

Exchange-Repairs - Managing Inconsistency in Data Exchange. - Balder ten Cate; Richard L. Halpert; Phokion G. Kolaitis (J. Data Semant., 2016)

Effective Interpolation and Preservation in Guarded Logics. - Michael Benedikt; Balder ten Cate; Michael Vanden Boom (ACM Trans. Comput. Log., 2016)

Generating Plans from Proofs. - Michael Benedikt; Balder ten Cate; Efthymia Tsamoura (ACM Trans. Database Syst., 2016)

Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Michael Benedikt; Julien Leblay; Balder ten Cate; Efthymia Tsamoura (Morgan & Claypool Publishers, 2016)

Declarative Probabilistic Programming with Datalog. - Vince Bárány; Balder ten Cate; Benny Kimelfeld; Dan Olteanu; Zografoula Vagena (ACM Trans. Database Syst., 2017)

Approximation Algorithms for Schema-Mapping Discovery from Data Examples. - Balder ten Cate; Phokion G. Kolaitis; Kun Qian 002; Wang-Chiew Tan (ACM Trans. Database Syst., 2017)

Active Learning of GAV Schema Mappings. - Balder ten Cate; Phokion G. Kolaitis; Kun Qian 002; Wang-Chiew Tan (PODS, 2018)

Some Model Theory of Guarded Negation. - Vince Bárány; Michael Benedikt; Balder ten Cate (J. Symb. Log., 2018)

Recursive Programs for Document Spanners. - Liat Peterfreund; Balder ten Cate; Ronald Fagin; Benny Kimelfeld (ICDT, 2019)

Learning Multilingual Word Embeddings Using Image-Text Data. - Karan Singhal; Karthik Raman 001; Balder ten Cate (CoRR, 2019)

The Homomorphism Lattice, Unique Characterizations, and Concept Learning. - Balder ten Cate (Description Logics, 2020)

Inference from Visible Information and Background Knowledge. - Michael Benedikt; Pierre Bourhis; Balder ten Cate; Gabriele Puppis; Michael Vanden Boom (ACM Trans. Comput. Log., 2021)

Local Dependence and Guarding. - Balder ten Cate; Raoul Koudijs; Johan van Benthem (AiML, 2022)

On the non-efficient PAC learnability of acyclic conjunctive queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (CoRR, 2022)

Conjunctive Queries: Unique Characterizations and Exact Learnability. - Balder ten Cate; Victor Dalmau (ACM Trans. Database Syst., 2022)

SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2023)

SAT-Based PAC Learning of Description Logic Concepts. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2023)

Extremal Fitting Problems for Conjunctive Queries. - Balder ten Cate; Victor Dalmau; Maurice Funk; Carsten Lutz (PODS, 2023)

Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes. - Balder ten Cate; Víctor Dalmau; Jakub Oprsal (CoRR, 2023)

Craig Interpolation for Guarded Fragments. - Balder ten Cate; Jesse Comer (CoRR, 2023)

Extremal Fitting CQs do not Generalize. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (CoRR, 2023)

Fitting Algorithms for Conjunctive Queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (SIGMOD Rec., 2023)

Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). - Balder ten Cate (CSL, 2024)

On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). - Balder ten Cate; Raoul Koudijs; Ana Ozaki (Description Logics, 2024)

Craig Interpolation for Decidable First-Order Fragments. - Balder ten Cate; Jesse Comer (FoSSaCS (2), 2024)

When Do Homomorphism Counts Help in Query Algorithms? - Balder ten Cate; Victor Dalmau; Phokion G. Kolaitis; Wei-Lin Wu (ICDT, 2024)

Right-Adjoints for Datalog Programs. - Balder ten Cate; Víctor Dalmau; Jakub Oprsal (ICDT, 2024)

On the Power and Limitations of Examples for Description Logic Concepts. - Balder ten Cate; Raoul Koudijs; Ana Ozaki (IJCAI, 2024)

Preservation theorems for Tarski's relation algebra. - Bart Bogaerts 001; Balder ten Cate; Brett McLean; Jan Van den Bussche (Log. Methods Comput. Sci., 2024)

On the non-efficient PAC learnability of conjunctive queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (Inf. Process. Lett., 2024)

Characterising Modal Formulas with Examples. - Balder ten Cate; Raoul Koudijs (ACM Trans. Comput. Log., 2024)

Query Repairs. - Balder ten Cate; Phokion G. Kolaitis; Carsten Lutz (ICDT, 2025)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. - Balder ten Cate; Phokion G. Kolaitis; Arnar Á. Kristjánsson (MFCS, 2025)

Algebras for Deterministic Computation Are Inherently Incomplete. - Balder ten Cate; Tobias Kappé (Proc. ACM Program. Lang., 2025)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization. - Arie Soeteman; Balder ten Cate (CoRR, 2025)