1 code implementation • 27 Oct 2022 • Xuanxiang Huang, Martin C. Cooper, Antonio Morgado, Jordi Planes, Joao Marques-Silva
Given a machine learning (ML) model and a prediction, explanations can be defined as sets of features which are sufficient for the prediction.
no code implementations • 27 Apr 2016 • Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
Propositional abduction is a restriction of abduction to the propositional domain, and complexity-wise is in the second level of the polynomial hierarchy.
no code implementations • 8 Oct 2013 • Anton Belov, Antonio Morgado, Joao Marques-Silva
The key requirement in this setting is that the preprocessing has to be sound, i. e. so that the solution can be reconstructed correctly and efficiently after the execution of a MaxSAT algorithm on the preprocessed instance.