A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints

Devs

A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints | Read Paper on Bytez