scientific article; zbMATH DE number 871197

MaRDI QIDQ4874615zbMATH OpenFDO

Authors Antoni Ligȩza

Publication date 4 February 1997

zbMATH Keywords

backward dual resolutionfirst-order predicate calculusknowledge representation languagestate transformation rules

Mathematics Subject Classification ID

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

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

(7)

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

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)