Revision by Expansion in Logic Programs.
Cees WitteveenCatholijn M. JonkerPublished in: ECAI Workshop on Knowledge Representation and Reasoning (1992)
Keyphrases
- logic programs
- logic programming
- fixpoint
- answer sets
- answer set programming
- computational properties
- background knowledge
- update operators
- partial deduction
- stable models
- belief revision
- normal logic programs
- belief change
- inductive logic programming
- stable model semantics
- abductive reasoning
- semantics of logic programs
- belief update
- prolog programs
- revision operators
- recursive programs
- model theoretic
- monotonicity constraints
- functional programs
- integrity constraints