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.
1 code implementation • 22 Sep 2020 • Ridhwan Dewoprabowo, Ari Saptawijaya
Tabling for contextual abduction in logic programming has been introduced as a means to store previously obtained abductive solutions in one context to be reused in another context.