Planning via Model Checking in Deterministic Domains: Preliminary Report - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino. Planning via Model Checking in Deterministic Domains: Preliminary Report. In Fausto Giunchiglia, editor, Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA 98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings. Volume 1480 of Lecture Notes in Computer Science, pages 221-229, Springer, 1998. [doi]

This author has not been identified. Look up 'Mauro Di Manzo' in GoogleThis author has not been identified. Look up 'Enrico Giunchiglia' in GoogleThis author has not been identified. Look up 'Simone Ruffino' in Google

runs on WebDSL