Browsing byAuthorWolter, D
Showing results 1 to 4 of 4
Issue Date | Title | Author(s) |
2016-01-01 | Connecting qualitative spatial and temporal representations by propositional closure | Wolter, D; Lee, JH |
2013-12-01 | StarVars-effective reasoning about relative directions | Lee, JH; Renz, J; Wolter, D |
2017-04-01 | A survey of qualitative spatial and temporal calculi: Algebraic and computational properties | Dylla, F; Lee, JH; Mossakowski, T; Schneider, T; Van Delden, A; Van De Ven, J; Wolter, D |
2013 | Towards Safe Navigation by Formalizing Navigation Rules | Kreutzmann, A; Wolter, D; Dylla, F; Lee, JH |