Possibilistic logic: From nonmonotonicity to logic programming - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1993

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.

Dates et versions

hal-04057366 , version 1 (04-04-2023)

Identifiants

Citer

Salem Benferhat, Didier Dubois, Henri Prade. Possibilistic logic: From nonmonotonicity to logic programming. European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 1993), Nov 1993, Granada, Spain. pp.17--24, ⟨10.1007/BFb0028177⟩. ⟨hal-04057366⟩
3 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More