On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies.
Salem BenferhatSafa YahiHabiba DriasPublished in: IJCAI (2007)
Keyphrases
- possibilistic logic
- belief base
- propositional logic
- possibility theory
- belief revision
- knowledge base
- merging operators
- uncertain information
- logic programming
- partially ordered
- belief merging
- logical properties
- classical logic
- optimal policy
- logical framework
- artificial intelligence
- incomplete information
- logic programs
- multi dimensional
- general purpose
- object oriented
- case based reasoning
- high level
- machine learning