A unifying semantics for time and events
From MaRDI portal
Publication:814548
DOI10.1016/j.artint.2003.02.001zbMath1085.68157OpenAlexW2040546296WikidataQ57931568 ScholiaQ57931568MaRDI QIDQ814548
Antony Galton, Brandon Bennett
Publication date: 7 February 2006
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2003.02.001
Related Items
Cites Work
- A logic-based calculus of events
- Towards a general theory of action and time
- Nonmonotonic reasoning in the framework of situation calculus
- Artificial intelligence today. Recent trends and development
- STRIPS: A new approach to the application of theorem proving to problem solving
- “Sometimes” and “not never” revisited
- The Complexity of Tree Automata and Logics of Programs
- An investigation of 'non-intermingling' principles in temporal logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item