no code implementations • 15 May 2014 • Mário Abrantes, Luís Moniz Pereira
The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity.