Pages that link to "Item:Q64672"

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

Displayed 50 items.

• ivs (Q64673) ‎ (← links)
• Interval logics and their decision procedures. I: An interval logic (Q671639) ‎ (← links)
• The complexity of querying indefinite data about linearly ordered domains (Q676427) ‎ (← links)
• Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class (Q679419) ‎ (← links)
• Counting endpoint sequences for interval orders and interval graphs (Q685648) ‎ (← links)
• A method of spatial reasoning based on qualitative trigonometry (Q1128486) ‎ (← links)
• Programming in metric temporal logic (Q1128978) ‎ (← links)
• An experiment in scheduling and planning of non-structured jobs: Lessons learned from artificial intelligence and operational research toolbox (Q1129307) ‎ (← links)
• Temporal constraint networks (Q1182161) ‎ (← links)
• Propagating belief functions through constraint systems (Q1183369) ‎ (← links)
• A non-reified temporal logic (Q1190791) ‎ (← links)
• From local to global consistency (Q1193482) ‎ (← links)
• Scheduling with neural networks -- the case of the Hubble Space Telescope (Q1200817) ‎ (← links)
• A uniform representation for time and space and their mutual constraints (Q1202659) ‎ (← links)
• Exploiting lattices in a theory of space and time (Q1202661) ‎ (← links)
• Constraint reasoning based on interval arithmetic: The tolerance propagation approach (Q1204867) ‎ (← links)
• Reasoning about qualitative temporal information (Q1204871) ‎ (← links)
• A spectrum of definitions for temporal model-based diagnosis (Q1274291) ‎ (← links)
• A unifying approach to temporal constraint reasoning (Q1274294) ‎ (← links)
• Remote Agent: to boldly go where no AI system has gone before (Q1274747) ‎ (← links)
• Generating multimedia briefings: coordinating language and illustration (Q1274755) ‎ (← links)
• A complete classification of tractability in Allen's algebra relative to subsets of basic relations (Q1277697) ‎ (← links)
• 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)
• A proof system for contact relation algebras (Q1576385) ‎ (← links)
• A new approach to cyclic ordering of 2D orientations using ternary relation algebras (Q1583517) ‎ (← 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)
• 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)
• Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics (Q1978312) ‎ (← 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)
• (Q4506253) ‎ (← links)
• Planning and reacting in uncertain and dynamic environments (Q4834398) ‎ (← links)