Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion.
Salem BenferhatDidier DuboisHenri PradePublished in: ECSQARU (2023)
Keyphrases
- possibilistic logic
- propositional logic
- plausible inference
- uncertain information
- knowledge base
- possibility theory
- partially ordered
- belief revision
- logic programming
- classical logic
- genetic algorithm
- sound and complete with respect
- logic programs
- incomplete information
- knowledge representation
- bayesian networks
- high level