Pages that link to "Item:Q64672"

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

Displaying 50 items.

• A linear and discrete programming framework for representing qualitative knowledge (Q1309850) (← links)
• Selectivity estimation of temporal data manipulations (Q1310953) (← links)
• Tools for reformulating logical forms into zero-one mixed integer programs (Q1317155) (← links)
• On the computational complexity of temporal projection, planning, and plan validation (Q1321058) (← links)
• Automated theorem proving in temporal logic: \(T\)-resolution (Q1322389) (← links)
• Time representation: A taxonomy of temporal models (Q1329227) (← links)
• Representation of decision making processes in an ecological evaluation system (Q1339187) (← links)
• Real-time piloting of flexible manufacturing systems (Q1342013) (← links)
• On point-based temporal disjointness (Q1342229) (← links)
• Duration calculus: Logical foundations (Q1377324) (← links)
• Qualitative and quantitative simulation: bridging the gap (Q1389533) (← links)
• Satisfiability problems on intervals and unit intervals (Q1392209) (← links)
• Networks of probabilistic events in discrete time. (Q1399489) (← links)
• Processing disjunctions in temporal constraint networks (Q1402717) (← links)
• Twenty-one large tractable subclasses of Allen's algebra (Q1402726) (← links)
• Reasoning about causality between distributed nonatomic events (Q1402743) (← links)
• Directional relative position between objects in image processing: A comparison between fuzzy approaches. (Q1403753) (← links)
• Design of system for managing fuzzy relationships for integration of spatial data in querying. (Q1414774) (← links)
• Specification and verification of multimedia synchronization in duration calculus (Q1429426) (← links)
• A proof system for contact relation algebras (Q1576385) (← links)
• A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) (← links)
• Querying temporal and spatial constraint networks in PTIME (Q1589478) (← links)
• Combining topological and size information for spatial reasoning (Q1605277) (← links)
• A comparison of point-based approaches to qualitative temporal reasoning (Q1606329) (← links)
• On point-duration networks for temporal reasoning (Q1614860) (← links)
• Solving multi-granularity temporal constraint networks (Q1614864) (← links)
• An interval-based approach to model input uncertainty in M/M/1 simulation (Q1642756) (← links)
• An incremental approach for data quality measurement with insufficient information (Q1644812) (← links)
• LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
• Interval-valued rank in finite ordered sets (Q1686200) (← links)
• A note on the relation between categories and hyperstructures (Q1688654) (← links)
• Allen-like theory of time for tree-like structures (Q1706167) (← links)
• Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives (Q1706170) (← links)
• User-friendly temporal queries on historical knowledge bases (Q1706175) (← links)
• Finding the longest common sub-pattern in sequences of temporal intervals (Q1715886) (← links)
• Which fragments of the interval temporal logic HS are tractable in model checking? (Q1731517) (← links)
• Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
• On searching and indexing sequences of temporal intervals (Q1741320) (← links)
• Queries on ontologies with temporal dependences on Allen's extended interval logic (Q1743197) (← links)
• Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
• Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
• Qualitative and quantitative data envelopment analysis with interval data (Q1761874) (← links)
• Numerical representation of \(PQI\) interval orders (Q1766750) (← links)
• Relation algebras and their application in temporal and spatial reasoning (Q1781107) (← links)
• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
• Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty (Q1807606) (← links)
• Obtaining solutions in fuzzy constraint networks (Q1809384) (← links)
• Tesseral spatio-temporal reasoning for multi-dimensional data (Q1818123) (← links)
• On-line algorithms for networks of temporal constraints (Q1827276) (← links)