Coherence Approach to Logic Program Revision.
Li-Yan YuanJia-Huai YouPublished in: IEEE Trans. Knowl. Data Eng. (1998)
Keyphrases
- logic programs
- logic programming
- stable models
- fixpoint
- answer sets
- belief revision
- update operators
- logic program updates
- answer set programming
- normal logic programs
- minimal change
- knowledge base
- computational properties
- background knowledge
- general logic programs
- belief change
- abductive reasoning
- prolog programs
- extended logic programs
- loop formulas
- revision operators
- inside outside algorithm
- model theoretic
- declarative semantics
- belief update
- nonmonotonic reasoning
- inductive logic programming
- integrity constraints
- expressive power
- programming language