Search results for "Balder ten Cate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Vince Bárány, Balder ten Cate, Martin Otto	Queries with Guarded Negation (full version)	CoRR	2012	DBLP BibTeX RDF
1	Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan	Characterizing schema mappings via data examples.	ACM Trans. Database Syst.	2011	DBLP DOI BibTeX RDF
1	Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan	EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples.	PVLDB	2011	DBLP BibTeX RDF
1	Albert Atserias, Mikolaj Bojanczyk, Balder ten Cate, Ronald Fagin, Floris Geerts, Kenneth Ross	Foreword.	Theory Comput. Syst.	2011	DBLP DOI BibTeX RDF
1	Balder ten Cate, Enrico Franconi, Inanç Seylan	Beth Definability in Expressive Description Logics.	IJCAI	2011	DBLP BibTeX RDF
1	Vince Bárány, Balder ten Cate, Luc Segoufin	Guarded Negation.	ICALP	2011	DBLP DOI BibTeX RDF
1	Balder ten Cate, Alessandro Facchini	Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs.	MFCS	2011	DBLP DOI BibTeX RDF
1	Balder ten Cate, Luc Segoufin	Unary negation.	STACS	2011	DBLP DOI BibTeX RDF
1	Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan	Designing and refining schema mappings via data examples.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
1	Serge Abiteboul, Balder ten Cate, Yannis Katsis	On the equivalence of distributed systems with queries and communication.	ICDT	2011	DBLP DOI BibTeX RDF
1	Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak	Some modal aspects of XPath.	Journal of Applied Non-Classical Logics	2010	DBLP BibTeX RDF
1	Balder ten Cate, Phokion G. Kolaitis	Structural characterizations of schema-mapping languages.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Balder ten Cate, Tadeusz Litak, Maarten Marx	Complete axiomatizations for XPath fragments.	J. Applied Logic	2010	DBLP DOI BibTeX RDF
1	Balder ten Cate, Luc Segoufin	Transitive closure logic, nested tree walking automata, and XPath.	J. ACM	2010	DBLP DOI BibTeX RDF
1	Balder ten Cate, Gaëlle Fontaine	An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees.	FOSSACS	2010	DBLP DOI BibTeX RDF
1	Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan	Database Constraints and Homomorphism Dualities.	CP	2010	DBLP DOI BibTeX RDF
1	Balder ten Cate	A note on the expressibility problem for modal logics and star-free regular expressions.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
1	Balder ten Cate, David Gabelaia, Dmitry Sustretov	Modal languages for topology: Expressivity and definability.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Balder ten Cate, Carsten Lutz	The complexity of query containment in expressive fragments of XPath 2.0.	J. ACM	2009	DBLP DOI BibTeX RDF	XML, complexity, satisfiability, XPath, containment
1	Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan	Laconic schema mappings: computing core universal solutions by means of SQL queries	CoRR	2009	DBLP BibTeX RDF
1	Johan van Benthem, Balder ten Cate, Jouko A. Väänänen	Lindström theorems for fragments of first-order logic	Logical Methods in Computer Science	2009	DBLP BibTeX RDF
1	Balder ten Cate, Laura Chiticariu, Phokion G. Kolaitis, Wang Chiew Tan	Laconic Schema Mappings: Computing the Core with SQL Queries.	PVLDB	2009	DBLP BibTeX RDF
1	Balder ten Cate, Maarten Marx	Axiomatizing the Logical Core of XPath 2.0.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	XML, XPath, Query rewriting, Axiomatization
1	Amélie Gheerbrant, Balder ten Cate	Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees.	LFCS	2009	DBLP DOI BibTeX RDF	Fragments of MSO, Henkin semantics, Ehrenfeucht-Fraïssé games, Feferman-Vaught theorems, Trees, Axiomatizations
1	Balder ten Cate, Phokion G. Kolaitis	Structural characterizations of schema-mapping languages.	ICDT	2009	DBLP DOI BibTeX RDF	data integration, data exchange, schema mapping, definability
1	Amélie Gheerbrant, Balder ten Cate	Craig Interpolation for Linear Temporal Languages.	CSL	2009	DBLP DOI BibTeX RDF	Propositional Linear Temporal Logic, Linear Time ?-Calculus, Craig Interpolation
1	Balder ten Cate, Luc Segoufin	XPath, transitive closure logic, and nested tree walking automata.	PODS	2008	DBLP DOI BibTeX RDF	tree walking automata, xpath, xml, transitive closure
1	Balder ten Cate, Tadeusz Litak	Topological Perspective on the Hybrid Proof Rules.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Balder ten Cate, Maarten Marx	Navigational XPath: calculus and algebra.	SIGMOD Record	2007	DBLP DOI BibTeX RDF
1	Balder ten Cate, Henk Zeevat (eds.)	Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers	TbiLLC	2007	DBLP BibTeX RDF
1	Balder ten Cate, Maarten Marx	Axiomatizing the Logical Core of XPath 2.0.	ICDT	2007	DBLP DOI BibTeX RDF
1	Balder ten Cate, Johan van Benthem, Jouko A. Väänänen	Lindstrom theorems for fragments of first-order logic.	LICS	2007	DBLP DOI BibTeX RDF
1	Balder ten Cate, Carsten Lutz	The complexity of query containment in expressive fragments of XPath 2.0.	PODS	2007	DBLP DOI BibTeX RDF	XML, complexity, satisfiability, XPath, containment
1	Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac	Multimo dal Logics of Products of Topologies.	Studia Logica	2006	DBLP DOI BibTeX RDF	Fusion of modal logics, products of modal logics, topological product, horizontal, vertical topologies
1	Patrick Blackburn, Balder ten Cate	Pure Extensions, Proof Rules, and Hybrid Axiomatics.	Studia Logica	2006	DBLP DOI BibTeX RDF	completeness, modal logic, Hybrid logic, proof rules, axiomatisation, nominals
1	Nick Bezhanishvili, Balder ten Cate	Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
1	Balder ten Cate	Expressivity of Second Order Propositional Modal Logic.	J. Philosophical Logic	2006	DBLP DOI BibTeX RDF
1	Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema	Definitorially Complete Description Logics.	KR	2006	DBLP BibTeX RDF
1	Balder ten Cate	The expressivity of XPath with transitive closure.	PODS	2006	DBLP DOI BibTeX RDF	XML, XPath, semi-structured data, transitive closure
1	Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana	Hybrid logics with Sahlqvist axioms.	Logic Journal of the IGPL	2005	DBLP DOI BibTeX RDF
1	Balder ten Cate	Interpolation for extended modal languages.	J. Symb. Log.	2005	DBLP BibTeX RDF
1	Balder ten Cate, Massimo Franceschet	Guarded Fragments with Constants.	Journal of Logic, Language and Information	2005	DBLP DOI BibTeX RDF	complexity, hybrid logic, guarded fragment
1	Balder ten Cate, Massimo Franceschet	On the Complexity of Hybrid Logics with Binders.	CSL	2005	DBLP DOI BibTeX RDF
1	Chung-chieh Shan, Balder ten Cate	The partition semantics of questions, syntactically	CoRR	2002	DBLP BibTeX RDF
1	Balder ten Cate, Chung-chieh Shan	Question answering: from partitions to Prolog	CoRR	2002	DBLP BibTeX RDF
1	Balder ten Cate, Chung-chieh Shan	Question Answering: From Partitions to Prolog.	TABLEAUX	2002	DBLP DOI BibTeX RDF
1	Balder ten Cate	On the Logic of d-separation.	KR	2002	DBLP BibTeX RDF
1	Balder ten Cate	The dynamics of information exchange dialogues.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF

Publications of "Balder ten Cate" ( http://dblp.L3S.de/Authors/Balder_ten_Cate )