Pages that link to "Item:Q1855238"
From MaRDI portal
The following pages link to A circumscriptive calculus of events (Q1855238):
Displaying 9 items.
- A unifying action calculus (Q543584) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- A comparison of point-based approaches to qualitative temporal reasoning (Q1606329) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- A Monotonic Formalism for Events and Systems of Events (Q4316300) (← links)
- Event Calculus Reasoning Through Satisfiability (Q4659506) (← links)
- (Q4713654) (← links)
- Ramifications: An Extension and Correspondence Result for the Event Calculus (Q5427252) (← links)