| Publication | Date of Publication | Type |
|---|
Discrete preference games with logic-based agents: formal framework, complexity, and islands of tractability
Artificial Intelligence | 2024-07-25 | Paper |
Answers set programs for non-transferable utility games: expressiveness, complexity and applications
Artificial Intelligence | 2021-12-13 | Paper |
| On the effectiveness of social proof recommendations in markets with multiple products | 2021-07-06 | Paper |
Optimal majority dynamics for the diffusion of an opinion when multiple alternatives are available
Theoretical Computer Science | 2021-05-10 | Paper |
Coalition formation in social environments with logic-based agents1
AI Communications | 2021-01-20 | Paper |
On the complexity of reasoning about opinion diffusion under majority dynamics
Artificial Intelligence | 2020-08-06 | Paper |
Coalitional games induced by matching problems: complexity and islands of tractability for the Shapley value
Artificial Intelligence | 2020-01-20 | Paper |
LTL on finite and process traces: complexity results and a practical reasoner
Journal of Artificial Intelligence Research | 2018-11-30 | Paper |
Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms
Journal of Computer and System Sciences | 2018-04-18 | Paper |
Constrained coalition formation on valuation structures: formal framework, applications, and islands of tractability
Artificial Intelligence | 2017-10-13 | Paper |
The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems
SIAM Journal on Computing | 2017-07-21 | Paper |
Outlier detection by logic programming
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 |
Characteristic function games with restricted agent interactions: core-stability and coalition structures
Artificial Intelligence | 2016-02-09 | Paper |
| Hard and easy \(k\)-typed compact coalitional games: the knowledge of player types marks the boundary | 2015-12-11 | Paper |
| Process discovery via precedence constraints | 2015-12-11 | Paper |
Frequency-based similarity for parameterized sequences: formal framework, algorithms, and applications
Information Sciences | 2015-09-23 | 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 |
| Decomposing combinatorial auctions and set packing problems | 2014-02-17 | Paper |
Tree projections and structural decomposition methods: minimality and game-theoretic characterization
Theoretical Computer Science | 2014-01-24 | Paper |
The complexity of mixed multi-unit combinatorial auctions: tractability under structural and qualitative restrictions
Artificial Intelligence | 2013-08-23 | Paper |
Magic sets for disjunctive Datalog programs
Artificial Intelligence | 2012-11-15 | Paper |
On the complexity of core, kernel, and bargaining set
Artificial Intelligence | 2011-11-25 | Paper |
Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
Annals of Mathematics and Artificial Intelligence | 2011-11-08 | Paper |
Dynamic magic sets for programs with monotone recursive aggregates
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | 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 |
Hyperconsistency width for constraint satisfaction: Algorithms and complexity results
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 |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | 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 |
Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
Annals of Mathematics and Artificial Intelligence | 2007-10-12 | Paper |
Magic Sets and their application to data integration
Journal of Computer and System Sciences | 2007-05-23 | Paper |
Weighted hypertree decompositions and optimal query plans
Journal of Computer and System Sciences | 2007-04-26 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Constraint-Based Mining and Inductive Databases
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
scientific article; zbMATH DE number 2243403 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming | 2006-01-03 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Discovery Science
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2147921 (Why is no real title available?) | 2005-03-21 | Paper |
Minimal founded semantics for disjunctive logic programs and deductive databases
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2089452 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2085288 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1980928 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1977824 (Why is no real title available?) | 2003-09-09 | Paper |
scientific article; zbMATH DE number 1944944 (Why is no real title available?)
World Wide Web | 2003-07-01 | Paper |
| scientific article; zbMATH DE number 1931655 (Why is no real title available?) | 2003-06-20 | Paper |
