5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.AI2014
Properties of Stable Model Semantics Extensions
Mário Abrantes, Luís Moniz Pereira
The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity. If we prospectively consider the class of conservative extensions of SM semantics (i.…
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…