Παρακολούθηση
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
4372007
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
3232015
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
2562014
Model theory for extended modal languages
BD ten Cate
Institute for Logic, Language and Computation, 2005
1992005
Guarded negation
V Bárány, BT Cate, L Segoufin
Journal of the ACM (JACM) 62 (3), 1-26, 2015
1712015
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
1322011
Pure extensions, proof rules, and hybrid axiomatics
P Blackburn, B Cate
Studia Logica 84, 277-322, 2006
1242006
Characterizing Schema Mappings via Data Examples
B Alexe, B ten Cate, PG Kolaitis, WC Tan
ACM Transactions on Database Systems-TODS 36 (4), 2011
962011
Learning schema mappings
BT Cate, V Dalmau, PG Kolaitis
ACM Transactions on Database Systems (TODS) 38 (4), 1-31, 2013
862013
The expressivity of XPath with transitive closure
B ten Cate
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 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
Definitorially Complete Description Logics.
B Ten Cate, W Conradie, M Marx, Y Venema
KR 6, 79-89, 2006
832006
On the complexity of hybrid logics with binders
B Ten Cate, M Franceschet
Computer Science Logic, 339-354, 2005
822005
Queries with guarded negation
V Bárány, B Ten Cate, M Otto
Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012
812012
Multimodal Logics of Products of Topologies
J Benthem, G Bezhanishvili, B Cate, D Sarenac
Studia Logica 84 (3), 369-392, 2006
812006
Beth definability in expressive description logics
B Ten Cate, E Franconi, I Seylan
Journal of Artificial Intelligence Research 48, 347-414, 2013
702013
Rewriting guarded negation queries
V Bárány, M Benedikt, B Ten Cate
International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013
642013
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
632009
Unary negation
B Ten Cate, L Segoufin
28th International Symposium on Theoretical Aspects of Computer Science …, 2011
60*2011
Structural characterizations of schema-mapping languages
B Ten Cate, PG Kolaitis
Communications of the ACM 53 (1), 101-110, 2010
592010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20