Learn More
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(More)
The treatment of exacerbations of pulmonary infections due to Pseudomonas aeruginosa in patients with cystic fibrosis is unsatisfactory. Serum concentrations and urinary excretion of cephalexin, epicillin, azlocillin, ticarcillin, trimethoprim-sulfa and gentamicin useful in the treatment of these infections were investigated in cystic fibrosis patients(More)
In this study, we investigated whether capillary plasma catecholamines can be used as a suitable substitute for arterial catecholamines. Analysis was done radioenzymatically. Catecholamine concentrations were not different in arterial and simultaneously collected "arterialized" (warmed foot) capillary plasma obtained by heel-prick from 18 neonatal intensive(More)
Recently three approaches for solving planning problems deductively were proposed each of which does not require to state frame axioms explicitly. These approaches are based on the linear connection method, an equational logic programming language, and on linear logic. In this paper, we briefly review these approaches and show that they are equivalent.(More)