Pages that link to "Item:Q3452504"
From MaRDI portal
The following pages link to Reasoning about temporal relations (Q3452504):
Displayed 28 items.
- Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
- Reasoning about cardinal directions between extended objects: the NP-hardness result (Q420805) (← links)
- Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces (Q464617) (← links)
- Interval graph representation with given interval and intersection lengths (Q491160) (← links)
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Complexity classification in qualitative temporal constraint reasoning (Q814637) (← links)
- Reasoning about cardinal directions between extended objects (Q991028) (← links)
- Maximal infinite-valued constraint languages (Q1014639) (← links)
- Determining the consistency of partial tree descriptions (Q1028903) (← links)
- Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
- Implementation of the temporal reasoning mechanism in modern intelligent systems (Q1951947) (← links)
- Branching interval algebra: an almost complete picture (Q2051838) (← links)
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms (Q2238592) (← links)
- Temporal reasoning about fuzzy intervals (Q2389652) (← links)
- Extending partial representations of interval graphs (Q2408095) (← links)
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (Q2457656) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
- Satisfying constraint sets through convex envelopes (Q3429327) (← links)
- Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Q3510808) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- Parameterized Complexity of the Workflow Satisfiability Problem (Q4689628) (← links)
- (Q5005145) (← links)
- (Q5079779) (← links)
- Constraint Satisfaction Problems with Infinite Templates (Q5504704) (← links)
- (Q6060092) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)