Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:academicPaper |
ConGolog, a concurrent programming language based on the situation calculus
|
| gptkbp:basedOn |
gptkb:Golog
|
| gptkbp:designedFor |
agent programming
|
| gptkbp:developedBy |
gptkb:Raymond_Reiter
gptkb:Fritz_Pirri gptkb:Giuseppe_De_Giacomo gptkb:Hector_J._Levesque gptkb:Yves_Lespérance |
| gptkbp:fieldOfStudy |
gptkb:artificial_intelligence
automated planning |
| gptkbp:firstAppearance |
late 1990s
|
| https://www.w3.org/2000/01/rdf-schema#label |
ConGolog
|
| gptkbp:relatedTo |
gptkb:Golog
gptkb:IndiGolog |
| gptkbp:supports |
interrupts
concurrent processes exogenous actions |
| gptkbp:usedFor |
high-level agent control
|
| gptkbp:uses |
gptkb:situation_calculus
|
| gptkbp:writtenBy |
gptkb:Prolog
|
| gptkbp:bfsParent |
gptkb:Golog
|
| gptkbp:bfsLayer |
6
|