Balder ten Cate

Available identifiers

zbMath Open ten-cate.balder-dMaRDI QIDQ269314

List of research outcomes

Publication	Date of Publication	Type
On the non-efficient PAC learnability of conjunctive queries	2023-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5884942	2023-03-24	Paper
Recursive Programs for Document Spanners	2022-07-21	Paper
Local Dependence and Guarding	2022-06-13	Paper
Ontology-Based Data Access	2021-11-25	Paper
Generating Plans from Proofs	2021-11-25	Paper
Approximation Algorithms for Schema-Mapping Discovery from Data Examples	2021-11-25	Paper
SOME MODEL THEORY OF GUARDED NEGATION	2019-01-04	Paper
Effective interpolation and preservation in guarded logics	2018-04-23	Paper
The Complexity of Boundedness for Guarded Logics	2018-04-23	Paper
Interpolation with Decidable Fixpoint Logics	2018-04-23	Paper
Querying Visible and Invisible Information	2018-04-23	Paper
Declarative Probabilistic Programming with Datalog	2017-07-14	Paper
Effective Interpolation and Preservation in Guarded Logics	2017-07-12	Paper
The Product Homomorphism Problem and Applications	2017-06-13	Paper
On the data complexity of consistent query answering	2016-04-18	Paper
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation	2016-04-08	Paper
Guarded Negation	2016-03-24	Paper
The complexity of query containment in expressive fragments of XPath 2.0	2015-11-11	Paper
Learning schema mappings	2015-09-03	Paper
Schema Mappings: A Case of Logical Dynamics in Database Theory	2015-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q5419878	2014-06-11	Paper
On the equivalence of distributed systems with queries and communication	2014-01-20	Paper
Topological Perspective on the Hybrid Proof Rules	2013-12-20	Paper
Beth Definability in Expressive Description Logics	2013-11-28	Paper
Unary negation	2013-09-26	Paper
Rewriting Guarded Negation Queries	2013-09-20	Paper
On Core XPath with Inflationary Fixed Points	2013-08-13	Paper
The dynamics of information exchange dialogues	2013-05-24	Paper
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees	2013-01-07	Paper
Some modal aspects of XPath	2012-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q3113699	2012-01-23	Paper
Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs	2011-08-17	Paper
Guarded Negation	2011-07-07	Paper
A note on the expressibility problem for modal logics and star-free regular expressions	2010-08-16	Paper
Transitive closure logic, nested tree walking automata, and XPath	2010-07-14	Paper
Complete axiomatizations for XPath fragments	2010-06-11	Paper
An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees	2010-04-27	Paper
Craig Interpolation for Linear Temporal Languages	2009-11-12	Paper
Lindstrom theorems for fragments of first-order logic	2009-08-20	Paper
Axiomatizing the logical core of XPath 2.0	2009-08-06	Paper
Modal languages for topology: expressivity and definability	2009-06-10	Paper
Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees	2009-02-24	Paper
Multimodal logics of products of topologies	2007-01-29	Paper
Computer Science Logic	2006-11-01	Paper
Expressivity of second order propositional modal logic	2006-08-14	Paper
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators	2006-07-03	Paper
Interpolation for extended modal languages	2006-02-08	Paper
Hybrid logics with Sahlqvist axioms	2005-10-18	Paper
Guarded fragments with constants	2005-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4412864	2003-07-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Balder ten Cate