Negation as Failure using Tight Derivations for General Logic Programs.
Allen Van GelderPublished in: J. Log. Program. (1989)
Keyphrases
- general logic programs
- logic programs
- logic programming
- deductive databases
- fixpoint semantics
- normal logic programs
- fixpoint
- stable models
- lower bound
- autoepistemic logic
- answer sets
- answer set programming
- inference rules
- horn clauses
- causal theories
- inductive logic programming
- stable model semantics
- declarative semantics
- answer set semantics
- general purpose
- data complexity
- programming language
- classical logic
- datalog programs
- default logic
- strong equivalence
- integrity constraints