scientific article; zbMATH DE number 871197

zbMATH Open0855.93008MaRDI QIDQ4874615FDOQ4874615

Antoni Ligȩza

Publication date: 4 February 1997

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

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Logical foundations for rule-based systems. 👍 👎
• Title not available (Why is that?) 👍 👎

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)