scientific article; zbMATH DE number 812533

MaRDI QIDQ4853792zbMATH OpenFDO

Authors Antoni Ligȩza

Publication date 11 December 1995

zbMATH Keywords

first-order predicate calculusformal reasoningknowledge representationlanguagelogicalrule-based systems

Mathematics Subject Classification ID

Other applications of logic (03B80) Knowledge representation (68T30) General systems (93A10) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• scientific article; zbMATH DE number 825175
• scientific article; zbMATH DE number 871197
• scientific article; zbMATH DE number 1820675
• The logic of knowledge bases
• Logical foundations for rule-based systems.

Cited in

(19)

• Using dialog-controlled rule systems in a maintenance module for knowledge bases
• Representation and processing of dynamic knowledge in expert systems
• Logical object as a basis of knowledge based systems
• Toward logical analysis of tabular rule-based systems
• Separating I/O from application logic for rule-based control systems
• Knowledge representation and reasoning based on computability logic
• DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE
• Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems
• scientific article; zbMATH DE number 67969 (Why is no real title available?)
• scientific article; zbMATH DE number 125987 (Why is no real title available?)
• scientific article; zbMATH DE number 168384 (Why is no real title available?)
• scientific article; zbMATH DE number 1208199 (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 825175 (Why is no real title available?)
• scientific article; zbMATH DE number 871197 (Why is no real title available?)
• scientific article; zbMATH DE number 2200745 (Why is no real title available?)
• Logical foundations for rule-based systems.

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