Statements (35)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
|
| gptkbp:describes |
events
change over time effects of events |
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:knowledge_representation logic programming |
| gptkbp:hasApplication |
planning
robotics diagnosis legal reasoning narrative understanding |
| gptkbp:hasConcept |
events
clipped declipped fluents happens holdsAt initiates terminates time points |
| https://www.w3.org/2000/01/rdf-schema#label |
event calculus
|
| gptkbp:implementedIn |
gptkb:Prolog
gptkb:Answer_Set_Programming |
| gptkbp:introduced |
gptkb:Marek_Sergot
gptkb:Robert_Kowalski |
| gptkbp:introducedIn |
1986
|
| gptkbp:publishedIn |
gptkb:A_Logic-based_Calculus_of_Events_(1986)
|
| gptkbp:relatedTo |
gptkb:situation_calculus
|
| gptkbp:usedFor |
reasoning about actions
reasoning about change temporal reasoning |
| gptkbp:uses |
gptkb:first-order_logic
|
| gptkbp:bfsParent |
gptkb:situation_calculus
|
| gptkbp:bfsLayer |
5
|