ALMA MATER STUDIORUM. UNIVERSITY OF BOLOGNA. UNIVERSITY OF FERRARA. Policy-based reasoning for ... Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni ...
Abduction with hypotheses confirmation. Abductive Logic Programming ... Given a knowledge base KB and a goal G representing a set of observations, we ...