Projects

It is widely believed that future automatic services will come with interfaces that support conversational interaction. The interaction with devices and services will be as easy and natural as talking

The MIPPA project investigates usage foundations of proof planning techniques in mathematical tutoring systems. It targets the integration of the proof planner MULTI as back-engine for proof exercises

The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan Abstraction for Reuse : given a formal development we want

The purpose of the CONTACT project is to take a first step towards the broad goal of building a general animation and simulation framework for cognitive, human-like, autonomous characters. The objecti

Gnowsis ist a Software Tool to gather, order and structure the miscellanous Information and Data that can be found on personal computers by the principles of the semantic web. The Gnowsis system adds

The success of user interfaces based on conversational agents is very much dependent on the agents' conversational skills, and their ability to consistently portray personality and react in an emotion

Protection Profiles for Discretionary Information Flow Control The protection of information flow is prevalently implemented with techniques like access control functions, encryption procedures or fir