Publicação
Default negation as explicit negation plus update
| dc.contributor.author | Kahle, Reinhard | |
| dc.contributor.institution | CMA - Centro de Matemática e Aplicações | |
| dc.contributor.pbl | RAS Institute of Philosophy | |
| dc.date.accessioned | 2022-01-22T03:41:26Z | |
| dc.date.available | 2022-01-22T03:41:26Z | |
| dc.date.issued | 2021 | |
| dc.description | UID/MAT/00297/2020 | |
| dc.description.abstract | We 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. | en |
| dc.description.version | publishersversion | |
| dc.description.version | published | |
| dc.format.extent | 18 | |
| dc.format.extent | 8507904 | |
| dc.identifier.doi | 10.21146/2074-1472-2021-27-1-64-81 | |
| dc.identifier.issn | 2074-1472 | |
| dc.identifier.other | PURE: 35844490 | |
| dc.identifier.other | PURE UUID: 5d624a41-2ffc-446b-9700-58ca6fd4567c | |
| dc.identifier.other | Scopus: 85121128102 | |
| dc.identifier.other | ORCID: /0000-0002-9064-877X/work/106793481 | |
| dc.identifier.uri | http://hdl.handle.net/10362/131327 | |
| dc.identifier.url | https://www.scopus.com/pages/publications/85121128102 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.subject | Default Negation | |
| dc.subject | Explicit Negation | |
| dc.subject | Logic Programming Update | |
| dc.subject | Philosophy | |
| dc.subject | Logic | |
| dc.title | Default negation as explicit negation plus update | en |
| dc.type | journal article | |
| degois.publication.firstPage | 64 | |
| degois.publication.issue | 1 | |
| degois.publication.lastPage | 81 | |
| degois.publication.title | Logical Investigations | |
| degois.publication.volume | 27 | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess |
Ficheiros
Principais
1 - 1 de 1
A carregar...
- Nome:
- 603_Article_Galley_pdf_823_1_10_20210812.pdf
- Tamanho:
- 8.11 MB
- Formato:
- Adobe Portable Document Format