scientific article; zbMATH DE number 67434

zbMATH Open0744.68127MaRDI QIDQ4012146FDOQ4012146

Authors: G. Ravi Prakash, Eswaran Subrahmanian, H. N. Mahabala 

Publication date: 27 September 1992

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

Recommendations

• Methods and algorithms for verification of knowledge bases in integrated expert systems
• scientific article; zbMATH DE number 4039340
• Rewrite semantics for production rule systems: theory and applications
• Validation and verification of decision making rules
• The use of mathematical programming to verify rule-based knowledge

zbMATH Keywords

production systems\(OPS5\)-based knowledge base management

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (1)

• 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 Q4012146)