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 7 items.
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← 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)