Universität des Saarlandes. Multimodal and perceptive user interfaces, user modeling, ambient intelligence, embodied conversational agents, smart navigation systems, semantic web services, and resource-adaptive cognitive technologies, VERMOBIL.
First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation.
Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated into a constraint-logic framework to gain a strong sense of non-linearity.