scientific article; zbMATH DE number 4053072

zbMATH Open0645.68107MaRDI QIDQ3789111FDOQ3789111

Authors: Antonio D'Angelo 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

knowledge baseinference engineprototype implementationbase beliefsmodal logic languagesearch space strategy

Mathematics Subject Classification ID

Artificial intelligence (68T99)

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)