Add to ORKGIn this paper, a logical formalization of planning from second principles is proposed, which relies on a systematic decomposition of the planning process. Deductive inference processes with clearly defined semantics formalize planning from second principles. Plan modification is based on a deductive approach which yields provably correct modified plans. Reusable plans are retrieved from a dynamically created plan library using a description logic as a query language to the library. Apart form sequential plans, this approach enables a planners to effiently reuse and modify plans containing control structures like conditionals and iterations. (orig.)Available from TIB Hannover: RR 1812(94-13) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...