Belief Revision of Logic Programs under Answer Set Semantics.
James P. DelgrandeTorsten SchaubHans TompitsStefan WoltranPublished in: KR (2008)
Keyphrases
- belief revision
- answer set semantics
- logic programs
- propositional logic
- answer sets
- logic programming
- normal logic programs
- default reasoning
- belief change
- answer set programming
- strong equivalence
- nonmonotonic reasoning
- abductive logic programming
- belief update
- stable models
- knowledge base
- fixpoint
- computational properties
- temporal logic
- minimal change
- propositional theories
- loop formulas
- semantics of logic programs
- update operators
- stable model semantics
- model theoretic
- dl programs
- nonmonotonic logics
- database systems