Balder ten Cate
Balder ten Cate
Software Engineer, Google
Verified email at google.com
Title
Cited by
Cited by
Year
14 Hybrid logics
C Areces, B ten Cate
Studies in Logic and Practical Reasoning 3, 821-868, 2007
3632007
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
2032015
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), 1-44, 2014
1962014
Model theory for extended modal languages
BD ten Cate
Institute for Logic, Language and Computation, 2005
1702005
Guarded negation
V Bárány, B Ten Cate, L Segoufin
International Colloquium on Automata, Languages, and Programming, 356-367, 2011
136*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
1092011
Pure extensions, proof rules, and hybrid axiomatics
P Blackburn, B Ten Cate
Studia Logica 84 (2), 277-322, 2006
902006
The expressivity of XPath with transitive closure
B ten Cate
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006
842006
The complexity of query containment in expressive fragments of XPath 2.0
B Cate, C Lutz
Journal of the ACM (JACM) 56 (6), 1-48, 2009
812009
On the complexity of hybrid logics with binders
B Ten Cate, M Franceschet
Computer Science Logic, 339-354, 2005
752005
Characterizing Schema Mappings via Data Examples
B Alexe, B ten Cate, PG Kolaitis, WC Tan
ACM Transactions on Database Systems-TODS 36 (4), 2011
722011
Multimodal Logics of Products of Topologies
J Benthem, G Bezhanishvili, B Cate, D Sarenac
Studia Logica 84 (3), 369-392, 2006
722006
Learning schema mappings
BT Cate, V Dalmau, PG Kolaitis
ACM Transactions on Database Systems (TODS) 38 (4), 1-31, 2013
702013
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
672006
Queries with guarded negation
V Bárány, B Ten Cate, M Otto
Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012
612012
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
582009
Structural characterizations of schema-mapping languages
B Ten Cate, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 63-72, 2009
532009
Rewriting guarded negation queries
V Bárány, M Benedikt, B Ten Cate
International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013
482013
Structural characterizations of schema-mapping languages
B ten Cate, PG Kolaitis
Communications of the ACM 53 (1), 101-110, 2010
482010
EIRENE: Interactive design and refinement of schema mappings via data examples
B Alexe, B Cate, PG Kolaitis, WC Tan
Proceedings of the VLDB Endowment 4 (12), 1414-1417, 2011
462011
The system can't perform the operation now. Try again later.
Articles 1–20