1. Carpenter, B.: Type-Logical Semantics. MIT Press, Cambridge (1997)
2. Lecture Notes in Computer Science;H Bay,2006
3. Chen, X., Xie, J., Ji, J., Sui, Z.: Toward open knowledge enabling for human-robot interaction. J. Hum.-Rob. Interact. 1(2), 100–117 (2012)
4. Dellaert, F., Fox, D., Burgard, W., Thrun, S.: Monte carlo localization for mobile robots. In: Proceedings of IEEE International Conference on Robotics and Automation, vol. 2, pp. 1322–1328 (1999)
5. Elfes, A.: Using occupancy grids for mobile robot perception and navigation. Computer 22(6), 46–57 (1989)