Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.
Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence
- Forschung
- Forschungsbereiche
- Agenten und Simulierte Realität
- Cyber-Physical Systems
- Data Science und ihre Anwendungen
- Educational Technology Lab
- Eingebettete Intelligenz
- Erweiterte Realität
- Grundlagen der Systemischen KI
- Innovative Fabriksysteme
- Institut für Wirtschaftsinformatik
- Intelligente Analytik für Massendaten
- Intelligente Netze
- Interaktives Maschinelles Lernen
- Interaktive Textilien
- KI in der biomedizinischen Signalverarbeitung
- KI in der medizinischen Bildverarbeitung
- Kognitive Assistenzsysteme
- Marine Perception
- Neuro-mechanistische Modellierung
- Planbasierte Robotersteuerung
- Robotics Innovation Center
- Smarte Daten & Wissensdienste
- Smart Enterprise Engineering
- Smart Service Engineering
- Sprachtechnologie und Multilingualität
- Speech and Language Technology
- Stochastische Relationale KI im Gesundheitswesen
- Systemische KI für Entscheidungsunterstützung
- Systemische KI für Lernende Roboter
- Kompetenzzentren
- Projekte & Publikationen
- Forschungsbereiche
- Technologien & Anwendungen
- Qualifizierung & Vernetzung
- News & Media
- Über uns
