Balder ten Cate
- Ontology-based Data Access: A Study through Disjunctive Datalog, CSP,\n and MMSNP
2013/01/28 by Meghyn Bienvenu, Bienvenu, Meghyn, Balder ten Cate +5 · 4 citations
Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Advanced Database Systems and Queries
- Extremal Fitting Problems for Conjunctive Queries
2022/06/10 by Balder ten Cate, Víctor Dalmau, Cate, Balder ten +5 · 3 citations
Computer Science · #Advanced Database Systems and Queries #Algorithms and Data Compression #Data Management and Algorithms #Databases (cs.DB) #FOS: Computer and information sciences
- Modal languages for topology: expressivity and definability
2006/10/11 by Balder ten Cate, Cate, Balder ten, David Gabelaia +3 · 1 citation
Computer Science · #03B45 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #semigroups and automata theory
- Pure Extensions, Proof Rules, and Hybrid Axiomatics
2006/11/08 by P. Blackburn, Patrick Blackburn, B. ten Cate +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- SAT-Based PAC Learning of Description Logic Concepts
2023/05/15 by Balder ten Cate, Cate, Balder ten, Maurice Funk +5 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies
- Six Proofs of Interpolation for the Modal Logic K
2025/10/18 by Nick Bezhanishvili, Bezhanishvili, Nick, Balder ten Cate +3 · 2 citations
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems