Mechanising shared configuration and diagnosis theories through constraint logic programming

DOI10.1016/S0743-1066(98)10010-9MaRDI QIDQ4245944zbMATH OpenOpenAlexFDO

Authors Nirad Sharma, Robert M. Colomb

Publication date 31 May 1999

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(98)10010-9

zbMATH Keywords

problem-solvers

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

Recommendations

• Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming
• Design and implementation of diagnostic strategies using modal logic
• Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
• Model-based diagnosis and conditional logic
• scientific article; zbMATH DE number 1615250
• scientific article; zbMATH DE number 1882051

Cited in

(1)

• Design and implementation of diagnostic strategies using modal logic

This page was built for publication: Mechanising shared configuration and diagnosis theories through constraint logic programming

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