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.
@inproceedings{BarlatierD08,
title = {A Theorem Prover with Dependent Types for Reasoning about Actions},
author = {Patrick Barlatier and Richard Dapoigny},
year = {2008},
researchr = {https://researchr.org/publication/BarlatierD08},
cites = {0},
citedby = {0},
pages = {12-23},
booktitle = {STAIRS 2008 - Proceedings of the Fourth Starting AI Researchers Symposium, Patras, Greece, 21-25 July, 2008},
editor = {Amedeo Cesta and Nikos Fakotakis},
volume = {179},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-893-9},
}