On Deductive Planning and the Frame Problem

Steffen Hölldobler. On Deductive Planning and the Frame Problem. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning,International Conference LPAR 92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Volume 624 of Lecture Notes in Computer Science, pages 13-29, Springer, 1992.

Abstract

Abstract is missing.