Balder ten Cate
Balder ten Cate
Coordinating Senior Researcher, University of Amsterdam
Dirección de correo verificada de uva.nl
Título
Citado por
Citado por
Año
14 Hybrid logics
C Areces, B ten Cate
Studies in Logic and Practical Reasoning 3, 821-868, 2007
3762007
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
2282015
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
2022014
Model theory for extended modal languages
BD ten Cate
Institute for Logic, Language and Computation, 2005
1732005
Guarded negation
V Bárány, B Ten Cate, L Segoufin
International Colloquium on Automata, Languages, and Programming, 356-367, 2011
138*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
1122011
Pure extensions, proof rules, and hybrid axiomatics
P Blackburn, B Ten Cate
Studia Logica 84 (2), 277-322, 2006
962006
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
762005
Characterizing Schema Mappings via Data Examples
B Alexe, B ten Cate, PG Kolaitis, WC Tan
ACM Transactions on Database Systems-TODS 36 (4), 2011
752011
Multimodal Logics of Products of Topologies
J Benthem, G Bezhanishvili, B Cate, D Sarenac
Studia Logica 84 (3), 369-392, 2006
742006
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
712006
Learning schema mappings
BT Cate, V Dalmau, PG Kolaitis
ACM Transactions on Database Systems (TODS) 38 (4), 1-31, 2013
702013
Queries with guarded negation
V Bárány, B Ten Cate, M Otto
Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012
632012
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
592009
Structural characterizations of schema-mapping languages
B Ten Cate, PG Kolaitis
Proceedings of the 12th International Conference on Database Theory, 63-72, 2009
552009
Rewriting guarded negation queries
V Bárány, M Benedikt, B Ten Cate
International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013
502013
Structural characterizations of schema-mapping languages
B ten Cate, PG Kolaitis
Communications of the ACM 53 (1), 101-110, 2010
492010
Beth definability in expressive description logics
B Ten Cate, E Franconi, I Seylan
Journal of Artificial Intelligence Research 48, 347-414, 2013
482013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20