AGM-Style Belief Revision of Logic Programs under Answer Set Semantics.
James P. DelgrandePavlos PeppasStefan WoltranPublished in: LPNMR (2013)
Keyphrases
- belief revision
- answer set semantics
- logic programs
- propositional logic
- answer sets
- logic programming
- belief change
- default reasoning
- normal logic programs
- answer set programming
- minimal change
- nonmonotonic reasoning
- fixpoint
- knowledge base
- strong equivalence
- abductive logic programming
- possibilistic logic
- stable models
- belief update
- computational properties
- model theoretic
- temporal logic
- loop formulas
- possibility theory
- semantics of logic programs
- classical logic
- reasoning tasks
- expert systems