research
∙
02/22/2020
Arc-Consistency computes the minimal binarised domains of an STP. Use of the result in a TCSP solver, in a TCSP-based job shop scheduler, and in generalising Dijkstra's one-to-
TCSPs (Temporal Constraint Satisfaction Problems), as defined in [Dechte...
share
research
∙
02/22/2020
A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints
The aim of this work is to provide a family of qualitative theories for ...
research
∙
02/22/2020
