Balder ten Cate
Balder ten Cate
Software Engineer, Google
Dirección de correo verificada de google.com - Página principal
Título
Citado por
Citado por
Año
Hybrid logics.
C Areces, B ten Cate
Handbook of modal logic 3, 821-868, 2007
3492007
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
1692015
Model theory for extended modal languages
BD ten Cate
Institute for Logic, Language and Computation, 2005
1642005
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
1592014
Guarded negation
V Bárány, B Ten Cate, L Segoufin
International Colloquium on Automata, Languages, and Programming, 356-367, 2011
127*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
1042011
Pure extensions, proof rules, and hybrid axiomatics
P Blackburn, B Ten Cate
Studia Logica 84 (2), 277-322, 2006
862006
The expressivity of XPath with transitive closure
B ten Cate
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006
862006
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
792009
On the complexity of hybrid logics with binders
B Ten Cate, M Franceschet
Computer Science Logic, 339-354, 2005
742005
Multimodal Logics of Products of Topologies
J Benthem, G Bezhanishvili, B Cate, D Sarenac
Studia Logica 84 (3), 369-392, 2006
702006
Characterizing Schema Mappings via Data Examples
B Alexe, B ten Cate, PG Kolaitis, WC Tan
ACM Transactions on Database Systems-TODS 36 (4), 2011
652011
Learning schema mappings
BT Cate, V Dalmau, PG Kolaitis
ACM Transactions on Database Systems (TODS) 38 (4), 1-31, 2013
622013
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
612006
Queries with guarded negation
V Bárány, B Ten Cate, M Otto
Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012
582012
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
552009
Structural characterizations of schema-mapping languages
B Ten Cate, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 63-72, 2009
502009
Structural characterizations of schema-mapping languages
B ten Cate, PG Kolaitis
Communications of the ACM 53 (1), 101-110, 2010
482010
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
472008
Axiomatizing the logical core of XPath 2.0
B Ten Cate, M Marx
Theory of Computing Systems 44 (4), 561-589, 2009
442009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20