Open AccessDefinition of Model-based diagnosis problems with Altarica
Author(s) -
Yannick Pencolé,
Élodie Chanthery,
Thierry Peynot
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , event (particle physics) , modeling language , semantics (computer science) , artificial intelligence , model checking , state (computer science) , formal language , logic model , specification language , programming language , software engineering , natural language processing , social science , physics , software , quantum mechanics , sociology