scientific article; zbMATH DE number 4045235

MaRDI QIDQ3782844zbMATH OpenFDO

Authors Chen-Chung Huang

Publication date 1987

zbMATH Keywords

inferencedecision support systemsknowledge representationmodel managementFirst order logic

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 513298
• Different kinds of models to integrate the OR-expert's knowledge into decision support systems
• scientific article; zbMATH DE number 194651
• A decidable first-order logic for knowledge representation
• scientific article; zbMATH DE number 778851

Cited in

(1)

• A practical integration of first-order reasoning and decision procedures

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