University of Ulm, Faculty of Computer Science, Dept. of Artificial Intelligence

Research Activities

Research activities of the department are carried out in several areas. These include mechanical inference systems, multi-agent systems, task planning and knowledge representation for autonomous systems, and application of AI-techniques and formal methods to software development and safety-critical systems.

Current Projects and Research Activities

Semantic Services in Mobile Environments: Bilateral research effort in collaboration with NTT DoCoMo Euro-Labs
OntoTrack: A novel ontology authoring environment
PLANET: European Network of Excellence in AI Planning
ProPlan: Systemunterstützte Modellierung, Planung und Durchführung komplexer Arbeitsprozesse
PVS @ Ulm: Applications of the specification and verification system PVS

Past Projects

DeVa: Design for Validation
Docs'n Drugs: Die virtuelle Poliklinik
DSoS: Dependable Systems of Systems
GUARDS: Generic Upgradable Architecture for Realtime Dependable Systems
James: Agent-Oriented Simulation
KORSO: Construction of Correct Software
Next-TTA: High-Confidence Architecture for Distributed Control Applications
Oases / FIR: Cases-Based Simulation
SafeRail: Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
SFB 527: subproject D1: Knowledge Representation for Autonomous Systems
SFB 527: subproject D2: Task Planning for Autonomous Systems
TTA: Time-Triggered Architecture
Typelab: Deduction in Type-Theory
Verifix: Verified Compilers
VSE: Verification Support Environment

Dept. of AI Homepage

Help

Mail to Webmaster

H. Pfeifer - updated: Aug 13, 2003