Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Franza Wotawa"'
Publikováno v:
AAAI
In Model-Based Diagnosis (MBD), we concern ourselves with the health and safety of physical and software systems. Although we often use different knowledge representations and algorithms, some tools like satisfiability (SAT) solvers and temporal logi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::669c7a6e65f56f78f2a49e7b1bb38728
https://doi.org/10.1609/aaai.v34i03.5670
https://doi.org/10.1609/aaai.v34i03.5670
