Artificial Intelligence & Applications

Project: Research area

Description

Application of AI Techniques (Model-Based Diagnosis, Constraint Satisfaction Problems ,...) to Software Engineering
in particula Automation Software Debugging and Formal Verifications
Other Application areas include Intelligence Tutoring Systems and Forcasting in the Environmental Domain
StatusActive
Effective start/end date16/11/00 → …