Emil Vassev, Mike Hinchey. Efficient Reasoning with Ambient Trees for Space Exploration. In Phan Cong Vinh, Nguyen Manh Hung, Nguyen Thanh Tung, Junichi Suzuki, editors, Context-Aware Systems and Applications - First International Conference, ICCASA 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised Selected Papers. Volume 109 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 176-182, Springer, 2012. [doi]
Abstract is missing.