Foundations for the Situation Calculus
GPTKB entity
Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:author |
gptkb:Raymond_Reiter
|
| gptkbp:citation |
many works in knowledge representation
|
| gptkbp:doi |
10.1016/S0004-3702(01)00069-9
|
| https://www.w3.org/2000/01/rdf-schema#label |
Foundations for the Situation Calculus
|
| gptkbp:language |
English
|
| gptkbp:publicationYear |
2001
|
| gptkbp:publishedIn |
gptkb:artificial_intelligence
|
| gptkbp:topic |
gptkb:artificial_intelligence
gptkb:situation_calculus reasoning about action |
| gptkbp:bfsParent |
gptkb:Yves_Lespérance
|
| gptkbp:bfsLayer |
7
|