Search Results for author:
Found 2 papers, 1 papers with code
Tabling Optimization for Contextual Abduction
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
Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
