The following pages link to (Q4028767):
Displaying 4 items.
- Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← links)
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning (Q821556) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
