Josef Schneeberger

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)
Recently, three approaches to deductive planning were developed, which solve the technical frame problem without the need to state frame axioms explicitly. These approaches are based on the linear connection method, an equational Horn logic, and linear logic. At rst glance these approaches seem to be very diierent. In the linear connection method a(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)
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)
This paper presents a new approach for visualizing and exploring large networked information structures which may represent, for instance, linked information resources or metadata structures such as ontologies. An interactive matrix display is used for showing relations between concepts and concept hierarchies displayed along the two axes of a matrix. The(More)