@inproceedings{52b3594f5bc84af3a6707af1436ce511,

title = "Approved models for normal logic programs",

abstract = "We introduce an original 2-valued semantics for Normal Logic Programs (NLPs) extending the well-known Argumentation work of Phan Minh Dung on Admissible Arguments and Preferred Extensions. In the 2-valued Approved Models Semantics set forth, an Approved Model (AM) correspond to the minimal positive strict consistent 2-valued completion of a Dung Preferred Extension. The AMs Semantics enjoys several non-trivial useful properties such as (1) Existence of a 2-valued Model for every NLP; (2) Relevancy, and (3) Cumulativity. Crucially, we show that the AMs Semantics is a conservative extension to the Stable Models (SMs) Semantics in the sense that every SM of a NLP is also an AM, thus providing every NLP with a model: a property not enjoyed by SMs. Integrity constraints, written in a simpler way, are introduced to identify undesired semantic scenarios, whilst permitting these to be produced nevertheless. We end the paper with some conclusions and mention of future work.",

keywords = "Computational complexity, Semantics, Integral equations, Constraint theory",

author = "Pereira, {Lu{\'i}s Moniz} and Pinto, {Alexandre Miguel}",

year = "2007",

month = jan,

day = "1",

language = "English",

isbn = "9783540755586",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "454--468",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Proceedings",

note = "14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007 ; Conference date: 15-10-2007 Through 19-10-2007",

}