Balder ten Cate
Balder ten Cate
Software Engineer, Google
Verified email at google.com - Homepage
TitleCited byYear
14 Hybrid logics
C Areces, B ten Cate
Studies in Logic and Practical Reasoning 3, 821-868, 2007
3362007
Model theory for extended modal languages
BD ten Cate
Institute for Logic, Language and Computation, 2005
1592005
Design and implementation of the LogicBlox system
M Aref, B ten Cate, TJ Green, B Kimelfeld, D Olteanu, E Pasalic, ...
Proceedings of the 2015 ACM SIGMOD International Conference on Management of …, 2015
1492015
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP
M Bienvenu, BT Cate, C Lutz, F Wolter
ACM Transactions on Database Systems (TODS) 39 (4), 33, 2014
1472014
Guarded negation
V Bárány, B Ten Cate, L Segoufin
International Colloquium on Automata, Languages, and Programming, 356-367, 2011
113*2011
Designing and refining schema mappings via data examples
B Alexe, B Ten Cate, PG Kolaitis, WC Tan
Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011
912011
The expressivity of XPath with transitive closure
B ten Cate
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006
842006
Pure extensions, proof rules, and hybrid axiomatics
P Blackburn, B Ten Cate
Studia Logica 84 (2), 277-322, 2006
822006
The complexity of query containment in expressive fragments of XPath 2.0
B Cate, C Lutz
Journal of the ACM (JACM) 56 (6), 31, 2009
772009
On the complexity of hybrid logics with binders
B Ten Cate, M Franceschet
Computer Science Logic, 339-354, 2005
712005
Multimodal Logics of Products of Topologies
J Benthem, G Bezhanishvili, B Cate, D Sarenac
Studia Logica 84 (3), 369-392, 2006
692006
Characterizing Schema Mappings via Data Examples
B Alexe, B ten Cate, PG Kolaitis, WC Tan
ACM Transactions on Database Systems-TODS 36 (4), 2011
622011
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
592006
Learning schema mappings
BT Cate, V Dalmau, PG Kolaitis
ACM Transactions on Database Systems (TODS) 38 (4), 28, 2013
562013
Queries with guarded negation
V Bárány, B Ten Cate, M Otto
Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012
552012
Laconic schema mappings: Computing the core with sql queries
B Ten Cate, L Chiticariu, P Kolaitis, WC Tan
Proceedings of the VLDB Endowment 2 (1), 1006-1017, 2009
522009
Structural characterizations of schema-mapping languages
B Ten Cate, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 63-72, 2009
492009
Structural characterizations of schema-mapping languages
B Ten Cate, PG Kolaitis
Communications of the ACM 53 (1), 101-110, 2010
462010
XPath, transitive closure logic, and nested tree walking automata
B Ten Cate, L Segoufin
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on …, 2008
462008
Modal languages for topology: Expressivity and definability
B Ten Cate, D Gabelaia, D Sustretov
Annals of Pure and Applied Logic 159 (1-2), 146-170, 2009
442009
The system can't perform the operation now. Try again later.
Articles 1–20