A note on the Declarative reading(s) of Logic Programming
| dc.creator | Denecker, Marc | |
| dc.date | 2000-03-13 | |
| dc.date.accessioned | 2026-07-07T03:16:04Z | |
| dc.date.available | 2026-07-07T03:16:04Z | |
| dc.description | This paper analyses the declarative readings of logic programming. Logic programming - and negation as failure - has no unique declarative reading. One common view is that logic programming is a logic for default reasoning, a sub-formalism of default logic or autoepistemic logic. In this view, negation as failure is a modal operator. In an alternative view, a logic program is interpreted as a definition. In this view, negation as failure is classical objective negation. From a commonsense point of view, there is definitely a difference between these views. Surprisingly though, both types of declarative readings lead to grosso modo the same model semantics. This note investigates the causes for this. | |
| dc.description | 6 pages; poster at NMR2000, Breckenridge, April 2000 | |
| dc.identifier | https://arxiv.org/abs/cs/0003056 | |
| dc.identifier | http://arxiv.org/abs/cs/0003056 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/30216 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Artificial Intelligence | |
| dc.subject | I.2.3;I.2.4;F.4.1 | |
| dc.title | A note on the Declarative reading(s) of Logic Programming | |
| dc.type | text |