Publicação
Scenario semantics of extended logic programs
| dc.contributor.author | Alferes, José Júlio Alves | |
| dc.contributor.author | Pereira, L.M. | |
| dc.contributor.author | Dung, Phan Minh | |
| dc.contributor.institution | DI - Departamento de Informática | |
| dc.contributor.institution | CENTRIA – Centro de Inteligência Artificial | |
| dc.date.accessioned | 2019-04-02T22:03:16Z | |
| dc.date.available | 2019-04-02T22:03:16Z | |
| dc.date.issued | 1993-01-01 | |
| dc.description.abstract | We 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. | en |
| dc.description.version | authorsversion | |
| dc.description.version | published | |
| dc.format.extent | 519971 | |
| dc.identifier.isbn | 0-262-66083-0 | |
| dc.identifier.other | PURE: 118470 | |
| dc.identifier.other | PURE UUID: 6bb36ba8-6f85-4722-9ef9-426a72574508 | |
| dc.identifier.other | researchoutputwizard: 22036 | |
| dc.identifier.other | WOS: A1993BA16V00021 | |
| dc.identifier.other | ORCID: /0000-0001-5520-4623/work/54189827 | |
| dc.identifier.uri | https://www.researchgate.net/publication/221306657_Scenario_Semantics_of_Extended_Logic_Programs | |
| dc.identifier.uri | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.4577 | |
| dc.identifier.url | https://www.researchgate.net/publication/221306657_Scenario_Semantics_of_Extended_Logic_Programs | |
| dc.identifier.url | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.4577 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.title | Scenario semantics of extended logic programs | en |
| dc.type | conference object | |
| degois.publication.firstPage | 334 | |
| degois.publication.lastPage | 348 | |
| degois.publication.title | MIT Press | |
| degois.publication.title | LOGIC PROGRAMMING AND NON-MONOTONIC REASONING | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess |
Ficheiros
Principais
1 - 1 de 1