default search action

combined dblp search
author search
venue search
publication search

ask others

Balder ten Cate

> Home > Persons

Person information

affiliation: University of Amsterdam, The Netherlands
affiliation (former): University of California, Santa Cruz, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2016
[b1]
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2016Benedikt
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2016Benedikt
Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura:
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2016, ISBN 978-3-031-00728-6

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ipl/CateFJL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/CateFJL24
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
On the non-efficient PAC learnability of conjunctive queries. Inf. Process. Lett. 183: 106431 (2024)
[j43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/0001CMB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/0001CMB24
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche:
Preservation theorems for Tarski's relation algebra. Log. Methods Comput. Sci. 20(3) (2024)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CateK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CateK24
Balder ten Cate, Raoul Koudijs:
Characterising Modal Formulas with Examples. ACM Trans. Comput. Log. 25(2): 12:1-12:27 (2024)
2023
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmod/CateFJL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/CateFJL23
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Fitting Algorithms for Conjunctive Queries. SIGMOD Rec. 52(4): 6-18 (2023)
2022
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/CateD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/CateD22
Balder ten Cate, Victor Dalmau:
Conjunctive Queries: Unique Characterizations and Exact Learnability. ACM Trans. Database Syst. 47(4): 14:1-14:41 (2022)
2021
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BenediktBCPB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BenediktBCPB21
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis, Michael Vanden Boom:
Inference from Visible Information and Background Knowledge. ACM Trans. Comput. Log. 22(2): 13:1-13:69 (2021)
2018
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BaranyBC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BaranyBC18
Vince Bárány, Michael Benedikt, Balder ten Cate:
Some Model Theory of Guarded Negation. J. Symb. Log. 83(4): 1307-1344 (2018)
2017
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/CateKQT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/CateKQT17
Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan:
Approximation Algorithms for Schema-Mapping Discovery from Data Examples. ACM Trans. Database Syst. 42(2): 12:1-12:41 (2017)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/BaranyCKOV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/BaranyCKOV17
Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena:
Declarative Probabilistic Programming with Datalog. ACM Trans. Database Syst. 42(4): 22:1-22:35 (2017)
2016
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/jodsn/CateHK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jodsn/CateHK16
Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Exchange-Repairs - Managing Inconsistency in Data Exchange. J. Data Semant. 5(2): 77-97 (2016)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BenediktCB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BenediktCB16
Michael Benedikt, Balder ten Cate, Michael Vanden Boom:
Effective Interpolation and Preservation in Guarded Logics. ACM Trans. Comput. Log. 17(2): 8 (2016)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/BenediktCT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/BenediktCT16
Michael Benedikt, Balder ten Cate, Efthymia Tsamoura:
Generating Plans from Proofs. ACM Trans. Database Syst. 40(4): 22:1-22:45 (2016)
2015
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/BaranyCS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/BaranyCS15
Vince Bárány, Balder ten Cate, Luc Segoufin:
Guarded Negation. J. ACM 62(3): 22:1-22:26 (2015)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/CateFK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CateFK15
Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis:
On the Data Complexity of Consistent Query Answering. Theory Comput. Syst. 57(4): 843-891 (2015)
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/mst/CateT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CateT15
Balder ten Cate, Wang-Chiew Tan:
Foreword: Special Issue on Database Theory. Theory Comput. Syst. 57(4): 1112-1113 (2015)
2014
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/BienvenuCLW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/BienvenuCLW14
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. ACM Trans. Database Syst. 39(4): 33:1-33:44 (2014)
2013
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SegoufinC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SegoufinC13
Luc Segoufin, Balder ten Cate:
Unary negation. Log. Methods Comput. Sci. 9(3) (2013)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/AfanasievC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/AfanasievC13
Loredana Afanasiev, Balder ten Cate:
On Core XPath with Inflationary Fixed Points. RAIRO Theor. Informatics Appl. 47(1): 3-23 (2013)
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CateFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CateFS13
Balder ten Cate, Enrico Franconi, Inanç Seylan:
Beth Definability in Expressive Description Logics. J. Artif. Intell. Res. 48: 347-414 (2013)
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/AbiteboulCK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/AbiteboulCK13
Serge Abiteboul, Balder ten Cate, Yannis Katsis:
On the equivalence of distributed systems with queries and communication. J. Comput. Syst. Sci. 79(6): 739-762 (2013)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/CateDK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/CateDK13
Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis:
Learning schema mappings. ACM Trans. Database Syst. 38(4): 28 (2013)
2012
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2620
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2620
Amélie Gheerbrant, Balder ten Cate:
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees. Log. Methods Comput. Sci. 8(4) (2012)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/BaranyCO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/BaranyCO12
Vince Bárány, Balder ten Cate, Martin Otto:
Queries with Guarded Negation. Proc. VLDB Endow. 5(11): 1328-1339 (2012)
2011
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/AtseriasBCFGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/AtseriasBCFGR11
Albert Atserias, Mikolaj Bojanczyk, Balder ten Cate, Ronald Fagin, Floris Geerts, Kenneth A. Ross:
Foreword. Theory Comput. Syst. 49(2): 365-366 (2011)
[j20]
- view
  - electronic edition @ vldb.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/pvldb/AlexeCKT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/AlexeCKT11
Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples. Proc. VLDB Endow. 4(12): 1414-1417 (2011)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/AlexeCKT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/AlexeCKT11
Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Characterizing schema mappings via data examples. ACM Trans. Database Syst. 36(4): 23:1-23:48 (2011)
2010
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/CateK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/CateK10
Balder ten Cate, Phokion G. Kolaitis:
Structural characterizations of schema-mapping languages. Commun. ACM 53(1): 101-110 (2010)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/CateS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/CateS10
Balder ten Cate, Luc Segoufin:
Transitive closure logic, nested tree walking automata, and XPath. J. ACM 57(3): 18:1-18:41 (2010)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/CateFL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/CateFL10
Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak:
Some modal aspects of XPath. J. Appl. Non Class. Logics 20(3): 139-171 (2010)
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/CateLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/CateLM10
Balder ten Cate, Tadeusz Litak, Maarten Marx:
Complete axiomatizations for XPath fragments. J. Appl. Log. 8(2): 153-172 (2010)
2009
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/CateGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/CateGS09
Balder ten Cate, David Gabelaia, Dmitry Sustretov:
Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Log. 159(1-2): 146-170 (2009)
[j13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0905-3668
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0905-3668
Johan van Benthem, Balder ten Cate, Jouko A. Väänänen:
Lindström theorems for fragments of first-order logic. Log. Methods Comput. Sci. 5(3) (2009)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Cate09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Cate09
Balder ten Cate:
A note on the expressibility problem for modal logics and star-free regular expressions. Inf. Process. Lett. 109(10): 509-513 (2009)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/CateL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/CateL09
Balder ten Cate, Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0. J. ACM 56(6): 31:1-31:48 (2009)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/CateM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CateM09
Balder ten Cate, Maarten Marx:
Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. 44(4): 561-589 (2009)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/CateCKT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/CateCKT09
Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan:
Laconic Schema Mappings: Computing the Core with SQL Queries. Proc. VLDB Endow. 2(1): 1006-1017 (2009)
2007
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmod/CateM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/CateM07
Balder ten Cate, Maarten Marx:
Navigational XPath: calculus and algebra. SIGMOD Rec. 36(2): 19-26 (2007)
2006
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/Cate06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/Cate06
Balder ten Cate:
Expressivity of Second Order Propositional Modal Logic. J. Philos. Log. 35(2): 209-223 (2006)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BezhanishviliC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BezhanishviliC06
Nick Bezhanishvili, Balder ten Cate:
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. J. Log. Comput. 16(2): 177-197 (2006)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BlackburnC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BlackburnC06
Patrick Blackburn, Balder ten Cate:
Pure Extensions, Proof Rules, and Hybrid Axiomatics. Stud Logica 84(2): 277-322 (2006)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BenthemBCS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BenthemBCS06
Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac:
Multimo dal Logics of Products of Topologies. Stud Logica 84(3): 369-392 (2006)
2005
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/CateMV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/CateMV05
Balder ten Cate, Maarten Marx, Jorge Petrucio Viana:
Hybrid logics with Sahlqvist axioms. Log. J. IGPL 13(3): 293-300 (2005)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/CateF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/CateF05
Balder ten Cate, Massimo Franceschet:
Guarded Fragments with Constants. J. Log. Lang. Inf. 14(3): 281-288 (2005)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Cate05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Cate05
Balder ten Cate:
Interpolation for extended modal languages. J. Symb. Log. 70(1): 223-234 (2005)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/Cate24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Cate24
Balder ten Cate:
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). CSL 2024: 2:1-2:2
[c57]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/CateKO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CateKO24
Balder ten Cate, Raoul Koudijs, Ana Ozaki:
On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract). Description Logics 2024
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/CateC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/CateC24
Balder ten Cate, Jesse Comer:
Craig Interpolation for Decidable First-Order Fragments. FoSSaCS (2) 2024: 137-159
[c55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icdt/CateDKW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CateDKW24
Balder ten Cate, Victor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu:
When Do Homomorphism Counts Help in Query Algorithms? ICDT 2024: 8:1-8:20
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icdt/CateDO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CateDO24
Balder ten Cate, Víctor Dalmau, Jakub Oprsal:
Right-Adjoints for Datalog Programs. ICDT 2024: 10:1-10:20
[c53]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/CateKO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CateKO24
Balder ten Cate, Raoul Koudijs, Ana Ozaki:
On the Power and Limitations of Examples for Description Logic Concepts. IJCAI 2024: 3567-3575
2023
[c52]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/CateFJL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CateFJL23
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics 2023
[c51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CateFJL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CateFJL23
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-Based PAC Learning of Description Logic Concepts. IJCAI 2023: 3347-3355
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CateDFL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CateDFL23
Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz:
Extremal Fitting Problems for Conjunctive Queries. PODS 2023: 89-98
2022
[c49]
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/CateKB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/CateKB22
Balder ten Cate, Raoul Koudijs, Johan van Benthem:
Local Dependence and Guarding. AiML 2022: 135-154
2021
[c48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icdt/CateD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CateD21
Balder ten Cate, Victor Dalmau:
Conjunctive Queries: Unique Characterizations and Exact Learnability. ICDT 2021: 9:1-9:24
2020
[c47]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/Cate20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Cate20
Balder ten Cate:
The Homomorphism Lattice, Unique Characterizations, and Concept Learning. Description Logics 2020
2019
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icdt/PeterfreundCFK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/PeterfreundCFK19
Liat Peterfreund, Balder ten Cate, Ronald Fagin, Benny Kimelfeld:
Recursive Programs for Document Spanners. ICDT 2019: 13:1-13:18
2018
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CateK0T18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CateK0T18
Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan:
Active Learning of GAV Schema Mappings. PODS 2018: 355-368
2016
[c44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/edbt/CateHK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/CateHK16
Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Practical Query Answering in Data Exchange Under Inconsistency-Tolerant Semantics. EDBT 2016: 233-244
[c43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icdt/BaranyCKOV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/BaranyCKOV16
Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena:
Declarative Probabilistic Programming with Datalog. ICDT 2016: 7:1-7:19
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BenediktBCP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BenediktBCP16
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis:
Querying Visible and Invisible Information. LICS 2016: 297-306
2015
[c41]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/amw/CateKO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amw/CateKO15
Balder ten Cate, Benny Kimelfeld, Dan Olteanu:
PPDL: Probabilistic Programming with Datalog. AMW 2015
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/amw/CateKQT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amw/CateKQT15
Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang Chiew Tan:
Approximation Algorithms for Schema-Mapping Discovery from Data Examples. AMW 2015
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icdt/CateD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CateD15
Balder ten Cate, Víctor Dalmau:
The Product Homomorphism Problem and Applications. ICDT 2015: 161-176
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BenediktCCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BenediktCCB15
Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom:
The Complexity of Boundedness for Guarded Logics. LICS 2015: 293-304
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BenediktCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BenediktCB15
Michael Benedikt, Balder ten Cate, Michael Vanden Boom:
Interpolation with Decidable Fixpoint Logics. LICS 2015: 378-389
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CateCST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CateCST15
Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan:
High-Level Why-Not Explanations using Ontologies. PODS 2015: 31-43
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/ArefCGKOPVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/ArefCGKOPVW15
Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, Geoffrey Washburn:
Design and Implementation of the LogicBlox System. SIGMOD Conference 2015: 1371-1382
2014
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BenediktCB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BenediktCB14
Michael Benedikt, Balder ten Cate, Michael Vanden Boom:
Effective interpolation and preservation in guarded logics. CSL-LICS 2014: 13:1-13:10
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/BenediktCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/BenediktCT14
Michael Benedikt, Balder ten Cate, Efthymia Tsamoura:
Generating low-cost plans from proofs. PODS 2014: 200-211
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/CateHK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/CateHK14
Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Exchange-Repairs: Managing Inconsistency in Data Exchange. RR 2014: 140-156
2013
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/edbt/CateKO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/CateKO13
Balder ten Cate, Phokion G. Kolaitis, Walied Othman:
Data exchange with arithmetic operations. EDBT 2013: 537-548
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/edbt/CateKT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/CateKT13
Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Schema mappings and data examples. EDBT 2013: 777-780
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BaranyBC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BaranyBC13
Vince Bárány, Michael Benedikt, Balder ten Cate:
Rewriting Guarded Negation Queries. MFCS 2013: 98-110
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/BienvenuCLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/BienvenuCLW13
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. PODS 2013: 213-224
2012
[c27]
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Cate12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Cate12
Balder ten Cate:
Guarded Negation. Advances in Modal Logic 2012: 183-184
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CateFK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CateFK12
Balder ten Cate, Gaëlle Fontaine, Phokion G. Kolaitis:
On the data complexity of consistent query answering. ICDT 2012: 22-33
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CateDK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CateDK12
Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis:
Learning schema mappings. ICDT 2012: 182-195
2011
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BaranyCS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BaranyCS11
Vince Bárány, Balder ten Cate, Luc Segoufin:
Guarded Negation. ICALP (2) 2011: 356-367
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/AbiteboulCK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/AbiteboulCK11
Serge Abiteboul, Balder ten Cate, Yannis Katsis:
On the equivalence of distributed systems with queries and communication. ICDT 2011: 126-137
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/CateFS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CateFS11
Balder ten Cate, Enrico Franconi, Inanç Seylan:
Beth Definability in Expressive Description Logics. IJCAI 2011: 1099-1106
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/CateF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/CateF11
Balder ten Cate, Alessandro Facchini:
Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. MFCS 2011: 290-302
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/AlexeCKT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/AlexeCKT11
Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Designing and refining schema mappings via data examples. SIGMOD Conference 2011: 133-144
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/CateS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/CateS11
Balder ten Cate, Luc Segoufin:
Unary negation. STACS 2011: 344-355
2010
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CateKT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CateKT10
Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan:
Database Constraints and Homomorphism Dualities. CP 2010: 475-490
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/CateF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/CateF10
Balder ten Cate, Gaëlle Fontaine:
An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees. FoSSaCS 2010: 161-175
2009
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/GheerbrantC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/GheerbrantC09
Amélie Gheerbrant, Balder ten Cate:
Craig Interpolation for Linear Temporal Languages. CSL 2009: 287-301
[c15]
- view
  - electronic edition @ ioc.ee (open access)
  - details & citations
- export record
  dblp key:
  - conf/fics/AfanasievC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fics/AfanasievC09
Loredana Afanasiev, Balder ten Cate:
On Core XPath with Inflationary Fixed Points. FICS 2009: 11-17
[c14]
- view
  - electronic edition @ ioc.ee (open access)
  - details & citations
- export record
  dblp key:
  - conf/fics/CateF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fics/CateF09
Balder ten Cate, Gaëlle Fontaine:
An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. FICS 2009: 30-38
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CateK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CateK09
Balder ten Cate, Phokion G. Kolaitis:
Structural characterizations of schema-mapping languages. ICDT 2009: 63-72
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/GheerbrantC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/GheerbrantC09
Amélie Gheerbrant, Balder ten Cate:
Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196
2008
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CateS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CateS08
Balder ten Cate, Luc Segoufin:
XPath, transitive closure logic, and nested tree walking automata. PODS 2008: 251-260
2007
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CateM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CateM07
Balder ten Cate, Maarten Marx:
Axiomatizing the Logical Core of XPath 2.0. ICDT 2007: 134-148
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CateBV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CateBV07
Balder ten Cate, Johan van Benthem, Jouko A. Väänänen:
Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CateL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CateL07
Balder ten Cate, Carsten Lutz:
The complexity of query containment in expressive fragments of XPath 2.0. PODS 2007: 73-82
2006
[c7]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/CateCMV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CateCMV06
Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema:
Definitorially Complete Description Logics. KR 2006: 79-89
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/Cate06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/Cate06
Balder ten Cate:
The expressivity of XPath with transitive closure. PODS 2006: 328-337
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CateL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CateL07
Balder ten Cate, Tadeusz Litak:
Topological Perspective on the Hybrid Proof Rules. HyLo@FLoC 2006: 79-94
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/CateF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/CateF05
Balder ten Cate, Massimo Franceschet:
On the Complexity of Hybrid Logics with Binders. CSL 2005: 339-354
2002
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/kr/Cate02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Cate02
Balder ten Cate:
On the Logic of d-separation. KR 2002: 568-577
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/CateS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/CateS02
Balder ten Cate, Chung-chieh Shan:
Question Answering: From Partitions to Prolog. TABLEAUX 2002: 251-265
2001
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Cate01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Cate01
Balder ten Cate:
The dynamics of information exchange dialogues. FGMOL 2001: 322-333

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2014
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/CateK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/CateK14
Balder ten Cate, Phokion G. Kolaitis:
Schema Mappings: A Case of Logical Dynamics in Database Theory. Johan van Benthem on Logic and Information Dynamics 2014: 67-100
2007
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/el/07/ArecesC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/07/ArecesC07
Carlos Areces, Balder ten Cate:
Hybrid logics. Handbook of Modal Logic 2007: 821-868

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2015
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/2015
Balder ten Cate, Alessandra Mileo:
Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. Lecture Notes in Computer Science 9209, Springer 2015, ISBN 978-3-319-22001-7 [contents]
2007
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/tbillc/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tbillc/2005
Balder ten Cate, Henk Zeevat:
Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers. Lecture Notes in Computer Science 4363, Springer 2007, ISBN 978-3-540-75143-4 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-06366
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-06366
Balder ten Cate, Víctor Dalmau, Jakub Oprsal:
Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes. CoRR abs/2302.06366 (2023)
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-06294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-06294
Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu:
When do homomorphism counts help in query algorithms? CoRR abs/2304.06294 (2023)
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-06646
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-06646
Balder ten Cate, Raoul Koudijs:
Characterising Modal Formulas with Examples. CoRR abs/2304.06646 (2023)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-08086
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-08086
Balder ten Cate, Jesse Comer:
Craig Interpolation for Guarded Fragments. CoRR abs/2304.08086 (2023)
[i23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-04656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-04656
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche:
Preservation theorems for Tarski's relation algebra. CoRR abs/2305.04656 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-08511
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-08511
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-Based PAC Learning of Description Logic Concepts. CoRR abs/2305.08511 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-08689
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-08689
Balder ten Cate, Jesse Comer:
Craig Interpolation for Decidable First-Order Fragments. CoRR abs/2310.08689 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-03407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-03407
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Extremal Fitting CQs do not Generalize. CoRR abs/2312.03407 (2023)
2022
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-05080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-05080
Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz:
Extremal Fitting Problems for Conjunctive Queries. CoRR abs/2206.05080 (2022)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-06046
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-06046
Johan van Benthem, Balder ten Cate, Raoul Koudijs:
Local Dependence and Guarding. CoRR abs/2206.06046 (2022)
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-06049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-06049
Balder ten Cate, Raoul Koudijs:
Characterising Modal Formulas with Examples. CoRR abs/2206.06049 (2022)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-10255
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-10255
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
On the non-efficient PAC learnability of acyclic conjunctive queries. CoRR abs/2208.10255 (2022)
2020
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06299
Vince Bárány, Michael Benedikt, Balder ten Cate:
Some Model Theory of Guarded Negation. CoRR abs/2005.06299 (2020)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-06824
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-06824
Balder ten Cate, Victor Dalmau:
Conjunctive Queries: Unique Characterizations and Exact Learnability. CoRR abs/2008.06824 (2020)
2019
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-12260
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-12260
Karan Singhal, Karthik Raman, Balder ten Cate:
Learning Multilingual Word Embeddings Using Image-Text Data. CoRR abs/1905.12260 (2019)
2017
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-08198
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-08198
Liat Peterfreund, Balder ten Cate, Ronald Fagin, Benny Kimelfeld:
Recursive Programs for Document Spanners. CoRR abs/1712.08198 (2017)
2015
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BenediktBCP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenediktBCP15
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis:
Querying Visible and Invisible Tables in the Presence of Integrity Constraints. CoRR abs/1509.01683 (2015)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CateHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CateHK15
Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Exchange-Repairs: Managing Inconsistency in Data Exchange. CoRR abs/1509.06390 (2015)
2014
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BaranyCKOV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaranyCKOV14
Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena:
Declarative Statistical Modeling with Datalog. CoRR abs/1412.2221 (2014)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CateCST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CateCST14
Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan:
High-Level Why-Not Explanations using Ontologies. CoRR abs/1412.2332 (2014)
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BenediktLC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BenediktLC14
Michael Benedikt, Carsten Lutz, Balder ten Cate:
Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331). Dagstuhl Reports 4(8): 1-20 (2014)
2013
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1301-6479
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-6479
Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. CoRR abs/1301.6479 (2013)
2012
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1203-0077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-0077
Vince Bárány, Balder ten Cate, Martin Otto:
Queries with Guarded Negation (full version). CoRR abs/1203.0077 (2012)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1212-3534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-3534
Balder ten Cate, Víctor Dalmau:
A note on the product homomorphism problem and CQ-definability. CoRR abs/1212.3534 (2012)
2009
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0903-1953
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-1953
Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan:
Laconic schema mappings: computing core universal solutions by means of SQL queries. CoRR abs/0903.1953 (2009)
2002
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-CL-0209008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-CL-0209008
Chung-chieh Shan, Balder ten Cate:
The partition semantics of questions, syntactically. CoRR cs.CL/0209008 (2002)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-CL-0209009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-CL-0209009
Balder ten Cate, Chung-chieh Shan:
Question answering: from partitions to Prolog. CoRR cs.CL/0209009 (2002)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.