Characterization of Logic Program Revision as an Extension of Propositional Revision.
Nicolas SchwindKatsumi InouePublished in: CoRR (2015)
Keyphrases
- logic programs
- update operators
- logic programming
- belief revision
- answer sets
- loop formulas
- general logic programs
- propositional logic
- answer set programs
- stable models
- answer set programming
- logic programs with negation
- knowledge base
- fixpoint
- logic program updates
- epistemic states
- strong equivalence
- belief change
- minimal change
- computational properties
- horn clauses
- inductive logic programming
- belief update
- belief base
- autoepistemic logic
- normal logic programs
- background knowledge
- prolog programs
- revision operators
- deductive databases
- propositional theories
- minimal models
- semantics for logic programs
- inside outside algorithm
- existentially quantified
- disjunctive logic programming
- truth maintenance systems
- declarative semantics
- model theoretic
- default logic
- search space