scientific article; zbMATH DE number 825175

MaRDI QIDQ4858176zbMATH OpenFDO

Authors Antoni Ligȩza

Publication date 14 February 1996

zbMATH Keywords

knowledge representationreasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)

Recommendations

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

Cited in

(8)

• An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
• A linear control algorithm for a class of rule-based systems
• 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 812533 (Why is no real title available?)
• scientific article; zbMATH DE number 871197 (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 Q4858176)