Search Results for author: Mário Abrantes

Found 1 papers, 0 papers with code

Properties of Stable Model Semantics Extensions

no code implementations15 May 2014 Mário Abrantes, Luís Moniz Pereira

The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity.

Cannot find the paper you are looking for? You can Submit a new open access paper.