Semantics of Horn and disjunctive logic programs (Q1177928)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 22499
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Semantics of Horn and disjunctive logic programs |
scientific article; zbMATH DE number 22499 |
Statements
Semantics of Horn and disjunctive logic programs (English)
0 references
26 June 1992
0 references
A unified theory for the semantics of Horn and disjunctive logic programs is developed. The authors extend the fixpoint semantics and the operational or procedural semantics proposed in \textit{M. H. van Emden}, \textit{R. A. Kowalski} [J. ACM 23(4), 733-742 (1976; Zbl 0339.68004)] and \textit{K. R. Apt}, \textit{M. H. van Emden} [ACM 29(3), 841-862 (1982; Zbl 0483.68004)] for Horn programs, to include the class of disjunctive logic programs, and prove the equivalence of the two semantics using techniques similar to the ones used in the above mentioned papers.
0 references
semantics of Horn and disjunctive logic programs
0 references
0.8508700728416443
0 references
0.8093670010566711
0 references
