Possibilistic logic: From nonmonotonicity to logic programming
Résumé
Links between preferential semantics of possibilistic logic, semantics of prioritized circumscription, and one of the semantics used in logic programming, namely the perfect model semantics of stratified logic programs, are presented.