Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks

Meriem Hafsi, Richard Dapoigny, Philippe Bolon. Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks. In Songmao Zhang, Martin Wirsing, Zili Zhang, editors, Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings. Volume 9403 of Lecture Notes in Computer Science, pages 90-101, Springer, 2015. [doi]

Abstract

Abstract is missing.