Actions and Events in Interval Temporal Logic
From MaRDI portal
Recommendations
Cited in
(44)- Towards a general theory of action and time
- Temporal logics in AI: semantical and ontological considerations
- Finding the longest common sub-pattern in sequences of temporal intervals
- A general framework for reasoning about change
- Representing Allen's properties, events, and processes
- The token reification approach to temporal reasoning
- Temporal properties of repetitive entities
- A survey on temporal logics for specifying and verifying real-time systems
- An event-based fragment of first-order logic over intervals
- Planning temporal events using point-interval logic
- Multi-person interaction and activity analysis: a synergistic track- and body-level analysis framework
- The problem of coincidence in a theory of temporal multiple recurrence
- Dyck algebras, interval temporal logic, and posets of intervals
- THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE
- ${\cal B}$ -Tropos
- A Correspondence between Temporal Description Logics
- scientific article; zbMATH DE number 4108727 (Why is no real title available?)
- An interval-based temporal relational calculus for events with gaps
- scientific article; zbMATH DE number 140396 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1249651 (Why is no real title available?)
- Event scheduling using allen's algebra
- Changing times: a causal theory of probabilistic temporal reasoning
- An integrated first-order theory of points and intervals over linear orders. I
- scientific article; zbMATH DE number 218548 (Why is no real title available?)
- Логика в онтологии процессов
- Системы временной логики I: моменты, истории, деревья
- An integrated first-order theory of points and intervals over linear orders. II
- Programming with annotated logics
- Constructing situations and time
- Finite-State Temporal Projection
- A Road Map of Interval Temporal Logics and Duration Calculi
- A Road Map of Interval Temporal Logics and Duration Calculi
- Temporal agent programs
- Temporal representation and reasoning in artificial intelligence: A review
- On the semantics of durational actions
- A resource-efficient event algebra
- A formal approach to identify structural patterns in RNA
- Unsupervised interaction-preserving discretization of multivariate data
- A unifying semantics for time and events
- Operators vs. arguments: The ins and outs of reification
- Trajectory databases: data models, uncertainty and complete query languages
This page was built for publication: Actions and Events in Interval Temporal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4316294)
