Generalized DEL-Sequents - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Generalized DEL-Sequents. In Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin, editors, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Volume 7519 of Lecture Notes in Computer Science, pages 54-66, Springer, 2012. [doi]

The following publications are possibly variants of this publication:

DEL-sequents for progressionGuillaume Aucher. jancl, 21(3-4):289-321, 2011. [doi]

DEL-sequents for regression and epistemic planningGuillaume Aucher. jancl, 22(4):337-367, 2012. [doi]

Tableau Method and NEXPTIME-Completeness of DEL-SequentsGuillaume Aucher, Bastien Maubert, François Schwarzentruber. ENTCS, 278:17-30, 2011. [doi]

runs on WebDSL