A New Form of Circumscription for Logic Programs (Extended Abstract).
Allen Van GelderPublished in: LPNMR (1990)
Keyphrases
- logic programs
- extended abstract
- logic programming
- answer sets
- answer set programming
- stable model semantics
- stable models
- loop formulas
- fixpoint
- logic programs with negation
- background knowledge
- general logic programs
- partial deduction
- minimal models
- normal logic programs
- inductive logic programming
- computational properties
- recursive programs
- answer set semantics
- fixpoint semantics
- extended logic programs
- prolog programs
- autoepistemic logic
- model theoretic
- term rewriting systems
- nonmonotonic reasoning
- knowledge base
- strong equivalence
- belief revision
- deductive databases
- reasoning tasks
- horn clauses