Effective error diagnostic tools for logical prototype systems

zbMATH Open0921.68066MaRDI QIDQ1290695FDOQ1290695

Authors: O. A. Il'icheva 

Publication date: 4 July 1999

Published in: Automation and Remote Control (Search for Journal in Brave)

Recommendations

• Error logic: paving pathways for intelligent error identification and management
• A Comprehensive Framework for Logic Diagnosis of Arbitrary Defects
• Tools for finding inconsistencies in real-world logic-based systems
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Logic-based diagnosis for distributed systems
• scientific article; zbMATH DE number 1487475
• Logical debugging

zbMATH Keywords

error diagnosticslogical prototype systems

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Cited In (2)

• Logical Aspects of Computational Linguistics
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method

This page was built for publication: Effective error diagnostic tools for logical prototype systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1290695)