Ramifications: An Extension and Correspondence Result for the Event Calculus (Q5427252)
From MaRDI portal
scientific article; zbMATH DE number 5213008
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ramifications: An Extension and Correspondence Result for the Event Calculus |
scientific article; zbMATH DE number 5213008 |
Statements
Ramifications: An Extension and Correspondence Result for the Event Calculus (English)
0 references
19 November 2007
0 references
event calculus
0 references
ramifications
0 references
action language
0 references
narrative
0 references
