|
Volumn , Issue , 2007, Pages 1948-1953
|
Property persistence in the situation calculus
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AUTOMATED REASONING;
FIRST-ORDER;
PARTIAL OBSERVABILITY;
REASONING ABOUT KNOWLEDGE;
REASONING TASKS;
SECOND ORDERS;
SITUATION CALCULUS;
ALGORITHMS;
ARTIFICIAL INTELLIGENCE;
CALCULATIONS;
|
EID: 77951985081
PISSN: 10450823
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (7)
|
References (6)
|