TY  - RPRT
T1  - Deductive planning and plan reuse in a command language environment 
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1992
A1  - Biundo,Susanne
A1  - Dengler,Dietmar
A1  - Koehler,Jana
Y1  - 2011/05/18
N2  - In this paper we introduce a deductive planning system currently being developed as the kernel of an intelligent help system. It consists of a deductive planner and a plan reuse component and with that provides planning from first as well as planning from second principles. Both components rely upon an interval-based temporal logic. The deductive formalisms realizing plan formation from formal specifications and the reuse of already existing plans respectively are presented and demonstrated by examples taken from an operating system's domain. 
KW  - Künstliche Intelligenz
KW  - Automatische Handlungsplanung
KW  - Deduktionssystem
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3594
ER  -