scientific article; zbMATH DE number 4162322

MaRDI QIDQ3489524zbMATH OpenFDO

Authors L. Ü. Yalçinalp, Leon S. Sterling

Publication date 1989

zbMATH Keywords

explaining component in expert systemsexplaining methodProlog-based expert systems

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Artificial intelligence (68T99)

Recommendations

• USING META-PROGRAMMING, CONSTRAINT LOGIC PROGRAMMING AND APPROXIMATE REASONING FOR EXPERT SYSTEMS DESIGN
• Explanations as programs in probabilistic logic programming
• scientific article; zbMATH DE number 43615
• scientific article; zbMATH DE number 3978352
• scientific article; zbMATH DE number 7455713
• Inference in probabilistic logic programs using lifted explanations
• Producing explanations for rich logics
• scientific article; zbMATH DE number 4101138
• Automated reasoning with a constraint-based metainterpreter

Cited in

(2)

• Answering the ``why in answer set programming -- a survey of explanation approaches
• Lightweight functional logic meta-programming

This page was built for publication:

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