Characterization of logic program revision as an extension of propositional revision.
Nicolas SchwindKatsumi InouePublished in: Theory Pract. Log. Program. (2016)
Keyphrases
- logic programs
- update operators
- logic programming
- answer sets
- general logic programs
- answer set programs
- loop formulas
- belief revision
- knowledge base
- stable models
- horn clauses
- answer set programming
- propositional theories
- fixpoint
- logic program updates
- inductive logic programming
- logic programs with negation
- minimal change
- epistemic states
- belief change
- normal logic programs
- propositional logic
- belief update
- autoepistemic logic
- revision operators
- default logic
- prolog programs
- stable model semantics
- belief base
- nonmonotonic reasoning
- model checking
- inside outside algorithm