Semantics of Horn and disjunctive logic programs (Q1177928): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q109585677, #quickstatements; #temporary_batch_1706339005099 |
||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q109585677 / rank | |||
Normal rank | |||
Revision as of 08:03, 27 January 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics of Horn and disjunctive logic programs |
scientific article |
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
