Minimal Model Semantics vs. Negation as Failure: A Comparison of Semantics.
Michael GelfondHalina PrzymusinskaTeodor C. PrzymusinskiPublished in: ISMIS (1988)
Keyphrases
- logic programming
- compositional semantics
- formal semantics
- logic programs
- deductive databases
- model theoretic
- object oriented
- semantic information
- conceptual model
- conceptual graphs
- metadata
- stable models
- operational semantics
- stable model semantics
- argumentation semantics
- extended logic programs
- semantics for logic programs
- containment of conjunctive queries
- relational databases