Pages that link to "Item:Q64672"

The following pages link to Maintaining knowledge about temporal intervals (Q64672):

Displaying 50 items.

• Fuzzy spatial relationship refinements based on minimum bounding rectangle variations (Q1853946) (← links)
• Efficient algorithms for qualitative reasoning about time (Q1855212) (← links)
• A rule-based video database system architecture (Q1857078) (← links)
• Video indexing and similarity retrieval by largest common subgraph detection using decision trees (Q1860118) (← links)
• A general framework for reasoning about change (Q1877375) (← links)
• Decidability of string graphs (Q1887714) (← links)
• CoLab: A hybrid knowledge representation and compilation laboratory (Q1897397) (← links)
• Lattice structure of temporal interval relations (Q1910463) (← links)
• Some considerations on nonlinear time intervals (Q1910894) (← links)
• Ordering events: Intervals are sufficient, more general sets are usually not necessary (Q1921301) (← links)
• Exception diagnosis in multiagent contract executions (Q1926581) (← links)
• Complementation in representable theories of region-based space (Q1949166) (← links)
• Implementation of the temporal reasoning mechanism in modern intelligent systems (Q1951947) (← links)
• Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics (Q1978312) (← links)
• Assessing component impairing at mission level (Q1997069) (← links)
• Range-consistent forbidden regions of Allen's relations (Q2011570) (← links)
• Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
• Models of representation of fuzzy temporal knowledge in databases of temporal series (Q2017542) (← links)
• A probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
• So, what exactly is a qualitative calculus? (Q2046028) (← links)
• From generating process views over inter-organizational business processes to achieving their temporal consistency (Q2047507) (← links)
• Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
• Universal solutions for temporal data exchange (Q2051817) (← links)
• Slicing techniques for temporal aggregation in spanning event streams (Q2051832) (← links)
• Branching interval algebra: an almost complete picture (Q2051838) (← links)
• An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)
• Reactive synthesis from interval temporal logic specifications (Q2062122) (← links)
• Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
• Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
• Description logics with concrete domains and general concept inclusions revisited (Q2096462) (← links)
• Mining maximal frequent rectangles (Q2103852) (← links)
• Qualitative-quantitative reasoning: thinking informally about formal things (Q2119955) (← links)
• Relation algebras of intervals (Q2171260) (← links)
• Model checking interval temporal logics with regular expressions (Q2182727) (← links)
• Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles (Q2188781) (← links)
• Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
• Cost-based temporal reasoning (Q2212079) (← links)
• Integer programming ensemble of temporal relations classifiers (Q2218417) (← links)
• Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms (Q2238592) (← links)
• Group planning with time constraints (Q2248560) (← links)
• Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
• The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
• Interval-based temporal functional dependencies: specification and verification (Q2251126) (← links)
• On the construction of an aggregated measure of the development of interval data (Q2259762) (← links)
• An unified CGA-based formal expression of spatio-temporal topological relations for Computation and analysis of geographic objects (Q2274728) (← links)
• On timeline-based games and their complexity (Q2310766) (← links)
• On coarser interval temporal logics (Q2321249) (← links)
• Unsupervised human activity analysis for intelligent mobile robots (Q2321282) (← links)
• FTClogic: fuzzy temporal constraint logic (Q2328912) (← links)