Model-Based Diagnosis with ASP for Non-groundable Domains.

Moritz Bayerkuhnlein Diedrich Wolter

Published in: FoIKS (2024)

Keyphrases

model based diagnosis
discrete event systems
model based reasoning
diagnostic reasoning
dynamic systems
consistency based diagnosis
fault localization
physical systems
digital circuits
answer set programming
web applications
diagnostic systems
hardware designs
logic programming
constraint programming
fault models