Patrick Barlatier, Richard Dapoigny. A Theorem Prover with Dependent Types for Reasoning about Actions. In Amedeo Cesta, Nikos Fakotakis, editors, STAIRS 2008 - Proceedings of the Fourth Starting AI Researchers Symposium, Patras, Greece, 21-25 July, 2008. Volume 179 of Frontiers in Artificial Intelligence and Applications, pages 12-23, IOS Press, 2008.
Abstract is missing.