INKASS, is the first total solution for Knowledge Trading developed by a European Consortium of leading edge KM consultants and software developers. INKASS offers: an innovative approach to knowledge
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
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 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
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