|
|||||
|
|
Linear Deductive Planning |
|
| Authors: | GROSSE, GERD HOLLDOBLER, STEFFEN SCHNEEBERGER, JOSEF |
| Affiliation: | Technische Hochschule Darmstadt, FB Informatik, FG Intellektik Alexanderstr. 10, 64283 Darmstadt, Germany. E-mail: grosse{at}intellektik.informatik.th-darmstadt.de Technische Universität Dresden, Fachgebiet Wissensverarbeitung, Fakultät Informatik 01062 Dresden, Germany. E-mail: sh{at}inf.tu-dresden.de Bayerisches Forschungszentrum für Wissensbasierte Systeme (FORWISS), Forschungsgruppe Wissenserwerb Am Weichselgarten 7, 91058 Erlangen, Germany. E-mail: jws{at}forwiss.uni-erlangen.de |
| Abstract: | |
| Keywords: | Equational logic programming linear connection method linear logic frame problem |
| 本文献已被 Oxford 等数据库收录！ | |