1. Allen J (1984) Towards a general theory of action and time. Artif Intel 23(2):123–154
2. Balbiani P, Condotta J-F, Del Cerro LF (1999) A new tractable subclass of the rectangle algebra. In Proc. of 16th Int’l Joint Conf. on Artificial Intelligence (IJCAI), vol 1, pp 442–447
3. Barrett C, Sebastiani R, Seshia SA, Tinelli C (2009) Satisfiability modulo theories. In A Biere, MJH Heule, H van Maaren, T Walsh (Eds), Handbook of satisfiability, ch 26, IOS Press, pp 825–885
4. Bhatia A, Maly MR, Kavraki LE, Vardi MY (2011) Motion planning with complex goals. Robot Autom Mag, IEEE, 18(3):55–64
5. Bohlken W, Neumann B, Hotz L, Koopmann P (2011) Ontology-based realtime activity monitoring using beam search. In Proc. of 8th Int’l Conf. on Computer Vision Systems