Guarded Negation von Bárány, Vince, Cate, Balder Ten, Segoufin, Luc

Volltext

Preservation theorems for Tarski's relation algebra von Bogaerts, Bart, Cate, Balder ten, McLean, Brett, Bussche, Jan Van den

Volltext

Unary negation von Segoufin, Luc, Cate, Balder ten

Volltext

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP von Bienvenu, Meghyn, Cate, Balder Ten, Lutz, Carsten, Wolter, Frank

Volltext

Conjunctive Queries: Unique Characterizations and Exact Learnability von Cate, Balder Ten, Dalmau, Victor

Volltext

On the non-efficient PAC learnability of conjunctive queries von ten Cate, Balder, Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

Volltext

Declarative Probabilistic Programming with Datalog von BáRány, Vince, Cate, Balder Ten, Kimelfeld, Benny, Olteanu, Dan, Vagena, Zografoula

Volltext

Web Reasoning and Rule Systems: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings von ten Cate, Balder, Mileo, Alessandra

Volltext

SOME MODEL THEORY OF GUARDED NEGATION von BÁRÁNY, VINCE, BENEDIKT, MICHAEL, CATE, BALDER TEN

Volltext

Generating Plans from Proofs von Benedikt, Michael, Ten Cate, Balder, Tsamoura, Efthymia

Volltext

Approximation Algorithms for Schema-Mapping Discovery from Data Examples von Cate, Balder Ten, Kolaitis, Phokion G., Qian, Kun, Tan, Wang-Chiew

Volltext

Queries with guarded negation von Bárány, Vince, ten Cate, Balder, Otto, Martin

Volltext

Inference from Visible Information and Background Knowledge von Benedikt, Michael, Bourhis, Pierre, Cate, Balder Ten, Puppis, Gabrieled, Boom, Michael Vanden

Volltext

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees von Gheerbrant, Amélie, Cate, Balder ten

Volltext

Beth Definability in Expressive Description Logics von Ten Cate, B., Franconi, E., Seylan, I.

Volltext

Effective Interpolation and Preservation in Guarded Logics von Benedikt, Michael, Cate, Balder Ten, Boom, Michael Vanden

Volltext

Characterizing Schema Mappings via Data Examples von ALEXE, Bogdan, CATE, Balder Ten, KOLAITIS, Phokion G, TAN, Wang-Chiew

Volltext

Learning Schema Mappings von TEN CATE, Balder, DALMAU, Víctor, KOLAITIS, Phokion G

Volltext

The complexity of query containment in expressive fragments of XPath 2.0 von Cate, Balder ten, Lutz, Carsten

Volltext

On the equivalence of distributed systems with queries and communication von Abiteboul, Serge, ten Cate, Balder, Katsis, Yannis

Volltext