| Publication | Date of Publication | Type |
|---|
Feature necessity and relevancy in machine learning explanations
Journal of Automated Reasoning | 2026-03-31 | Paper |
| Valued constraint satisfaction problems | 2024-09-11 | Paper |
Complexity of minimum-size arc-inconsistency explanations
Constraints | 2024-02-14 | Paper |
| Feature necessity \& relevancy in ML classifier explanations | 2023-12-13 | Paper |
On computing probabilistic abductive explanations
International Journal of Approximate Reasoning | 2023-07-18 | Paper |
Tractability of explaining classifier decisions
Artificial Intelligence | 2023-06-19 | Paper |
| Graphical Models: Queries, Complexity, Algorithms | 2023-02-07 | Paper |
Tractable constraints on ordered domains
Artificial Intelligence | 2022-09-21 | Paper |
A lightweight epistemic logic and its application to planning
Artificial Intelligence | 2021-11-02 | Paper |
| Galois connections for patterns: an algebra of labelled graphs | 2021-08-04 | Paper |
| Hybrid tractable classes of constraint problems | 2021-06-15 | Paper |
On singleton arc consistency for CSPs defined by monotone patterns
(available as arXiv preprint) | 2020-08-05 | Paper |
Variable Elimination in Binary CSPs
Journal of Artificial Intelligence Research | 2019-11-26 | Paper |
On singleton arc consistency for CSPs defined by monotone patterns
Algorithmica | 2019-04-25 | Paper |
The epistemic gossip problem
Discrete Mathematics | 2019-01-22 | Paper |
Binary constraint satisfaction problems defined by excluded topological minors
Information and Computation | 2018-12-21 | Paper |
Binary constraint satisfaction problems defined by excluded topological minors
Information and Computation | 2018-12-21 | Paper |
A polynomial relational class of binary CSP
Annals of Mathematics and Artificial Intelligence | 2018-07-20 | Paper |
| A simple account of multi-agent epistemic planning | 2018-07-12 | Paper |
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
scientific article; zbMATH DE number 6825406 (Why is no real title available?)
(available as arXiv preprint) | 2018-01-12 | Paper |
Tractability in constraint satisfaction problems: a survey
Constraints | 2016-04-20 | Paper |
Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems
Artificial Intelligence | 2016-03-08 | Paper |
Variable and value elimination in binary constraint satisfaction via forbidden patterns
Journal of Computer and System Sciences | 2015-07-13 | Paper |
Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns
Discrete Applied Mathematics | 2015-04-28 | Paper |
Monotone temporal planning: tractability, extensions and applications
Journal of Artificial Intelligence Research | 2014-07-30 | Paper |
An algebraic theory of complexity for discrete optimization.
SIAM Journal on Computing | 2014-02-04 | Paper |
An algebraic theory of complexity for discrete optimization.
SIAM Journal on Computing | 2014-02-04 | Paper |
Managing temporal cycles in planning problems requiring concurrency
Computational Intelligence | 2013-11-01 | Paper |
The tractability of CSP classes defined by forbidden patterns
Journal of Artificial Intelligence Research | 2012-12-03 | Paper |
Tractable triangles and cross-free convexity in discrete optimisation
The Journal of Artificial Intelligence Research (JAIR) | 2012-08-27 | Paper |
A mathematical model of historical semantics and the grouping of word meanings into concepts
Computational Linguistics | 2012-03-20 | Paper |
A weighted CSP approach to cost-optimal planning
AI Communications | 2011-12-01 | Paper |
Hybrid tractability of valued constraint problems
Artificial Intelligence | 2011-11-17 | Paper |
Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination
Artificial Intelligence | 2010-09-02 | Paper |
Soft constraints: complexity and multimorphisms
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Minimization of locally defined submodular functions by optimal soft arc consistency
Constraints | 2009-05-29 | Paper |
| scientific article; zbMATH DE number 5480947 (Why is no real title available?) | 2008-12-23 | Paper |
An Algebraic Characterisation of Complexity for Valued Constraint
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms
Theoretical Computer Science | 2008-07-31 | Paper |
The complexity of soft constraint satisfaction
Artificial Intelligence | 2007-10-23 | Paper |
STACS 2004
Lecture Notes in Computer Science | 2007-10-01 | Paper |
High-order consistency in valued constraint satisfaction
Constraints | 2006-02-23 | Paper |
Arc consistency for soft constraints
Artificial Intelligence | 2006-02-07 | Paper |
Cyclic consistency: A local reduction operation for binary valued constraints
Artificial Intelligence | 2006-02-07 | Paper |
Wireframe projections: physical realisability of curved objects and unambiguous reconstruction of simple polyhedra
International Journal of Computer Vision | 2006-01-09 | Paper |
scientific article; zbMATH DE number 2243365 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
Supermodular functions and the complexity of MAX CSP
Discrete Applied Mathematics | 2005-09-02 | Paper |
Fundamental properties of neighbourhood substitution in constraint satisfaction problems
Artificial Intelligence | 2003-08-28 | Paper |
Reduction operations in fuzzy or valued constraint satisfaction
Fuzzy Sets and Systems | 2003-05-19 | Paper |
Tractable constraints on ordered domains
Artificial Intelligence | 2003-02-04 | Paper |
The interpretation of line drawings with contrast failure and shadows
International Journal of Computer Vision | 2001-11-06 | Paper |
Linear constraints for the interpretation of line drawings of curved objects
Artificial Intelligence | 2000-08-21 | Paper |
Linear-time algorithms for testing the realisability of line drawings of curved objects
Artificial Intelligence | 1999-04-28 | Paper |
Constraints, consistency and closure
Artificial Intelligence | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1008453 (Why is no real title available?) | 1997-11-10 | Paper |
Characterising tractable constraints
Artificial Intelligence | 1994-05-03 | Paper |
Estimating optimal parameters for parallel database hardware
International Journal of Systems Science. Principles and Applications of Systems and Integration | 1992-06-28 | Paper |
An optimal k-consistency algorithm
Artificial Intelligence | 1989-01-01 | Paper |
