Towards a Systematic Account of Different Semantics for Logic Programs
| dc.creator | Hitzler, Pascal | |
| dc.date | 2005-02-22 | |
| dc.date.accessioned | 2026-07-07T03:22:34Z | |
| dc.date.available | 2026-07-07T03:22:34Z | |
| dc.description | In [Hitzler and Wendt 2002, 2005], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the well-founded semantics can formally be understood as a stratified version of the Fitting (or Kripke-Kleene) semantics. The constructions leading to this result, however, show a certain asymmetry which is not readily understood. We will study this situation here with the result that we will obtain a coherent picture of relations between different semantics for normal logic programs. | |
| dc.description | 20 pages | |
| dc.identifier | https://arxiv.org/abs/cs/0502088 | |
| dc.identifier | http://arxiv.org/abs/cs/0502088 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/32643 | |
| dc.subject | Artificial Intelligence | |
| dc.subject | Logic in Computer Science | |
| dc.subject | I.2.3; D.1.6; F.4.1 | |
| dc.title | Towards a Systematic Account of Different Semantics for Logic Programs | |
| dc.type | text |