5 citations · 5 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2020
Tabling Optimization for Contextual Abduction
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…
cs.AI2014★ 5 cited
Joint Tabling of Logic Program Abductions and Updates
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. On t…