scientific article; zbMATH DE number 4053072

MaRDI QIDQ3789111zbMATH OpenFDO

Authors Antonio D'Angelo

Publication date 1988

zbMATH Keywords

base beliefsinference engineknowledge basemodal logic languageprototype implementationsearch space strategy

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• Inference flexibility in Horn clause knowledge bases and the simplex method
• scientific article; zbMATH DE number 67969
• scientific article; zbMATH DE number 44848
• scientific article; zbMATH DE number 4007751
• scientific article; zbMATH DE number 49167

Cited in

(1)

• Diagrammatic Representation and Inference

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 Q3789111)