Artificial Intelligence & Applications

Project: Research area

Project Details


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
Effective start/end date16/11/00 → …


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.