Fixpoint 3-valued semantics for autoepistemic logic

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1998, Pages 840-845

  Denecker, Marc ^a   Marek, Victor ^a   Truszczynski, Miroslaw ^a  

^a Dep of Computer Science   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL OPERATORS; MODAL ANALYSIS;

AUTOEPISTEMIC LOGIC (AEL); FIXPOINT THREE VALUED SEMANTICS; THREE VALUED FITTING KUNEN SEMANTICS;

COMPUTATIONAL LINGUISTICS;

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

References (16)