A correct logic programming computation of default logic extensions (Q679244)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A correct logic programming computation of default logic extensions |
scientific article; zbMATH DE number 1002303
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A correct logic programming computation of default logic extensions |
scientific article; zbMATH DE number 1002303 |
Statements
A correct logic programming computation of default logic extensions (English)
0 references
3 September 1997
0 references
The main contribution of this paper is to give an implementation of a subset of default logic into (normal) logic programs with standard operational semantics (SLDNF-resolution). First, a translation of a class of default theories into logic programs is discussed and then it is shown that the answer substitutions computed by such a logic program correspond to the extensions of the original default theory.
0 references
SLDNF-resolution
0 references
logic programming
0 references
default logic
0 references
implementation
0 references
