Search Results for author: Ari Saptawijaya

Found 2 papers, 1 papers with code

Tabling Optimization for Contextual Abduction

1 code implementation22 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.

Joint Tabling of Logic Program Abductions and Updates

no code implementations8 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.

Decision Making

Cannot find the paper you are looking for? You can Submit a new open access paper.