Multilevel Refinement Planning in an Interval-Based Temporal Logic

Werner Stephan, Susanne Biundo. Multilevel Refinement Planning in an Interval-Based Temporal Logic. In Carlos A. Pinto-Ferreira, Nuno J. Mamede, editors, Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA 95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings. Volume 990 of Lecture Notes in Computer Science, pages 483-487, Springer, 1995.

Abstract

Abstract is missing.