A unifying semantics for time and events

DOI10.1016/J.ARTINT.2003.02.001zbMATH Open1085.68157OpenAlexW2040546296WikidataQ57931568 ScholiaQ57931568MaRDI QIDQ814548FDOQ814548

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

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

zbMATH Keywords

Temporal logicSemantics

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Towards a general theory of action and time
• STRIPS: A new approach to the application of theorem proving to problem solving
• Title not available (Why is that?)
• A logic-based calculus of events
• The Complexity of Tree Automata and Logics of Programs
• Title not available (Why is that?)
• “Sometimes” and “not never” revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nonmonotonic reasoning in the framework of situation calculus
• Artificial intelligence today. Recent trends and development
• Title not available (Why is that?)
• Title not available (Why is that?)
• An investigation of 'non-intermingling' principles in temporal logic
• Title not available (Why is that?)

Cited In (3)

• Semantic domains of timed event structures
• Generalized modal satisfiability
• 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)