1 paper · 1 filter
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.…