Negation as Failure Using Tight Derivations for General Logic Programs.
Allen Van GelderPublished in: SLP (1986)
Keyphrases
- general logic programs
- logic programs
- logic programming
- deductive databases
- normal logic programs
- fixpoint semantics
- stable models
- fixpoint
- lower bound
- answer sets
- answer set programming
- strong equivalence
- causal theories
- autoepistemic logic
- answer set semantics
- inference rules
- inductive logic programming
- horn clauses
- classical logic
- stable model semantics
- nonmonotonic reasoning
- partial order
- integrity constraints
- artificial intelligence