Experimenting with power default reasoning

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1998, Pages 846-852

  Klavins, Eric ^a   Rounds, William C ^a   Zhang, Guo Qiang ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; ENCODING (SYMBOLS); FORMAL LOGIC; GRAPH THEORY; PROBLEM SOLVING; RANDOM PROCESSES;

KLEENE'S THREE-VALUED PROPOSITIONAL LOGIC; PROPOSITIONAL POWER DEFAULT REASONING (PDR);

ARTIFICIAL INTELLIGENCE;

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

References (14)