scientific article; zbMATH DE number 871197

MaRDI QIDQ4874615zbMATH OpenFDO

Authors Antoni Ligȩza

Publication date 4 February 1997

zbMATH Keywords

first-order predicate calculusbackward dual resolutionknowledge representation languagestate transformation rules

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Control/observation systems involving computers (process control, etc.) (93C83) Other applications of logic (03B80) Axiomatic systems theory (93A05)

Recommendations

• scientific article; zbMATH DE number 812533
• scientific article; zbMATH DE number 825175
• Logical foundations for rule-based systems.
• scientific article; zbMATH DE number 980422

Cited in

(5)

• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 825175 (Why is no real title available?)
• scientific article; zbMATH DE number 64167 (Why is no real title available?)
• scientific article; zbMATH DE number 812533 (Why is no real title available?)
• A formal model for verification of dynamic consistency of KBSs

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