A Declarative Semantics for Depth-First Logic Programs.
Birgit ElblPublished in: J. Log. Program. (1999)
Keyphrases
- declarative semantics
- logic programs
- logic programming
- search algorithm
- answer sets
- stable models
- background knowledge
- fixpoint
- answer set programming
- partial order
- inductive logic programming
- deductive databases
- logic programming language
- fixpoint semantics
- search space
- nonmonotonic reasoning
- horn clauses
- operational semantics
- general purpose
- artificial intelligence