caa a22 4500 467988579 CHVBK 20180323112538.0 cr unu---uuuuu 170328e19901001xx s 000 0 eng 10.1007/BF03037518 doi (NATIONALLICENCE)springer-10.1007/BF03037518 A new deductive approach to planning [Elektronische Daten] [Steffen Hölldobler, Josef Schneeberger] We introduce a new deductive approach to planning which is based on Horn clauses. Plans as well as situations are represented as terms and, thus, are first-class objects. We do neither need frame axioms nor state-literals. The only rule of inference is the SLDE-resolution rule, i.e. SLD-resolution, where the traditional unification algorithm has been replaced by anE-unification procedure. We exemplify the properties of our method such as forward and backward reasoning, plan checking, and the integration of general theories. Finally, we present the calculus and show that it is sound and complete. Ohmsha, Ltd. and Springer, 1990 Logic Programming nationallicence Deductive Planning nationallicence Equational Reasoning nationallicence Hölldobler Steffen International Computer Science Institute, 1947 Center Street, Suite 600, 94704, Berkeley, CA, USA aut Schneeberger Josef FG Intellektik, FB Informatik, Technische Hochschule Darmstadt, Alexanderstraße 10, 6100, Darmstadt, Germany (W) aut New Generation Computing Springer-Verlag 8/3(1990-10-01), 225-244 0288-3635 8:3<225 1990 8 354 https://doi.org/10.1007/BF03037518 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037518 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Hölldobler Steffen International Computer Science Institute, 1947 Center Street, Suite 600, 94704, Berkeley, CA, USA aut NATIONALLICENCE 700 1- Schneeberger Josef FG Intellektik, FB Informatik, Technische Hochschule Darmstadt, Alexanderstraße 10, 6100, Darmstadt, Germany (W) aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 8/3(1990-10-01), 225-244 0288-3635 8:3<225 1990 8 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer