Pages that link to "Item:Q4316294"
From MaRDI portal
The following pages link to Actions and Events in Interval Temporal Logic (Q4316294):
Displaying 30 items.
- The problem of coincidence in a theory of temporal multiple recurrence (Q266873) (← links)
- Mining layered grammar rules for action recognition (Q408923) (← links)
- Stochastic representation and recognition of high-level group activities (Q408925) (← links)
- Maintaining awareness using policies; Enabling agents to identify relevance of information (Q414897) (← links)
- Constructing situations and time (Q543532) (← links)
- A resource-efficient event algebra (Q608343) (← links)
- Unsupervised interaction-preserving discretization of multivariate data (Q736501) (← links)
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- Trajectory databases: data models, uncertainty and complete query languages (Q988570) (← links)
- Finding the longest common sub-pattern in sequences of temporal intervals (Q1715886) (← links)
- A general framework for reasoning about change (Q1877375) (← links)
- Temporal properties of repetitive entities (Q2386353) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- Multi-person interaction and activity analysis: a synergistic track- and body-level analysis framework (Q2642427) (← links)
- Dyck Algebras, Interval Temporal Logic, and Posets of Intervals (Q2827488) (← links)
- THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE (Q3225378) (← links)
- ${\cal B}$ -Tropos (Q3602948) (← links)
- A Correspondence between Temporal Description Logics (Q3643271) (← links)
- Event scheduling using allen's algebra (Q4256052) (← links)
- Changing times: a causal theory of probabilistic temporal reasoning (Q4421282) (← links)
- (Q4580322) (← links)
- Логика в онтологии процессов (Q5059698) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- (Q5109523) (← links)
- Programming with Annotated Logics (Q5213779) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
- Temporal agent programs (Q5940961) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
