| Publication | Date of Publication | Type |
|---|
| Existential second-order logic over graphs: charting the tractability frontier | 2026-05-08 | Paper |
| Artificial intelligence and artificial ignorance (invited talk) | 2026-02-19 | Paper |
| The complexity of acyclic conjunctive queries | 2025-10-29 | Paper |
| Fuzzy Datalog^ over arbitrary t-norms | 2025-02-19 | Paper |
Dyadic existential rules
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Fast parallel hypertree decompositions in logarithmic recursion depth
ACM Transactions on Database Systems | 2024-04-30 | Paper |
Incremental Updates of Generalized Hypertree Decompositions
ACM Journal of Experimental Algorithmics | 2024-04-14 | Paper |
Fractional covers of hypergraphs with bounded multi-intersection
Theoretical Computer Science | 2023-10-26 | Paper |
Polynomial combined first-order rewritings for linear and guarded existential rules
Artificial Intelligence | 2023-07-26 | Paper |
The HyperTrac project: recent progress and future research directions on hypergraph decompositions
(available as arXiv preprint) | 2022-12-21 | Paper |
The complexity class θp2: Recent results and applications in AI and modal logic
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
Journal of the ACM | 2022-12-08 | Paper |
Complexity Analysis of Generalized and Fractional Hypertree Decompositions
Journal of the ACM | 2022-12-08 | Paper |
Semantic Optimization of Conjunctive Queries
Journal of the ACM | 2022-12-08 | Paper |
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Fast and parallel decomposition of constraint satisfaction problems
Constraints | 2022-09-29 | Paper |
HyperBench. A benchmark and tool for hypergraphs and empirical findings
ACM Journal of Experimental Algorithmics | 2022-09-06 | Paper |
Complexity results for abductive logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Datalog: Bag Semantics via Set Semantics
(available as arXiv preprint) | 2022-07-21 | Paper |
scientific article; zbMATH DE number 7559412 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
Guarded Ontology-Mediated Queries
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
Query Rewriting and Optimization for Ontological Databases
ACM Transactions on Database Systems | 2021-11-25 | Paper |
| Vadalog: recent advances and applications | 2020-02-18 | Paper |
Monadic Datalog, tree validity, and limited access containment
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
| Tractable reasoning in description logics with functionality constraints | 2018-10-18 | Paper |
The impact of active domain predicates on guarded existential rules
Fundamenta Informaticae | 2018-05-03 | Paper |
Achieving new upper bounds for the hypergraph duality problem through logic
SIAM Journal on Computing | 2018-04-26 | Paper |
Achieving new upper bounds for the hypergraph duality problem through logic
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms
Journal of Computer and System Sciences | 2018-04-18 | Paper |
Corrigendum: ``Combining decidability paradigms for existential rules''
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| The ICDT 2016 Test of Time Award announcement | 2017-07-14 | Paper |
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
The impact of active domain predicates on guarded existential rules
Web Reasoning and Rule Systems | 2017-06-20 | Paper |
Datalog LITE
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Logic, languages, and rules for web data extraction and reasoning over data
Language and Automata Theory and Applications | 2017-06-01 | Paper |
Recent advances in Datalog^
Reasoning Web. Web Logic Rules | 2017-03-30 | Paper |
Tractability frontiers of the partner units configuration problem
Journal of Computer and System Sciences | 2016-04-18 | Paper |
Generalized hypertree decompositions: NP-hardness and tractable variants
Journal of the ACM | 2015-11-11 | Paper |
The complexity of acyclic conjunctive queries
Journal of the ACM | 2015-10-30 | Paper |
Monadic Datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
LoCo—A Logic for Configuration Problems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Monadic Datalog and the expressive power of languages for web information extraction
Journal of the ACM | 2015-08-01 | Paper |
Existential second-order logic over graphs: charting the tractability frontier
Journal of the ACM | 2015-08-01 | Paper |
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
Annals of Mathematics and Artificial Intelligence | 2014-06-26 | Paper |
The price of query rewriting in ontology-based data access
Artificial Intelligence | 2014-06-10 | Paper |
Querying the Guarded Fragment
Logical Methods in Computer Science | 2014-05-22 | Paper |
A backtracking-based algorithm for hypertree decomposition
ACM Journal of Experimental Algorithmics | 2014-04-01 | Paper |
Combining decidability paradigms for existential rules
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Size and treewidth bounds for conjunctive queries
Journal of the ACM | 2014-02-17 | Paper |
| Decomposing combinatorial auctions and set packing problems | 2014-02-17 | Paper |
Taming the infinite chase: query answering under expressive relational constraints
The Journal of Artificial Intelligence Research (JAIR) | 2013-10-29 | Paper |
On minimal constraint networks
Artificial Intelligence | 2013-08-23 | Paper |
Towards more expressive ontology languages: the query answering problem
Artificial Intelligence | 2013-08-23 | Paper |
Querying the guarded fragment with transitivity
Automata, Languages, and Programming | 2013-08-07 | Paper |
Ontology-based semantic search on the web and its combination with the power of inductive reasoning
Annals of Mathematics and Artificial Intelligence | 2013-01-04 | Paper |
Datalog and Its Extensions for Semantic Web Databases
Lecture Notes in Computer Science | 2012-11-08 | Paper |
On the complexity of ontological reasoning under disjunctive existential rules
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
On the interaction of existential rules and equality constraints in ontology querying
Correct Reasoning | 2012-07-23 | Paper |
Querying UML class diagrams
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
| scientific article; zbMATH DE number 5999532 (Why is no real title available?) | 2012-01-23 | Paper |
Distributed XML design
Journal of Computer and System Sciences | 2012-01-11 | Paper |
| scientific article; zbMATH DE number 5953613 (Why is no real title available?) | 2011-10-05 | Paper |
Optimization Methods for the Partner Units Problem
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
Fields of Logic and Computation | 2010-09-03 | Paper |
Balanced queries: divide and conquer
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
New results on monotone dualization and generating hypergraph transversals
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing | 2010-08-05 | Paper |
| Hypertree-width and related hypergraph invariants | 2010-07-30 | Paper |
Schema mapping discovery from data instances
Journal of the ACM | 2010-07-14 | Paper |
Second order logic and the weak exponential hierarchies
Lecture Notes in Computer Science | 2010-06-17 | Paper |
A logical approach to multicut problems
Information Processing Letters | 2010-03-24 | Paper |
Bounded treewidth as a key to tractability of knowledge representation and reasoning
Artificial Intelligence | 2010-03-16 | Paper |
Hyperconsistency width for constraint satisfaction: Algorithms and complexity results
Graph Theory, Computational Intelligence and Thought | 2010-01-07 | Paper |
Tree projections: Game characterization and computational aspects
Graph Theory, Computational Intelligence and Thought | 2010-01-07 | Paper |
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions
Automata, Languages and Programming | 2009-07-14 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Foundations of Rule-Based Query Answering
Reasoning Web | 2009-02-17 | Paper |
Uniform Constraint Satisfaction Problems and Database Theory
Complexity of Constraints | 2009-01-22 | Paper |
The complexity of XPath query evaluation and XML typing
Journal of the ACM | 2008-12-21 | Paper |
Conjunctive queries over trees
Journal of the ACM | 2008-12-21 | Paper |
Efficient core computation in data exchange
Journal of the ACM | 2008-12-21 | Paper |
Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Computational aspects of monotone dualization: a brief survey
Discrete Applied Mathematics | 2008-09-10 | Paper |
Hypertree width and related hypergraph invariants
European Journal of Combinatorics | 2007-11-21 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Second-Order Logic over Finite Structures – Report on a Research Programme
Electronic Notes in Discrete Mathematics | 2007-05-29 | Paper |
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science | 2007-01-09 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Graph-Theoretic Concepts in Computer Science
Lecture Notes in Computer Science | 2006-11-01 | Paper |
scientific article; zbMATH DE number 2243403 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width
SIAM Journal on Computing | 2005-02-21 | Paper |
| scientific article; zbMATH DE number 2087211 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2036324 (Why is no real title available?) | 2004-02-02 | Paper |
Semantics and complexity of abduction from default theories
Artificial Intelligence | 2003-08-28 | Paper |
On the complexity of single-rule datalog queries.
Information and Computation | 2003-08-19 | Paper |
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
Journal of Computer and System Sciences | 2003-08-19 | Paper |
Existential second-order logic over strings
Journal of the ACM | 2003-06-25 | Paper |
| scientific article; zbMATH DE number 1931693 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931696 (Why is no real title available?) | 2003-06-20 | Paper |
New Results on Monotone Dualization and Generating Hypergraph Transversals
SIAM Journal on Computing | 2003-06-19 | Paper |
