팔로우
Balder ten Cate
Balder ten Cate
Associate Professor
uva.nl의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
14 Hybrid logics
C Areces, B ten Cate
Studies in Logic and Practical Reasoning 3, 821-868, 2007
4462007
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
3272015
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
2672014
Model theory for extended modal languages
BD ten Cate
Institute for Logic, Language and Computation, 2005
1982005
Guarded negation
V Bárány, BT Cate, L Segoufin
Journal of the ACM (JACM) 62 (3), 1-26, 2015
1752015
Pure extensions, proof rules, and hybrid axiomatics
P Blackburn, B Cate
Studia Logica 84, 277-322, 2006
1312006
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
1282011
Characterizing Schema Mappings via Data Examples
B Alexe, B ten Cate, PG Kolaitis, WC Tan
ACM Transactions on Database Systems-TODS 36 (4), 2011
982011
Learning schema mappings
BT Cate, V Dalmau, PG Kolaitis
ACM Transactions on Database Systems (TODS) 38 (4), 1-31, 2013
862013
Queries with guarded negation
V Bárány, B Ten Cate, M Otto
Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012
862012
The expressivity of XPath with transitive closure
B ten Cate
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006
852006
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
852006
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
842009
On the complexity of hybrid logics with binders
B Ten Cate, M Franceschet
Computer Science Logic, 339-354, 2005
822005
Unary negation
B Ten Cate, L Segoufin
28th International Symposium on Theoretical Aspects of Computer Science …, 2011
80*2011
Multimodal Logics of Products of Topologies
J Benthem, G Bezhanishvili, B Cate, D Sarenac
Studia Logica 84 (3), 369-392, 2006
782006
Beth definability in expressive description logics
B Ten Cate, E Franconi, I Seylan
Journal of Artificial Intelligence Research 48, 347-414, 2013
712013
Rewriting guarded negation queries
V Bárány, M Benedikt, B Ten Cate
International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013
672013
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
642009
Generating plans from proofs: the interpolation-based approach to query reformulation
M Benedikt, J Leblay, B Ten Cate, E Tsamoura
Morgan & Claypool Publishers, 2016
582016
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20