Alferes, José Júlio AlvesPereira, L.M.Dung, Phan Minh2019-04-022019-04-021993-01-010-262-66083-0PURE: 118470PURE UUID: 6bb36ba8-6f85-4722-9ef9-426a72574508researchoutputwizard: 22036WOS: A1993BA16V00021ORCID: /0000-0001-5520-4623/work/54189827https://www.researchgate.net/publication/221306657_Scenario_Semantics_of_Extended_Logic_Programshttp://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.4577We present a coherent, fexible, unifying, and intuitive framework for the study of explicit negation in logic programs, based on the notion of admissible scenaria and the "coherence principle". With this support we introduce, in a simple way, a proposed "ideal sceptical semantics", as well as its well{ founded counterpart. Another result is a less sceptical "complete scenaria semantics", and its proof of equivalence to the well{founded semantics with explicit negation (WFSX). This has the added benect of bridging complete scenaria to default theory via WFSX, dened here based on Gelfond{Lifschitz operator.. Finally, we characterize a variety of more and less sceptical or credulous semantics, including answer{sets, and give sucient conditions for equivalence between those semantics.519971engconference objecthttps://www.researchgate.net/publication/221306657_Scenario_Semantics_of_Extended_Logic_Programshttp://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.4577