Verification, validation, and integrity issues in expert and database systems: Two perspectives

DOI10.1002/1098-111X(200103)16:3%3C425::AID-INT1016%3E3.0.CO;2-CMaRDI QIDQ2739003zbMATH OpenOpenAlexWikidataFDO

Authors Frans Coenen, Barry Eaglestone, Mick Ridley

Publication date 9 September 2001

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1098-111x(200103)16:3%3C425::aid-int1016%3E3.0.co;2-c

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 2089846
• scientific article; zbMATH DE number 5547424
• Methods and algorithms for verification of knowledge bases in integrated expert systems
• Truth maintenance systems and their application for verifying expert system knowledge bases
• Special issue: Verification and validation issues in databases, knowledge-based systems, ond ontologies. Workshop at DEXA (Database and EXpert System Applications), Vienna, Austria, August 1998

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A relational model of data for large shared data banks
• An overview of nonmonotonic reasoning and logic programming
• Artificial intelligence and mathematics. 1
• scientific article; zbMATH DE number 3833669 (Why is no real title available?)
• scientific article; zbMATH DE number 3967882 (Why is no real title available?)
• scientific article; zbMATH DE number 53077 (Why is no real title available?)
• scientific article; zbMATH DE number 54102 (Why is no real title available?)
• scientific article; zbMATH DE number 108423 (Why is no real title available?)
• scientific article; zbMATH DE number 605773 (Why is no real title available?)
• scientific article; zbMATH DE number 704873 (Why is no real title available?)
• Integrity constraint checking in stratified databases

Cited in

(3)

• scientific article; zbMATH DE number 5547424 (Why is no real title available?)
• Efficiently Characterizing the Undefined Requests of a Rule-Based System
• Methods and algorithms for verification of knowledge bases in integrated expert systems

This page was built for publication: Verification, validation, and integrity issues in expert and database systems: Two perspectives

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