Default negation as explicit negation plus update

Detalhes bibliográficos
Autor(a) principal: Kahle, Reinhard
Data de Publicação: 2021
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/131327
Resumo: UID/MAT/00297/2020
id RCAP_7f621f6a6ed32ad5644d688619bb2631
oai_identifier_str oai:run.unl.pt:10362/131327
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str
spelling Default negation as explicit negation plus updateDefault NegationExplicit NegationLogic Programming UpdatePhilosophyLogicUID/MAT/00297/2020We argue that under the stable model semantics default negation can be read as explicit negation with update. We show that dynamic logic programming which is based on default negation, even in the heads, can be interpreted in a variant of updates with explicit negation only. As corollaries, we get an easy description of default negation in generalized and normal logic programming where initially negated literals are updated. These results are discussed with respect to the understanding of negation in logic programming.CMA - Centro de Matemática e AplicaçõesRUNKahle, Reinhard2022-01-22T03:41:26Z20212021-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article18application/pdfhttp://hdl.handle.net/10362/131327eng2074-1472PURE: 35844490https://doi.org/10.21146/2074-1472-2021-27-1-64-81info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-10T16:04:30ZPortal AgregadorONG
dc.title.none.fl_str_mv Default negation as explicit negation plus update
title Default negation as explicit negation plus update
spellingShingle Default negation as explicit negation plus update
Kahle, Reinhard
Default Negation
Explicit Negation
Logic Programming Update
Philosophy
Logic
title_short Default negation as explicit negation plus update
title_full Default negation as explicit negation plus update
title_fullStr Default negation as explicit negation plus update
title_full_unstemmed Default negation as explicit negation plus update
title_sort Default negation as explicit negation plus update
author Kahle, Reinhard
author_facet Kahle, Reinhard
author_role author
dc.contributor.none.fl_str_mv CMA - Centro de Matemática e Aplicações
RUN
dc.contributor.author.fl_str_mv Kahle, Reinhard
dc.subject.por.fl_str_mv Default Negation
Explicit Negation
Logic Programming Update
Philosophy
Logic
topic Default Negation
Explicit Negation
Logic Programming Update
Philosophy
Logic
description UID/MAT/00297/2020
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-01-01T00:00:00Z
2022-01-22T03:41:26Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/131327
url http://hdl.handle.net/10362/131327
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2074-1472
PURE: 35844490
https://doi.org/10.21146/2074-1472-2021-27-1-64-81
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 18
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1777303054591197184

Registros relacionados