Pages that link to "Item:Q64672"
From MaRDI portal
The following pages link to Maintaining knowledge about temporal intervals (Q64672):
Displaying 50 items.
- Composing cardinal direction relations (Q814537) (← links)
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
- Complexity classification in qualitative temporal constraint reasoning (Q814637) (← links)
- On the complemented disk algebra (Q817585) (← links)
- Interval extensions of orders and temporal approximation spaces (Q820474) (← links)
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning (Q821556) (← links)
- Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q821561) (← links)
- Managing concurrency in temporal planning using planner-scheduler interaction (Q834400) (← links)
- On topological consistency and realization (Q850454) (← links)
- An algebraic framework for temporal attribute characteristics (Q862835) (← links)
- Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty (Q862989) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Orders on intervals over partially ordered sets: extending Allen's algebra and interval graph results. (Q889876) (← links)
- On redundant topological constraints (Q891795) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- A collaborative scheduling approach for service-driven scientific workflow execution (Q980989) (← links)
- Trajectory databases: data models, uncertainty and complete query languages (Q988570) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- State-of-the-art on spatio-temporal information-based video retrieval (Q1005618) (← links)
- Maximal infinite-valued constraint languages (Q1014639) (← links)
- Determining the consistency of partial tree descriptions (Q1028903) (← links)
- Temporal similarity by measuring possibilistic uncertainty in CBR (Q1037857) (← links)
- Towards a general theory of action and time (Q1060013) (← links)
- Towards the minimum set of primitive relations in temporal logic (Q1101103) (← links)
- Constraint propagation with interval labels (Q1101265) (← links)
- Computational complexity of terminological reasoning in BACK (Q1104128) (← links)
- On relations between intervals (Q1123006) (← links)
- Default reasoning in semantic networks: A formalization of recognition and inheritance (Q1124380) (← 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)
