Logo do repositório
 
Publicação

Nonmonotonic reasoning with well founded semantics

1991-01-01Documento de conferência Acesso aberto
Ver registo simples
dc.contributor.authorPereira, L.M.
dc.contributor.authorAlferes, José Júlio Alves
dc.contributor.institutionDI - Departamento de Informática
dc.date.accessioned2019-03-22T23:25:38Z
dc.date.available2019-03-22T23:25:38Z
dc.date.issued1991-01-01
dc.description.abstractWell Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the Well Founded model may be accepted to be a definite view of the world and the extended stable models as alternative enlarged consistent belief models an agent may have about the world. Our purpose is to exhibit a modular systematic method of representing nonmonotonic problems with the Well Founded semantics of logic programs. In this paper we use this method to represent and solve some classical nonmonotonic problems. This leads us to consider our method quite generic.en
dc.description.versionpublishersversion
dc.description.versionpublished
dc.format.extent428551
dc.identifier.otherPURE: 118730
dc.identifier.otherPURE UUID: 71c6b4f5-dd73-4144-848c-4429a039ce37
dc.identifier.otherresearchoutputwizard: 22032
dc.identifier.otherWOS: A1991BV25A00031
dc.identifier.otherScopus: 0026271996
dc.identifier.otherORCID: /0000-0001-5520-4623/work/54189787
dc.identifier.urihttp://www.scopus.com/record/display.uri?eid=2-s2.0-0026271996&origin=resultslist&sort=plf-f&src=s&st1
dc.identifier.urlhttps://www.scopus.com/pages/publications/0026271996
dc.language.isoeng
dc.peerreviewedyes
dc.subjectComputer software
dc.subjectMathematical models
dc.subjectFormal languages
dc.subjectFormal logic
dc.titleNonmonotonic reasoning with well founded semanticsen
dc.typeconference object
degois.publication.titleMIT Press
degois.publication.titleLOGIC PROGRAMMING : PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE
dspace.entity.typePublication
rcaap.rightsopenAccess

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura
Nome:
iclp91.pdf
Tamanho:
418.51 KB
Formato:
Adobe Portable Document Format
Ver/Abrir

Coleções

FCT: DI - Documentos de conferências internacionais