Towards possibilistic logic programming

Volumn , Issue , 1991, Pages 581-595

  Dubois, Didier ^a   Lang, Jerome ^a   Prade, Henri ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; FUZZY LOGIC; FUZZY SETS; MANY VALUED LOGICS; MATHEMATICAL MODELS; THEOREM PROVING;

BOOLEAN PROPOSITIONS OR PREDICATES; POSSIBILISTIC LOGIC;

LOGIC PROGRAMMING;

EID: 0026289375     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)