Model-based diagnosis with ASP for non-groundable domains

DOI10.1007/978-3-031-56940-1_20MaRDI QIDQ6630210zbMATH OpenFDO

Authors Moritz Bayerkuhnlein, Diedrich Wolter

Publication date 30 October 2024

Full work available at URL https://doi.org/10.1007/978-3-031-56940-1_20

zbMATH Keywords

abductive reasoningmodel-based diagnosis

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites work

• A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
• A theory of diagnosis from first principles
• ASP-Core-2 input language format
• Automated debugging based on a constraint model of the program and a test case
• Constraint answer set programming without grounding
• Diagnosing multiple faults
• scientific article; zbMATH DE number 4185075 (Why is no real title available?)

This page was built for publication: Model-based diagnosis with ASP for non-groundable domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6630210)