Merging Belief Bases Represented by Logic Programs.
Julien HuéOdile PapiniEric WürbelPublished in: ECSQARU (2009)
Keyphrases
- logic programs
- belief merging
- merging operators
- update operators
- logic programming
- belief base
- belief revision
- answer sets
- possibilistic logic
- stable models
- answer set programming
- fixpoint
- set theoretic
- logical properties
- revision operators
- computational properties
- horn clauses
- belief change
- model theoretic
- knowledge base