Search Results for author: Peter Stuckey

Found 5 papers, 1 papers with code

Delivering Inflated Explanations

1 code implementation27 Jun 2023 Yacine Izza, Alexey Ignatiev, Peter Stuckey, Joao Marques-Silva

Given a set of feature values for an instance to be explained, and a resulting decision, a formal abductive explanation is a set of features, such that if they take the given value will always lead to the same decision.

Explainable artificial intelligence Explainable Artificial Intelligence (XAI)

Encoding Linear Constraints into SAT

no code implementations5 May 2020 Ignasi Abío, Valentin Mayer-Eichberger, Peter Stuckey

Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications.

Projected Model Counting

no code implementations28 Jul 2015 Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey

The task is to compute the number of assignments to P such that there exists an extension to 'non-priority' variables V\P that satisfies F. Projected model counting arises when some parts of the model are irrelevant to the counts, in particular when we require additional variables to model the problem we are counting in SAT.

Stable Model Counting and Its Application in Probabilistic Logic Programming

no code implementations20 Nov 2014 Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey

Model counting is the problem of computing the number of models that satisfy a given propositional theory.

Cannot find the paper you are looking for? You can Submit a new open access paper.