Pages that link to "Item:Q64672"
From MaRDI portal
The following pages link to Maintaining knowledge about temporal intervals (Q64672):
Displaying 50 items.
- A Logical Approach to Data-Aware Automated Sequence Generation (Q2889859) (← links)
- On begins, meets and before (Q2909218) (← links)
- Temporal Patterns in Polyphony (Q2914438) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- A propositional logic of temporal connectives (Q2987734) (← links)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
- Granular Structures Induced by Interval Sets and Rough Sets (Q3300255) (← links)
- The Arthur Prior memorial conference, Christchurch, 1989 (Q3352992) (← links)
- (Q3384161) (← links)
- An intensional approach to qualitative and quantitative periodicity-dependent temporal constraints (Q3393060) (← links)
- Satisfying constraint sets through convex envelopes (Q3429327) (← links)
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (Q3449232) (← links)
- POSSIBILISTIC EVALUATION OF SETS (Q3449250) (← links)
- WD-PWS: THE FIRST SEMANTICS FOR QUERYING OVER PROBABILISTIC DATA STREAMS WITH CONTINUOUS DISTRIBUTIONS (Q3449269) (← links)
- No Need Knowing Numerous Neighbours (Q3449630) (← links)
- Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios (Q3454318) (← links)
- Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method (Q3455761) (← links)
- Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Q3510808) (← links)
- On the Dynamics of Total Preorders: Revising Abstract Interval Orders (Q3524916) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- A Correspondence between Temporal Description Logics (Q3643271) (← links)
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (Q3644762) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning (Q3647301) (← links)
- (Q4028785) (← links)
- Event scheduling using allen's algebra (Q4256052) (← links)
- From points to intervals (Q4299134) (← links)
- Step by step – Building representations in algebraic logic (Q4338323) (← links)
- Complexity studies of a temporal constraint propagation algorithm: a statistical analysis (Q4421240) (← links)
- Handling contingency in temporal constraint networks: from consistency to controllabilities (Q4421283) (← links)
- Design and comparison of lattices of topological relations for spatial representation and reasoning (Q4474978) (← links)
- An interval-based temporal algebra based on binary encoding of point relations (Q4506253) (← links)
- (Q4580237) (← links)
- An Ontological Framework for Characterizing Hydrological Flow Processes (Q4580240) (← links)
- (Q4580322) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- A probabilistic logic programming event calculus (Q4592979) (← links)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
- THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM (Q4637953) (← links)
- I2QFD: A blackboard-based multiagent system for supporting concurrent engineering projects (Q4807194) (← links)
- Planning and reacting in uncertain and dynamic environments (Q4834398) (← links)
- Automated deduction in a graphical temporal logic (Q4868233) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Uncertantty in temporal representation and reasoning (Q4935388) (← links)