Pages that link to "Item:Q64672"
From MaRDI portal
The following pages link to Maintaining knowledge about temporal intervals (Q64672):
Displaying 50 items.
- Autonomous robot navigation using human spatial concepts (Q4952975) (← links)
- (Q5005145) (← links)
- (Q5015270) (← links)
- (Q5020581) (← links)
- Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions (Q5057036) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- Extracting interval temporal logic rules: a first approach (Q5079773) (← links)
- Algebraic operators for processing sets of temporal intervals in relational databases (Q5079778) (← links)
- Deciding the consistency of branching time interval networks (Q5079779) (← links)
- A game-theoretic approach to timeline-based planning with uncertainty (Q5079781) (← links)
- Learning qualitative constraint networks (Q5079789) (← links)
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations (Q5098711) (← links)
- A Distributed Approach to LARS Stream Reasoning (System paper) (Q5108515) (← links)
- (Q5109523) (← links)
- Is Time Fuzzy? (Q5126370) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
- Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (Q5140026) (← links)
- A Fuzzy Set Approach to Expressing Preferences in Spatial Reasoning (Q5172614) (← links)
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503) (← links)
- ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH (Q5408348) (← links)
- A time Petri net-based approach for synchronization, analysis and management of multimedia scenarios (Q5430127) (← links)
- Analyse de sensibilité pour les problèmes linéaires en variables 0-1 (Q5479828) (← links)
- Constraint Satisfaction Problems with Infinite Templates (Q5504704) (← links)
- MINING FREQUENT TEMPORAL PATTERNS IN INTERVAL SEQUENCES (Q5505726) (← links)
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom (Q5870532) (← links)
- A Logic of East and West (Q5881809) (← 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)
- Diagrammatic representation for interval arithmetic (Q5929745) (← links)
- From binary temporal relations to non-binary ones and back (Q5941132) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
- Fuzzy temporal constraint logic: A valid resolution principle (Q5946476) (← links)
- A logical framework for visual information modeling and management (Q5952825) (← links)
- Circular-arc graph coloring: On chords and circuits in the meeting graph (Q5953338) (← links)
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (Q5958761) (← links)
- Monitoring first-order interval logic (Q6041276) (← links)
- A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS (Q6041341) (← links)
- \texttt{TIRPCLo}: efficient and complete mining of time intervals-related patterns (Q6052260) (← links)
- (Q6060092) (← links)
- (Q6060097) (← links)
- (Q6060098) (← links)
- Complexity of qualitative timeline-based planning (Q6060102) (← links)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
- Representation and processing of instantaneous and durative temporal phenomena (Q6102256) (← links)
- Interval graphs with side (and size) constraints (Q6102297) (← links)
- Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling (Q6104764) (← links)
- Solving infinite-domain CSPs using the patchwork property (Q6157211) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)
- Edge colourings and qualitative representations of chromatic algebras (Q6171755) (← links)