Vol-2372⫷ Vol-2373 ⫸Vol-2374
urn:nbn:de:0074-2373-0


Vol-2373/paper-41⫷Vol-2373/paper-42⫸Vol-2373/paper-43
Haitao ChengZongmin Ma 0001

Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL