Temporal logics in AI: semantical and ontological considerations

DOI10.1016/0004-3702(87)90052-XzbMath0633.68014OpenAlexW2005678616MaRDI QIDQ1096384

Yoav Shoham

Publication date: 1987

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(87)90052-x

zbMATH Keywords

temporal logicinterval logicKripke-semanticsrepresentation of temporal information

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Related Items (25)

The problem of coincidence in a theory of temporal multiple recurrence ⋮ Time representation: A taxonomy of temporal models ⋮ Event scheduling using allen's algebra ⋮ Motivated action theory: A formal theory of causal reasoning ⋮ Temporal properties of repetitive entities ⋮ Circumscriptive semantics for updating knowledge bases ⋮ Operators vs. arguments: The ins and outs of reification ⋮ Representing Allen's properties, events, and processes ⋮ Chronological ignorance: Experiments in nonmonotonic temporal reasoning ⋮ The token reification approach to temporal reasoning ⋮ Dynamical temporal interpretation contexts for temporal abstraction ⋮ Propositional reasoning that tracks probabilistic reasoning ⋮ The topology of boundaries ⋮ A framework for knowledge-based temporal abstraction ⋮ A non-reified temporal logic ⋮ Planning temporal events using point-interval logic ⋮ Interval-based temporal functional dependencies: specification and verification ⋮ The descriptive component of a hybrid knowledge representation language ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Knowledge-based temporal interpolation ⋮ Knowledge-based spatiotemporal linear abstraction ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches ⋮ A logic for inductive probabilistic reasoning ⋮ First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment ⋮ Automated theorem proving in temporal logic: \(T\)-resolution

Cites Work

• Towards a general theory of action and time
• Intervals and tenses
• Interval semantics for tense logic: Some remarks
• A propositional modal logic of time intervals
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal logics in AI: semantical and ontological considerations