Hybridation de l'Answer Set Programming et de la théorie de Dempster Shafer.
Serge Sonfack SounchioLaurent GenesteBernard Kamsu-FoguemPublished in: IC (2021)
Keyphrases
- dempster shafer
- answer set programming
- belief functions
- answer sets
- logic programs
- logic programming
- evidential reasoning
- multi sensor
- constraint logic programming
- causal theories
- answer set programs
- decision theory
- stable model semantics
- stable models
- update semantics
- haplotype inference
- knowledge representation
- remote sensing
- data fusion
- orders of magnitude
- infrared
- disjunctive logic programming
- artificial intelligence