Actions and Events in Interval Temporal Logic
From MaRDI portal
Publication:4316294
DOI10.1093/logcom/4.5.531zbMath0815.68100OpenAlexW4246695531MaRDI QIDQ4316294
G. A. Ferguson, James F. Allen
Publication date: 7 December 1994
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/4.5.531
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (30)
The problem of coincidence in a theory of temporal multiple recurrence ⋮ A general framework for reasoning about change ⋮ Event scheduling using allen's algebra ⋮ Логика в онтологии процессов ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Temporal properties of repetitive entities ⋮ Multi-person interaction and activity analysis: a synergistic track- and body-level analysis framework ⋮ Operators vs. arguments: The ins and outs of reification ⋮ A resource-efficient event algebra ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE ⋮ Mining layered grammar rules for action recognition ⋮ Stochastic representation and recognition of high-level group activities ⋮ Maintaining awareness using policies; Enabling agents to identify relevance of information ⋮ Finding the longest common sub-pattern in sequences of temporal intervals ⋮ Planning temporal events using point-interval logic ⋮ Constructing situations and time ⋮ Temporal agent programs ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Trajectory databases: data models, uncertainty and complete query languages ⋮ ${\cal B}$ -Tropos ⋮ Changing times: a causal theory of probabilistic temporal reasoning ⋮ Unsupervised interaction-preserving discretization of multivariate data ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Programming with Annotated Logics ⋮ Dyck Algebras, Interval Temporal Logic, and Posets of Intervals ⋮ A Correspondence between Temporal Description Logics ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi
This page was built for publication: Actions and Events in Interval Temporal Logic
