A Logical Semantics for Depth-First Prolog with Ground Negation.
James H. AndrewsPublished in: ILPS (1993)
Keyphrases
- logic programming
- logic programs
- logic programming language
- procedural semantics
- deductive databases
- model theoretic
- search algorithm
- logical properties
- stable models
- probabilistic knowledge
- answer set programming
- knowledge representation
- programming language
- extended logic programs
- constraint logic programming
- inductive logic programming
- search strategy
- formal semantics
- knowledge base
- definite clause
- declarative semantics
- nonmonotonic reasoning
- semantics for logic programs
- search tree
- logical framework
- logical rules
- semantically equivalent
- logical language
- derivation rules
- fixed point semantics
- compositional semantics
- fixpoint
- data model
- normal logic programs
- belief revision
- horn clauses
- default logic
- search space
- dynamic logic
- branch and bound search
- partial order