A general framework for reasoning about change
From MaRDI portal
Publication:1877375
DOI10.1007/BF03037474zbMath1089.68633MaRDI QIDQ1877375
Publication date: 7 September 2004
Published in: New Generation Computing (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- A logic-based calculus of events
- On constructing instants from events
- Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change
- A critical examination of Allen's theory of action and time
- Towards a general theory of action and time
- Free construction of time from events
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- The logical approach to temporal reasoning
- Concerted instant-interval temporal semantics. I: Temporal ontologies
- Actions and Events in Interval Temporal Logic
- Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
- Reconciling the event calculus with the situation calculus
- An investigation of 'non-intermingling' principles in temporal logic
- Temporal defeasible reasoning
This page was built for publication: A general framework for reasoning about change
