dr

Publications

2014
Michael Benedikt, Balder ten Cate and Efthymia Tsamoura (2014). Generating low-cost plans from proofs. Proceedings of PODS 2014: 200-211.
Michael Benedikt, Balder Ten Cate and Michael Vanden Boom (2014). Effective Interpolation and Preservation in Guarded Logics. Proceedings of LICS 2014: 13 (10 pages).
Balder ten Cate, Richard Halpert and Phokion G. Kolaitis (2014). Exchange-Repairs: Managing Inconsistency in Data Exchange. In Proceedings of RR2014.
Balder ten Cate and Phokion Kolaitis (2014). Schema Mappings: A Case of Logical Dynamics in Database Theory. In A. Baltag, and S. Smets, eds, Johan van Benthem on Logic and Information Dynamics. Outstanding Contributions to Logic Volume 5, pp 67-100.
Vince Barany, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena (2014). Declarative Statistical Modeling with Datalog. arXiv:1412.2221
Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan (2014). High-Level Why-Not Explanations using Ontologies. arXiv:1412.2332
2013
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter (2013). Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. Proceedings of PODS 2013, to appear.
Balder ten Cate, Phokion G. Kolaitis, and Walied Othman (2013). Data exchange with arithmetic operations. Proceedings of EDBT 2013: 537-548
Balder ten Cate, Phokion G. Kolaitis, and Wang Chiew Tan (2013). Schema mappings and data examples (tutorial description). Proceedings of EDBT 2013: 777-780
Vince Barany, Michael Benedikt, Balder ten Cate (2013). Rewriting Guarded Negation Queries. Proceedings of MFCS 2013, pp. 98-110.
Balder ten Cate, Victor Dalmau, and Phokion Kolaitis (2013). Learning schema mappings. ACM Transactions on Database Systems 38(4): 28, 31 pages. Invited from ICDT 2012.
Luc Segoufin, Balder ten Cate (2013). Unary negation. Logical Methods in Computer Science 9(3): 25, 46 pages.
Balder ten Cate, Enrico Franconi, and Inanc Seylan (2013). Beth Definability in Expressive Description Logics. Journal for Artificial Intelligence Research 48: 347-414.
Serge Abiteboul, Balder ten Cate, and Yannis Katsis (2013). On the equivalence of distributed systems with queries and communication. Journal of Computer and System Sciences 79(6): 739-762.
Loredana Afanasiev, Balder ten Cate (2013). On Core XPath with Inflationary Fixed Points. RAIRO - Theoretical Informatics and Applications 47(1): 3-23.
2012
Vince Barany, Balder ten Cate and Martin Otto (2012). Queries with Guarded Negation. Proceedings of VLDB 2012.
Balder ten Cate, Gaëlle Fontaine and Phokion Kolaitis (2012). On the Data Complexity of Consistent Query Answering. Proceedings of ICDT 2012
Balder ten Cate, Victor Dalmau and Phokion Kolaitis (2012). Learning Schema Mappings. Proceedings of ICDT 2012.
Amélie Gheerbrant and Balder ten Cate (2012). Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees. Logical Methods in Computer Science 8(4): 12.
2011
Balder ten Cate and Alessandro Facchini (2011). Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. Proceedings of MFCS 2011, pp. 290-302.
DOI
Serge Abiteboul, Balder ten Cate and Yannis Katsis (2011). On the equivalence of distributed systems with queries and communication. Proceedings of ICDT 2011, pp. 126-137.
ACM DLDOI
Bogdan Alexe, Balder ten Cate, Phokion Kolaitis and Wang-Chiew Tan (2011). EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples . Proceedings of 37th International Conference on Very Large Databases (VLDB 2011) -- Demonstration track. Proceedings of the VLDB 4(12): 1414-1417.
Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan (2011). Characterizing schema mappings via data examples. ACM Transactions on Database Systems 36(4): 23 (48 pages).
ACM DL DOI
Bogdan Alexe, Balder ten Cate, Phokion Kolaitis and Wang-Chiew Tan (2011). Designing and Refining Schema Mappings via Data Examples. Proceedings of the 31st ACM SIGMOD International Conference on Management of Data (SIGMOD 2011), pp. 133-144, 2011.
ACM DL DOI
Vince Bárány, Balder ten Cate and Luc Segoufin (2011). Guarded negation. Proceedings of ICALP 2011, pp. 356-367.
DOI
Balder ten Cate, Enrico Franconi and İnanç Seylan (2011). Beth definability in expressive description logics. Proceedings of IJCAI 2011, pp. 1099-1106.
Balder ten Cate and Luc Segoufin (2011). Unary negation. Proceedings of STACS 2011, pp. 344-355.
DOI PDF
2010
Balder ten Cate, Gaëlle Fontaine and Tadeusz Litak (2010). Some modal aspects of XPath. Journal of Applied Non-Classical Logic 20(3):139-171.
Balder ten Cate, Phokion Kolaitis and Wang-Chiew Tan (2010). Database constraints and homomorphism dualities. Proceedings of CP 2010, pp. 475-490.
Balder ten Cate and Luc Segoufin (2010). Transitive closure logic, nested tree walking automata, and XPath. Journal of the ACM 57(3):18.
ACM DL
Balder ten Cate and Phokion Kolaitis (2010). Structural characterizations of schema-mapping languages. Communications of the ACM 51(1): 101-110.
ACM DL
Balder ten Cate, Tadeusz Litak and Maarten Marx (2010). Complete axiomatizations of XPath fragments. Journal of Applied Logic 8(2):153-172.
Balder ten Cate and Gaëlle Fontaine (2010). An easy completeness proof for the modal mu-calculus on finite trees. Proceedings of FOSSACS 2010, pp. 161-175. Springer Verlag (LNCS 6014).
2009
Balder ten Cate and Carsten Lutz (2009). The Complexity of Query Containment in Expressive Fragments of XPath 2.0. Journal of the ACM 56(6): 1-48.
BibTeX DOI ACM DL
Johan van Benthem, Balder ten Cate and Jouko Väänänen (2009). Lindström theorems for fragments of first-order logic Logical Methods in Computer Science 5(3): 3 (27 pages).
BibTeX DOI (open access)
Balder ten Cate and Maarten Marx (2009). Axiomatizing the logical core of XPath 2.0. Theory of Computing Systems 44(4): 561-589.
BibTeX DOI (open access)
Balder ten Cate, David Gabelaia and Dmitry Sustretov (2009). Modal languages for topology: expressivity and definability. Annals of Pure and Applied Logic 159(1-2): 146-170.
PDF BibTeX DOI
Balder ten Cate (2009). A note on the expressibility problem for modal logics and star-free regular expressions. Information Processing Letters 109: 509-513.
BibTeX DOI
Balder ten Cate, Laura Chiticariu, Phokion Kolaitis and Wang-Chiew Tan (2009). Laconic Schema Mappings: Computing the Core with SQL Queries. Proceedings of the VLDB Endowment 2(1):i 1006-1017. Proceedings of the VLDB 2009 Conference.
PDF BibTeX
Amélie Gheerbrant and Balder ten Cate (2009). Craig Interpolation for linear temporal languages. Proceedings of CSL 2009, pp. 287-301. Springer Verlag (LNCS 5771).
BibTeX DOI
Balder ten Cate and Phokion Kolaitis (2009). Structural characterizations of schema-mapping languages. Proceedings of ICDT 2009, pp. 63-72. ACM Press.
BibTeX DOI ACM DL
Amélie Gheerbrant and Balder ten Cate (2009). Complete axiomatizations of MSO, FO(TC1) and FO(LFP1) on finite trees. In Proceedings of LFCS 2009, pp 180-196. Springer Verlag (LNCS 5407).
BibTeX DOI
Loredana Afanasiev and Balder ten Cate (2009). On Core XPath with inflationary fixed points. Proceedings of FICS 2009, pp. 11-17.
BibTeX
Balder ten Cate and Gaëlle Fontaine (2009). An easy completeness proof for the modal mu-calculus on finite trees. Proceedings of FICS 2009, pp. 30-38.
BibTeX
2008
Balder ten Cate and Luc Segoufin (2008). XPath, transitive closure logic, and nested tree walking automata. In Proceedings of PODS 2008, pp 251-260.
DOI BibTeX ACM DL
Balder ten Cate, Tadeusz Litak and Maarten Marx (2008). Complete axiomatizations for XPath fragments. In Proceedings of Logic in Databases 2008.
2007
Balder ten Cate and Maarten Marx (2007). Navigational XPath: calculus and algebra. SIGMOD Record 36(2): 19-26. Database Principles Column.
DOI BibTeX ACM DL
Balder ten Cate, Johan van Benthem and Jouko Väänänen (2007). Lindström theorems for fragments of first-order logic. Proceedings of LICS 2007, pp 280-292.
DOI BibTeX PDF of full version
Balder ten Cate and Carsten Lutz (2007). The Complexity of Query Containment in Expressive Fragments of XPath 2.0. Proceedings of PODS 2007, pp 73-82.
DOI BibTeX ACM DL
Balder ten Cate and Maarten Marx (2007). Axiomatizing the logical core of XPath 2.0. Proceedings of ICDT 2007, pp 134-148.
DOI BibTeX
Balder ten Cate and Tadeusz Litak (2007). Topological perspective on the hybrid proof rules. Electronic Notes in Theoretical Computer Science 174(6): 79--94. Proceedings of HyLo 2006.
DOI BibTeX PDF
Balder ten Cate, Gaëlle Fontaine and Tadeusz Litak (2007). Some modal aspects of XPath. Proceedings of Methods for Modalities 2007, pp 21-34.
PDF BibTeX
Carlos Areces and Balder ten Cate (2007). Hybrid logics. In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic. Elsevier (Studies in Logic and Practical Reasoning series).
DOI BibTeX PDF
Balder ten Cate and Chung-chieh Shan (2007). Axiomatizing Groenendijk's logic of interrogation. In M. Aloni, A. Butler, and P. Dekker, editors, Questions in dynamic semantics, pp. 63-82. Elsevier (CRiSPI series).
PDF of a preliminary version BibTeX
Loredana Afanasiev, Balder ten Cate and Maarten Marx (2007). Lekker bomen. Nieuwsbrief van de NVTI 11: 38-52.
BibTeX
Balder ten Cate, Tadeusz Litak and Maarten Marx (2007). A complete axiomatization for Core XPath 1.0. In J. van den Bussche, editor, Liber Amicorum Jan Paredaens.
BibTeX
Balder ten Cate and Tadeusz Litak (2007). The importance of being discrete. Technical report PP-2007-39, ILLC, University of Amsterdam.
PDF BibTeX
2006
Johan van Benthem, Guram Bezhanishvili, Balder ten Cate and Darko Sarenac (2006). Multimodal logics of products of topologies. Studia Logica 84(3): 369-392.
DOI BibTeX PDF of a preliminary version
Balder ten Cate (2006). Expressivity of second-order propositional modal logic. Journal of Philosophical Logic 35: 209-223.
DOI BibTeX PDF of a preliminary version
Patrick Blackburn and Balder ten Cate (2006). Pure extensions, proof rules, and hybrid axiomatics. Studia Logica 84(2): 277-322.
DOI BibTeX PDF of a preliminary version
Nick Bezhanishvili and Balder ten Cate (2006). Transfer results for hybrid logic. Part 1: the case without satisfaction operators. Journal of Logic and Computation 16: 177-197.
DOI BibTeX PDF of a preliminary version
Balder ten Cate (2006). Expressivity of XPath with transitive closure. Proceedings of PODS 2006, pp 328-337. ACM Press.
DOI BibTeX ACM DL PDF of the full version
Balder ten Cate, Willem Conradie, Maarten Marx and Yde Venema (2006). Definitorially complete description logics. In P. Doherty, J. Mylopoulos, and C. Welty, editors, Proceedings of KR 2006, AAAI Press, pp 79--89.
PDF BibTeX
2005
Balder ten Cate and Massimo Franceschet (2005). Guarded fragments with constants. Journal of Logic, Language and Information 14(3): 281-288.
DOI BibTeX PDF of a preliminary version
Balder ten Cate, Maarten Marx and Petrucio Viana (2005). Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL 13(3): 293-300.
DOI BibTeX PDF of a preliminary version
Balder ten Cate (2005). Interpolation for extended modal languages. Journal of Symbolic Logic 70(1): 223-234.
DOI BibTeX PDF of a preliminary version
Balder ten Cate and Massimo Franceschet (2005). On the complexity of hybrid logics with binders. In L. Ong, editor, Proceedings of CSL 2005. Lecture Notes in Computer Science 3634, Springer Verlag.
DOI BibTeX PDF of a preliminary version
Balder ten Cate (2005). Model theory for extended modal languages. PhD thesis, University of Amsterdam. ILLC Dissertation Series DS-2005-01.
BibTeX PDF Corrections
2004
Balder ten Cate, Maarten Marx and Petrucio Viana (2004). Sahlqvist theory for hybrid logic. In A. Troelstra, editor, Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh.
PDF BibTeX Superseded by the IGPL paper (see above)
Nick Bezhanishvili, Balder ten Cate, Maarten Marx and Petrucio Viana (2004). Sahlqvist theory and transfer results for hybrid logics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing, editors, Preliminary proceedings of Advances in Modal Logic 2004.
PDF BibTeX Superseded by the IGPL and JLC papers (see above)
Patrick Blackburn and Balder ten Cate (2004). Pure Extensions, Proof Rules, and Hybrid Axiomatics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing, editors, Preliminary proceedings of Advances in Modal Logic 2004.
PDF BibTeX Superseded by the Studia Logica paper (see above)
2003
Balder ten Cate (2003), editor. Proceedings of the ESSLLI-2003 student session. 15th European Summer School in Logic, Language and Information, Vienna.
PDF BibTeX
2002
Chung-chieh Shan and Balder ten Cate (2002). The Partition Semantics of Questions, Syntactically. In M. Nissim, editor, Proceedings of the ESSLLI-2002 student session. 14th European Summer School in Logic, Language and Information, Trento. Winner of the Kluwer Academic Best Student Session Paper Award.
PDF BibTeX
Balder ten Cate and Chung-chieh Shan (2002). Question answering: from partitions to prolog. In U. Egly and C. Fermüller, editors, Proceedings of TABLEAUX 2002: Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence 2381, Springer Verlag. Also in S. Wintner, editor, Proceedings of the 7th International Workshop on Natural Language Understanding and Logic Programming (NLULP 2002).
PDF BibTeX
Patrick Blackburn and Balder ten Cate (2002). Beyond Pure Axioms: Node Creating Rules in Hybrid Tableaux. In C. Areces, P. Blackburn, M. Marx and U. Sattler, editors, Proceedings of the 4th Workshop on Hybrid Logics (HyLo 2002).
PDF BibTeX
Balder ten Cate (2002). Internalizing Epistemic Actions. In M. Martinez, editor, Proceedings of the NASSLLI-2002 student session. 1st North American Summer School in Logic, Language and Information, Stanford.
PDF BibTeX
Balder ten Cate (2002). On the logic of d-separation. In D. Fensel, F. Giunchiglia, D. McGuinness and M. A. Williams, editors, Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002). San Francisco: Morgan Kaufmann.
PDF BibTeX Corrections
2001
Balder ten Cate, Jan van Eijck and Juan Heguiabehere (2001). Expressivity of extensions of dynamic predicate logic. In R. van Rooy and M. Stokhof, editors, Proceedings of the 13th Amsterdam Colloquium (AC 2001).
PDF BibTeX
Balder ten Cate and Marie Nilsenová (2001). Interpreting uncertain or inconsistent information using belief networks. In D. O'Donoghue, editor, Proceedings of the 12th Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2001).
Balder ten Cate and Marie Nilsenová (2001). Representing Model Conversation Failures with Belief Networks. In B. Kröse, M. de Rijke, G. Schreiber and M. van Someren, editors, Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001).
Balder ten Cate (2001). Information exchange as reduction. In Kristina Striegnitz, editor, Proceedings of the ESSLLI-2001 student session. 13th European Summer School in Logic, Language and Information, Helsinki.
2000
Balder ten Cate (2000). Dynamic and epistemic semantics of questions: the logic of consultation. Masters thesis, Vrije Universiteit Amsterdam.
PDF
1998
Marco Teunisse, Olle ten Cate and Balder ten Cate (1998). Automatisering evaluatie co-assistentschappen. In A.M.J.J. Verweij et al, editors, Proceedings Gezond Onderwijs Congres 1997. Houten: Bohn Stafleu van Loghum.

[All BibTeX entries]

Last modified: Friday, 06-Feb-2015 19:38:07 PST Validate HTML     Validate CSS
Current time: (SFO) / (AMS)