Structured Incremental Proof Planning

Stefan Gerberding, Brigitte Pientka. Structured Incremental Proof Planning. In Gerhard Brewka, Christopher Habel, Bernhard Nebel, editors, KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings. Volume 1303 of Lecture Notes in Computer Science, pages 63-74, Springer, 1997.

Abstract

Abstract is missing.