A unifying semantics for time and events

DOI10.1016/J.ARTINT.2003.02.001MaRDI QIDQ814548zbMATH OpenOpenAlexWikidataFDO

Authors Brandon Bennett, Antony Galton

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

Temporal logicSemantics

Mathematics Subject Classification ID

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

Recommendations

• Temporal logics in AI: semantical and ontological considerations
• Actions and Events in Interval Temporal Logic
• An interval logic for natural language semantics
• Reasoning about time in the situation calculus
• Time representation: A taxonomy of temporal models

Cites work

• scientific article; zbMATH DE number 4174380 (Why is no real title available?)
• scientific article; zbMATH DE number 3837992 (Why is no real title available?)
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 2044736 (Why is no real title available?)
• scientific article; zbMATH DE number 4119663 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• scientific article; zbMATH DE number 1444734 (Why is no real title available?)
• scientific article; zbMATH DE number 3309175 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A logic-based calculus of events
• An investigation of 'non-intermingling' principles in temporal logic
• Artificial intelligence today. Recent trends and development
• Nonmonotonic reasoning in the framework of situation calculus
• STRIPS: A new approach to the application of theorem proving to problem solving
• The Complexity of Tree Automata and Logics of Programs
• Towards a general theory of action and time
• “Sometimes” and “not never” revisited

Cited in

(3)

• Generalized modal satisfiability
• Semantic domains of timed event structures
• Event calculus and temporal action logics compared

This page was built for publication: A unifying semantics for time and events

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814548)