Balder ten Cate

150 papers A* 17A 15B 13Misc 1Journal 84Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	A	`ed.`	29th International Conference on Database Theory, ICDT 2026, Tampere, Finland, March 24-27, 2026 ICDT Balder ten Cate, Maurice Funk
2026	J	`jnl`	How Expressive Are Graph Neural Networks in the Presence of Node Identifiers? CoRR Arie Soeteman, Michael Benedikt, Martin Grohe, Balder ten Cate
2026	J	`jnl`	Modal Fragments. CoRR Nick Bezhanishvili, Balder ten Cate, Arunavo Ganguly, Arne Meier
2026	J	`jnl`	When do modal definability and preservation theorems transfer to the finite? CoRR Johan van Benthem, Balder ten Cate, Xi Yang
2025	B	`conf`	Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. MFCS Balder ten Cate, Phokion G. Kolaitis, Arnar Á. Kristjánsson
2025	J	`jnl`	Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. CoRR Balder ten Cate, Phokion G. Kolaitis, Arnar Á. Kristjánsson
2025	J	`jnl`	Algebras for Deterministic Computation Are Inherently Incomplete. Proc. ACM Program. Lang. Balder ten Cate, Tobias Kappé
2025	J	`jnl`	Craig Interpolation for Decidable First-Order Fragments. Log. Methods Comput. Sci. Balder ten Cate, Jesse Comer
2025	J	`jnl`	Interpolation in First-Order Logic. CoRR Balder ten Cate, Jesse Comer
2025	J	`jnl`	Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization. CoRR Arie Soeteman, Balder ten Cate
2025	A	`conf`	Query Repairs. ICDT Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz
2025	J	`jnl`	Query Repairs. CoRR Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz
2025	J	`jnl`	Six Proofs of Interpolation for the Modal Logic K. CoRR Nick Bezhanishvili, Balder ten Cate, Rosalie Iemhoff
2025	J	`jnl`	The Size of Interpolants in Modal Logics. CoRR Balder ten Cate, Louwe Kuijer, Frank Wolter
2024	J	`jnl`	Algebras for Deterministic Computation Are Inherently Incomplete. CoRR Balder ten Cate, Tobias Kappé
2024	J	`jnl`	Characterising Modal Formulas with Examples. ACM Trans. Comput. Log. Balder ten Cate, Raoul Koudijs
2024	—	`conf`	Craig Interpolation for Decidable First-Order Fragments. FoSSaCS (2) Balder ten Cate, Jesse Comer
2024	B	`conf`	Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). CSL Balder ten Cate
2024	—	`conf`	On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). Description Logics Balder ten Cate, Raoul Koudijs, Ana Ozaki
2024	A*	`conf`	On the Power and Limitations of Examples for Description Logic Concepts. IJCAI Balder ten Cate, Raoul Koudijs, Ana Ozaki
2024	J	`jnl`	On the Power and Limitations of Examples for Description Logic Concepts. CoRR Balder ten Cate, Raoul Koudijs, Ana Ozaki
2024	J	`jnl`	On the non-efficient PAC learnability of conjunctive queries. Inf. Process. Lett. Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2024	J	`jnl`	Preservation theorems for Tarski's relation algebra. Log. Methods Comput. Sci. Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
2024	A	`conf`	Right-Adjoints for Datalog Programs. ICDT Balder ten Cate, Víctor Dalmau, Jakub Oprsal
2024	A	`conf`	When Do Homomorphism Counts Help in Query Algorithms? ICDT Balder ten Cate, Victor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu
2023	J	`jnl`	Characterising Modal Formulas with Examples. CoRR Balder ten Cate, Raoul Koudijs
2023	J	`jnl`	Craig Interpolation for Decidable First-Order Fragments. CoRR Balder ten Cate, Jesse Comer
2023	J	`jnl`	Craig Interpolation for Guarded Fragments. CoRR Balder ten Cate, Jesse Comer
2023	J	`jnl`	Extremal Fitting CQs do not Generalize. CoRR Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	A*	`conf`	Extremal Fitting Problems for Conjunctive Queries. PODS Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
2023	J	`jnl`	Fitting Algorithms for Conjunctive Queries. SIGMOD Rec. Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	J	`jnl`	Preservation theorems for Tarski's relation algebra. CoRR Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
2023	J	`jnl`	Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes. CoRR Balder ten Cate, Víctor Dalmau, Jakub Oprsal
2023	A*	`conf`	SAT-Based PAC Learning of Description Logic Concepts. IJCAI Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	J	`jnl`	SAT-Based PAC Learning of Description Logic Concepts. CoRR Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	—	`conf`	SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023	J	`jnl`	When do homomorphism counts help in query algorithms? CoRR Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu
2022	J	`jnl`	Characterising Modal Formulas with Examples. CoRR Balder ten Cate, Raoul Koudijs
2022	J	`jnl`	Conjunctive Queries: Unique Characterizations and Exact Learnability. ACM Trans. Database Syst. Balder ten Cate, Victor Dalmau
2022	J	`jnl`	Extremal Fitting Problems for Conjunctive Queries. CoRR Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
2022	B	`conf`	Local Dependence and Guarding. AiML Balder ten Cate, Raoul Koudijs, Johan van Benthem
2022	J	`jnl`	Local Dependence and Guarding. CoRR Johan van Benthem, Balder ten Cate, Raoul Koudijs
2022	J	`jnl`	On the non-efficient PAC learnability of acyclic conjunctive queries. CoRR Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021	A	`conf`	Conjunctive Queries: Unique Characterizations and Exact Learnability. ICDT Balder ten Cate, Victor Dalmau
2021	J	`jnl`	Inference from Visible Information and Background Knowledge. ACM Trans. Comput. Log. Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis, Michael Vanden Boom
2020	J	`jnl`	Conjunctive Queries: Unique Characterizations and Exact Learnability. CoRR Balder ten Cate, Victor Dalmau
2020	J	`jnl`	Some Model Theory of Guarded Negation. CoRR Vince Bárány, Michael Benedikt, Balder ten Cate
2020	—	`conf`	The Homomorphism Lattice, Unique Characterizations, and Concept Learning. Description Logics Balder ten Cate
2019	J	`jnl`	Learning Multilingual Word Embeddings Using Image-Text Data. CoRR Karan Singhal, Karthik Raman, Balder ten Cate
2019	A	`conf`	Recursive Programs for Document Spanners. ICDT Liat Peterfreund, Balder ten Cate, Ronald Fagin, Benny Kimelfeld
2018	A*	`conf`	Active Learning of GAV Schema Mappings. PODS Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan
2018	J	`jnl`	Some Model Theory of Guarded Negation. J. Symb. Log. Vince Bárány, Michael Benedikt, Balder ten Cate
2017	J	`jnl`	Approximation Algorithms for Schema-Mapping Discovery from Data Examples. ACM Trans. Database Syst. Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan
2017	J	`jnl`	Declarative Probabilistic Programming with Datalog. ACM Trans. Database Syst. Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena
2017	J	`jnl`	Recursive Programs for Document Spanners. CoRR Liat Peterfreund, Balder ten Cate, Ronald Fagin, Benny Kimelfeld
2016	A	`conf`	Declarative Probabilistic Programming with Datalog. ICDT Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena
2016	J	`jnl`	Effective Interpolation and Preservation in Guarded Logics. ACM Trans. Comput. Log. Michael Benedikt, Balder ten Cate, Michael Vanden Boom
2016	J	`jnl`	Exchange-Repairs - Managing Inconsistency in Data Exchange. J. Data Semant. Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis
2016	J	`jnl`	Generating Plans from Proofs. ACM Trans. Database Syst. Michael Benedikt, Balder ten Cate, Efthymia Tsamoura
2016	—	`book`	Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
2016	B	`conf`	Practical Query Answering in Data Exchange Under Inconsistency-Tolerant Semantics. EDBT Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis
2016	A*	`conf`	Querying Visible and Invisible Information. LICS Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
2015	—	`conf`	Approximation Algorithms for Schema-Mapping Discovery from Data Examples. AMW Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang Chiew Tan
2015	—	`conf`	Design and Implementation of the LogicBlox System. SIGMOD Conference Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, Geoffrey Washburn
2015	J	`jnl`	Exchange-Repairs: Managing Inconsistency in Data Exchange. CoRR Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis
2015	J	`jnl`	Foreword: Special Issue on Database Theory. Theory Comput. Syst. Balder ten Cate, Wang-Chiew Tan
2015	J	`jnl`	Guarded Negation. J. ACM Vince Bárány, Balder ten Cate, Luc Segoufin
2015	A*	`conf`	High-Level Why-Not Explanations using Ontologies. PODS Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan
2015	A*	`conf`	Interpolation with Decidable Fixpoint Logics. LICS Michael Benedikt, Balder ten Cate, Michael Vanden Boom
2015	J	`jnl`	On the Data Complexity of Consistent Query Answering. Theory Comput. Syst. Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis
2015	—	`conf`	PPDL: Probabilistic Programming with Datalog. AMW Balder ten Cate, Benny Kimelfeld, Dan Olteanu
2015	J	`jnl`	Querying Visible and Invisible Tables in the Presence of Integrity Constraints. CoRR Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
2015	A*	`conf`	The Complexity of Boundedness for Guarded Logics. LICS Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom
2015	A	`conf`	The Product Homomorphism Problem and Applications. ICDT Balder ten Cate, Víctor Dalmau
2015	—	`ed.`	Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings RR Balder ten Cate, Alessandra Mileo
2014	J	`jnl`	Declarative Statistical Modeling with Datalog. CoRR Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena
2014	—	`conf`	Effective interpolation and preservation in guarded logics. CSL-LICS Michael Benedikt, Balder ten Cate, Michael Vanden Boom
2014	—	`conf`	Exchange-Repairs: Managing Inconsistency in Data Exchange. RR Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis
2014	A*	`conf`	Generating low-cost plans from proofs. PODS Michael Benedikt, Balder ten Cate, Efthymia Tsamoura
2014	J	`jnl`	High-Level Why-Not Explanations using Ontologies. CoRR Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan
2014	J	`jnl`	Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. ACM Trans. Database Syst. Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2014	J	`jnl`	Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). Dagstuhl Reports Michael Benedikt, Carsten Lutz, Balder ten Cate
2014	—	`ch.`	Schema Mappings: A Case of Logical Dynamics in Database Theory. Johan van Benthem on Logic and Information Dynamics Balder ten Cate, Phokion G. Kolaitis
2013	J	`jnl`	Beth Definability in Expressive Description Logics. J. Artif. Intell. Res. Balder ten Cate, Enrico Franconi, Inanç Seylan
2013	B	`conf`	Data exchange with arithmetic operations. EDBT Balder ten Cate, Phokion G. Kolaitis, Walied Othman
2013	J	`jnl`	Learning schema mappings. ACM Trans. Database Syst. Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis
2013	J	`jnl`	On Core XPath with Inflationary Fixed Points. RAIRO Theor. Informatics Appl. Loredana Afanasiev, Balder ten Cate
2013	J	`jnl`	On the equivalence of distributed systems with queries and communication. J. Comput. Syst. Sci. Serge Abiteboul, Balder ten Cate, Yannis Katsis
2013	J	`jnl`	Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP CoRR Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013	A*	`conf`	Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. PODS Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter
2013	B	`conf`	Rewriting Guarded Negation Queries. MFCS Vince Bárány, Michael Benedikt, Balder ten Cate
2013	B	`conf`	Schema mappings and data examples. EDBT Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2013	J	`jnl`	Unary negation. Log. Methods Comput. Sci. Luc Segoufin, Balder ten Cate
2012	J	`jnl`	A note on the product homomorphism problem and CQ-definability CoRR Balder ten Cate, Víctor Dalmau
2012	J	`jnl`	Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees Log. Methods Comput. Sci. Amélie Gheerbrant, Balder ten Cate
2012	B	`conf`	Guarded Negation. Advances in Modal Logic Balder ten Cate
2012	A	`conf`	Learning schema mappings. ICDT Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis
2012	A	`conf`	On the data complexity of consistent query answering. ICDT Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis
2012	J	`jnl`	Queries with Guarded Negation (full version) CoRR Vince Bárány, Balder ten Cate, Martin Otto
2012	J	`jnl`	Queries with Guarded Negation. Proc. VLDB Endow. Vince Bárány, Balder ten Cate, Martin Otto
2011	A*	`conf`	Beth Definability in Expressive Description Logics. IJCAI Balder ten Cate, Enrico Franconi, Inanç Seylan
2011	B	`conf`	Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. MFCS Balder ten Cate, Alessandro Facchini
2011	J	`jnl`	Characterizing schema mappings via data examples. ACM Trans. Database Syst. Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2011	—	`conf`	Designing and refining schema mappings via data examples. SIGMOD Conference Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2011	J	`jnl`	EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. Proc. VLDB Endow. Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2011	J	`jnl`	Foreword. Theory Comput. Syst. Albert Atserias, Mikolaj Bojanczyk, Balder ten Cate, Ronald Fagin, Floris Geerts, Kenneth A. Ross
2011	—	`conf`	Guarded Negation. ICALP (2) Vince Bárány, Balder ten Cate, Luc Segoufin
2011	A	`conf`	On the equivalence of distributed systems with queries and communication. ICDT Serge Abiteboul, Balder ten Cate, Yannis Katsis
2011	A	`conf`	Unary negation. STACS Balder ten Cate, Luc Segoufin
2010	B	`conf`	An Easy Completeness Proof for the Modal FoSSaCS Balder ten Cate, Gaëlle Fontaine
2010	J	`jnl`	Complete axiomatizations for XPath fragments. J. Appl. Log. Balder ten Cate, Tadeusz Litak, Maarten Marx
2010	A	`conf`	Database Constraints and Homomorphism Dualities. CP Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan
2010	J	`jnl`	Some modal aspects of XPath. J. Appl. Non Class. Logics Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak
2010	J	`jnl`	Structural characterizations of schema-mapping languages. Commun. ACM Balder ten Cate, Phokion G. Kolaitis
2010	J	`jnl`	Transitive closure logic, nested tree walking automata, and XPath. J. ACM Balder ten Cate, Luc Segoufin
2009	J	`jnl`	A note on the expressibility problem for modal logics and star-free regular expressions. Inf. Process. Lett. Balder ten Cate
2009	—	`conf`	An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. FICS Balder ten Cate, Gaëlle Fontaine
2009	J	`jnl`	Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. Balder ten Cate, Maarten Marx
2009	Misc	`conf`	Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS Amélie Gheerbrant, Balder ten Cate
2009	B	`conf`	Craig Interpolation for Linear Temporal Languages. CSL Amélie Gheerbrant, Balder ten Cate
2009	J	`jnl`	Laconic Schema Mappings: Computing the Core with SQL Queries. Proc. VLDB Endow. Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan
2009	J	`jnl`	Laconic schema mappings: computing core universal solutions by means of SQL queries CoRR Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan
2009	J	`jnl`	Lindström theorems for fragments of first-order logic Log. Methods Comput. Sci. Johan van Benthem, Balder ten Cate, Jouko A. Väänänen
2009	J	`jnl`	Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Log. Balder ten Cate, David Gabelaia, Dmitry Sustretov
2009	—	`conf`	On Core XPath with Inflationary Fixed Points. FICS Loredana Afanasiev, Balder ten Cate
2009	A	`conf`	Structural characterizations of schema-mapping languages. ICDT Balder ten Cate, Phokion G. Kolaitis
2009	J	`jnl`	The complexity of query containment in expressive fragments of XPath 2.0. J. ACM Balder ten Cate, Carsten Lutz
2008	A*	`conf`	XPath, transitive closure logic, and nested tree walking automata. PODS Balder ten Cate, Luc Segoufin
2007	A	`conf`	Axiomatizing the Logical Core of XPath 2.0. ICDT Balder ten Cate, Maarten Marx
2007	—	`ch.`	Hybrid logics. Handbook of Modal Logic Carlos Areces, Balder ten Cate
2007	A*	`conf`	Lindstrom theorems for fragments of first-order logic. LICS Balder ten Cate, Johan van Benthem, Jouko A. Väänänen
2007	—	`ed.`	Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers TbiLLC Balder ten Cate, Henk Zeevat
2007	J	`jnl`	Navigational XPath: calculus and algebra. SIGMOD Rec. Balder ten Cate, Maarten Marx
2007	A*	`conf`	The complexity of query containment in expressive fragments of XPath 2.0. PODS Balder ten Cate, Carsten Lutz
2006	A*	`conf`	Definitorially Complete Description Logics. KR Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
2006	J	`jnl`	Expressivity of Second Order Propositional Modal Logic. J. Philos. Log. Balder ten Cate
2006	J	`jnl`	Multimo dal Logics of Products of Topologies. Stud Logica Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac
2006	J	`jnl`	Pure Extensions, Proof Rules, and Hybrid Axiomatics. Stud Logica Patrick Blackburn, Balder ten Cate
2006	A*	`conf`	The expressivity of XPath with transitive closure. PODS Balder ten Cate
2006	—	`conf`	Topological Perspective on the Hybrid Proof Rules. HyLo@FLoC Balder ten Cate, Tadeusz Litak
2006	J	`jnl`	Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. J. Log. Comput. Nick Bezhanishvili, Balder ten Cate
2005	J	`jnl`	Guarded Fragments with Constants. J. Log. Lang. Inf. Balder ten Cate, Massimo Franceschet
2005	J	`jnl`	Hybrid logics with Sahlqvist axioms. Log. J. IGPL Balder ten Cate, Maarten Marx, Jorge Petrucio Viana
2005	J	`jnl`	Interpolation for extended modal languages. J. Symb. Log. Balder ten Cate
2005	B	`conf`	On the Complexity of Hybrid Logics with Binders. CSL Balder ten Cate, Massimo Franceschet
2002	A*	`conf`	On the Logic of d-separation. KR Balder ten Cate
2002	B	`conf`	Question Answering: From Partitions to Prolog. TABLEAUX Balder ten Cate, Chung-chieh Shan
2002	J	`jnl`	Question answering: from partitions to Prolog CoRR Balder ten Cate, Chung-chieh Shan
2002	J	`jnl`	The partition semantics of questions, syntactically CoRR Chung-chieh Shan, Balder ten Cate
2001	—	`conf`	The dynamics of information exchange dialogues. FGMOL Balder ten Cate