Pages that link to "Item:Q2457656"
From MaRDI portal
The following pages link to Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (Q2457656):
Displaying 10 items.
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← links)
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class (Q679419) (← links)
- A comparison of point-based approaches to qualitative temporal reasoning (Q1606329) (← links)
- Efficient algorithms for qualitative reasoning about time (Q1855212) (← links)
- Implementation of the temporal reasoning mechanism in modern intelligent systems (Q1951947) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (Q2457656) (← links)
- Qualitative relations between moving objects in a network changing its topological relations (Q2482182) (← links)
