2009 |
23 | EE | Balder ten Cate,
Phokion G. Kolaitis:
Structural characterizations of schema-mapping languages.
ICDT 2009: 63-72 |
22 | EE | Amélie Gheerbrant,
Balder ten Cate:
Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees.
LFCS 2009: 180-196 |
21 | EE | Balder ten Cate,
Laura Chiticariu,
Phokion G. Kolaitis,
Wang Chiew Tan:
Laconic schema mappings: computing core universal solutions by means of SQL queries
CoRR abs/0903.1953: (2009) |
2008 |
20 | EE | Balder ten Cate,
Luc Segoufin:
XPath, transitive closure logic, and nested tree walking automata.
PODS 2008: 251-260 |
2007 |
19 | | Balder ten Cate,
Henk Zeevat:
Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers
Springer 2007 |
18 | EE | Balder ten Cate,
Maarten Marx:
Axiomatizing the Logical Core of XPath 2.0.
ICDT 2007: 134-148 |
17 | EE | Balder ten Cate,
Johan van Benthem,
Jouko A. Väänänen:
Lindstrom theorems for fragments of first-order logic.
LICS 2007: 280-292 |
16 | EE | Balder ten Cate,
Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0.
PODS 2007: 73-82 |
15 | EE | Balder ten Cate,
Tadeusz Litak:
Topological Perspective on the Hybrid Proof Rules.
Electr. Notes Theor. Comput. Sci. 174(6): 79-94 (2007) |
14 | EE | Balder ten Cate,
Maarten Marx:
Navigational XPath: calculus and algebra.
SIGMOD Record 36(2): 19-26 (2007) |
2006 |
13 | | Balder ten Cate,
Willem Conradie,
Maarten Marx,
Yde Venema:
Definitorially Complete Description Logics.
KR 2006: 79-89 |
12 | EE | Balder ten Cate:
The expressivity of XPath with transitive closure.
PODS 2006: 328-337 |
11 | EE | Nick Bezhanishvili,
Balder ten Cate:
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.
J. Log. Comput. 16(2): 177-197 (2006) |
10 | EE | Patrick Blackburn,
Balder ten Cate:
Pure Extensions, Proof Rules, and Hybrid Axiomatics.
Studia Logica 84(2): 277-322 (2006) |
9 | EE | Johan van Benthem,
Guram Bezhanishvili,
Balder ten Cate,
Darko Sarenac:
Multimo dal Logics of Products of Topologies.
Studia Logica 84(3): 369-392 (2006) |
2005 |
8 | EE | Balder ten Cate,
Massimo Franceschet:
On the Complexity of Hybrid Logics with Binders.
CSL 2005: 339-354 |
7 | EE | Balder ten Cate,
Massimo Franceschet:
Guarded Fragments with Constants.
Journal of Logic, Language and Information 14(3): 281-288 (2005) |
6 | EE | Balder ten Cate,
Maarten Marx,
Jorge Petrúcio Viana:
Hybrid logics with Sahlqvist axioms.
Logic Journal of the IGPL 13(3): 293-300 (2005) |
2002 |
5 | | Balder ten Cate:
On the Logic of d-separation.
KR 2002: 568-577 |
4 | EE | Balder ten Cate,
Chung-chieh Shan:
Question Answering: From Partitions to Prolog.
TABLEAUX 2002: 251-265 |
3 | EE | Chung-chieh Shan,
Balder ten Cate:
The partition semantics of questions, syntactically
CoRR cs.CL/0209008: (2002) |
2 | EE | Balder ten Cate,
Chung-chieh Shan:
Question answering: from partitions to Prolog
CoRR cs.CL/0209009: (2002) |
2001 |
1 | EE | Balder ten Cate:
The dynamics of information exchange dialogues.
Electr. Notes Theor. Comput. Sci. 53: (2001) |