|
Volumn 1, Issue , 1996, Pages 652-657
|
Formalizing narratives using nested circumscription
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
DIFFERENTIATION (CALCULUS);
FORMAL LANGUAGES;
FORMAL LOGIC;
LOGIC PROGRAMMING;
THEOREM PROVING;
EVENT CALCULUS;
NARRATIVES;
NESTED ABNORMALITY THEORY;
NESTED CIRCUMSCRIPTION;
NONMONOTONIC REASONING;
SITUATION CALCULUS AXIOMS;
TEMPORAL REASONING;
KNOWLEDGE REPRESENTATION;
|
EID: 0030368580
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (2)
|
References (0)
|