scientific article; zbMATH DE number 871197

zbMATH Open0855.93008MaRDI QIDQ4874615FDOQ4874615

Authors: Antoni Ligȩza 

Publication date: 4 February 1997

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)