| Publication | Date of Publication | Type |
|---|
Coalitional games induced by matching problems: complexity and islands of tractability for the Shapley value
Artificial Intelligence | 2020-01-20 | Paper |
Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms
Journal of Computer and System Sciences | 2018-04-18 | Paper |
The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems
SIAM Journal on Computing | 2017-07-21 | Paper |
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems
Information and Computation | 2016-12-22 | Paper |
The complexity of the nucleolus in compact games
ACM Transactions on Computation Theory | 2016-10-24 | Paper |
| Hard and easy \(k\)-typed compact coalitional games: the knowledge of player types marks the boundary | 2015-12-11 | Paper |
The complexity of acyclic conjunctive queries
Journal of the ACM | 2015-10-30 | Paper |
Structural tractability of enumerating CSP solutions
Constraints | 2015-04-29 | Paper |
Mechanisms for fair allocation problems: no-punishment payment rules in verifiable settings
Journal of Artificial Intelligence Research | 2014-03-24 | Paper |
Tree projections and structural decomposition methods: minimality and game-theoretic characterization
Theoretical Computer Science | 2014-01-24 | Paper |
On the complexity of core, kernel, and bargaining set
Artificial Intelligence | 2011-11-25 | Paper |
Census data repair: a challenging application of disjunctive logic programming
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
On the complexity of regular-grammars with integer attributes
Journal of Computer and System Sciences | 2011-03-28 | Paper |
Non-transferable utility coalitional games via mixed-integer linear constraints
Journal of Artificial Intelligence Research | 2010-09-09 | Paper |
On the power of structural decompositions of graph-based representations of constraint problems
Artificial Intelligence | 2010-05-07 | Paper |
Tree projections: Game characterization and computational aspects
Graph Theory, Computational Intelligence and Thought | 2010-01-07 | Paper |
On the complexity of constrained Nash equilibria in graphical games
Theoretical Computer Science | 2009-09-10 | Paper |
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions
Automata, Languages and Programming | 2009-07-14 | Paper |
Uniform Constraint Satisfaction Problems and Database Theory
Complexity of Constraints | 2009-01-22 | Paper |
Tree Projections: Hypergraph Games and Minimality
Automata, Languages and Programming | 2008-08-28 | Paper |
Enhancing DLV instantiator by backjumping techniques
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
Weighted hypertree decompositions and optimal query plans
Journal of Computer and System Sciences | 2007-04-26 | 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 |
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming | 2005-04-29 | Paper |
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
Journal of Computer and System Sciences | 2003-08-19 | Paper |
| scientific article; zbMATH DE number 1884396 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1884352 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1834638 (Why is no real title available?) | 2002-11-25 | Paper |
Hypertree decompositions and tractable queries
Journal of Computer and System Sciences | 2002-09-12 | Paper |
Fixed-parameter complexity in AI and nonmonotonic reasoning
Artificial Intelligence | 2002-07-15 | Paper |
Computing LOGCFL certificates
Theoretical Computer Science | 2002-03-03 | Paper |
A comparison of structural CSP decomposition methods
Artificial Intelligence | 2000-12-12 | Paper |
Semantical and computational aspects of Horn approximations
Artificial Intelligence | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1453052 (Why is no real title available?) | 2000-07-24 | Paper |
| scientific article; zbMATH DE number 1405655 (Why is no real title available?) | 2000-07-10 | Paper |
Propositional lower bounds: Algorithms and complexity
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1114054 (Why is no real title available?) | 1998-06-09 | Paper |
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
Information and Computation | 1998-01-12 | Paper |
