no code implementations • 8 May 2014 • Ari Saptawijaya, Luís Moniz Pereira
Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc.
no code implementations • 14 May 2014 • Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
A weaker notion indicates the support of some relevant consequences by a prior abductive context.
no code implementations • 15 May 2014 • Mário Abrantes, Luís Moniz Pereira
The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity.