Reasoning in inconsistent stratified knowledge bases

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 1996, Pages 184-189

  Benferhat, Salem ^a   Dubois, Didier ^a   Prade, Henri ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; INFERENCE ENGINES; SET THEORY;

ARGUMENTATION; INCONSISTENCY; POSSIBILITY THEORY; REASONING; UNCERTAINTY;

KNOWLEDGE BASED SYSTEMS;

EID: 0029707805     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)