Search Results for author:
Found 3 papers, 0 papers with code
Properties of Stable Model Semantics Extensions
The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity.
Contextual Abductive Reasoning with Side-Effects
A weaker notion indicates the support of some relevant consequences by a prior abductive 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.
