A unifying semantics for time and events

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

zbMATH Keywords

SemanticsTemporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items

Event calculus and temporal action logics compared ⋮ Generalized modal satisfiability

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