Declarative Semantics of Hypothetical Logic Programming with Negation as Failure.
Phan Minh DungPublished in: ELP (1992)
Keyphrases
- declarative semantics
- logic programming
- logic programs
- logic programming language
- deductive databases
- answer set programming
- nonmonotonic reasoning
- stable models
- programming language
- knowledge base
- answer sets
- procedural semantics
- knowledge representation and reasoning
- knowledge representation
- inductive logic programming
- operational semantics
- probabilistic reasoning
- fixpoint
- background knowledge
- default logic
- partial order
- databases