Richard Dapoigny, Patrick Barlatier. Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. In Jan Rauch, Zbigniew W. Ras, Petr Berka, Tapio Elomaa, editors, Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings. Volume 5722 of Lecture Notes in Computer Science, pages 171-180, Springer, 2009. [doi]
Abstract is missing.