A Brief History of Updates of Answer-Set Programs
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2022 |
| Outros Autores: | |
| 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/150577 |
Resumo: | Funding Information: The authors would like to thank José Alferes, Martin Baláz, Federico Banti, Antonio Brogi, Martin Homola, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, and Theresa Swift, with whom they worked on the topic of this paper over the years, as well as Ricardo Gonçalves and Matthias Knorr for valuable comments on an earlier draft of this paper. The authors would also like to thank the anonymous reviewers for their insightful comments and suggestions, which greatly helped us improve this paper. Publisher Copyright: © The Author(s), 2022. Published by Cambridge University Press. |
| id |
RCAP_3095ae8c5f71045a3f46e812106f1866 |
|---|---|
| oai_identifier_str |
oai:run.unl.pt:10362/150577 |
| network_acronym_str |
RCAP |
| network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
| repository_id_str |
7160 |
| spelling |
A Brief History of Updates of Answer-Set Programsanswer-set programmingbelief changebelief updateKEYWORDS:logic programmingSoftwareTheoretical Computer ScienceHardware and ArchitectureComputational Theory and MathematicsArtificial IntelligenceFunding Information: The authors would like to thank José Alferes, Martin Baláz, Federico Banti, Antonio Brogi, Martin Homola, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, and Theresa Swift, with whom they worked on the topic of this paper over the years, as well as Ricardo Gonçalves and Matthias Knorr for valuable comments on an earlier draft of this paper. The authors would also like to thank the anonymous reviewers for their insightful comments and suggestions, which greatly helped us improve this paper. Publisher Copyright: © The Author(s), 2022. Published by Cambridge University Press.Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs) or, in other words, the problem of characterising the result of bringing up-to-date a logic program when the world it describes changes. Whereas the state-of-the-art approaches are guided by the same basic intuitions and aspirations as belief updates in the context of classical logic, they build upon fundamentally different principles and methods, which have prevented a unifying framework that could embrace both belief and rule updates. In this paper, we will overview some of the main approaches and results related to answer-set programming updates, while pointing out some of the main challenges that research in this topic has faced.NOVALincsDI - Departamento de InformáticaRUNLeite, JoãoSlota, Martin2023-03-14T22:45:11Z2022-03-222022-03-22T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article54application/pdfhttp://hdl.handle.net/10362/150577eng1471-0684PURE: 55730527https://doi.org/10.1017/S1471068422000060info: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:RCAAP2024-03-11T05:32:37Zoai:run.unl.pt:10362/150577Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:54:11.888802Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
| dc.title.none.fl_str_mv |
A Brief History of Updates of Answer-Set Programs |
| title |
A Brief History of Updates of Answer-Set Programs |
| spellingShingle |
A Brief History of Updates of Answer-Set Programs Leite, João answer-set programming belief change belief update KEYWORDS: logic programming Software Theoretical Computer Science Hardware and Architecture Computational Theory and Mathematics Artificial Intelligence |
| title_short |
A Brief History of Updates of Answer-Set Programs |
| title_full |
A Brief History of Updates of Answer-Set Programs |
| title_fullStr |
A Brief History of Updates of Answer-Set Programs |
| title_full_unstemmed |
A Brief History of Updates of Answer-Set Programs |
| title_sort |
A Brief History of Updates of Answer-Set Programs |
| author |
Leite, João |
| author_facet |
Leite, João Slota, Martin |
| author_role |
author |
| author2 |
Slota, Martin |
| author2_role |
author |
| dc.contributor.none.fl_str_mv |
NOVALincs DI - Departamento de Informática RUN |
| dc.contributor.author.fl_str_mv |
Leite, João Slota, Martin |
| dc.subject.por.fl_str_mv |
answer-set programming belief change belief update KEYWORDS: logic programming Software Theoretical Computer Science Hardware and Architecture Computational Theory and Mathematics Artificial Intelligence |
| topic |
answer-set programming belief change belief update KEYWORDS: logic programming Software Theoretical Computer Science Hardware and Architecture Computational Theory and Mathematics Artificial Intelligence |
| description |
Funding Information: The authors would like to thank José Alferes, Martin Baláz, Federico Banti, Antonio Brogi, Martin Homola, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, and Theresa Swift, with whom they worked on the topic of this paper over the years, as well as Ricardo Gonçalves and Matthias Knorr for valuable comments on an earlier draft of this paper. The authors would also like to thank the anonymous reviewers for their insightful comments and suggestions, which greatly helped us improve this paper. Publisher Copyright: © The Author(s), 2022. Published by Cambridge University Press. |
| publishDate |
2022 |
| dc.date.none.fl_str_mv |
2022-03-22 2022-03-22T00:00:00Z 2023-03-14T22:45:11Z |
| 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/150577 |
| url |
http://hdl.handle.net/10362/150577 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
1471-0684 PURE: 55730527 https://doi.org/10.1017/S1471068422000060 |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
54 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 |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
| repository.mail.fl_str_mv |
|
| _version_ |
1799138131275939840 |