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

DOI<link itemprop=identifier href="https://doi.org/10.1002/1098-111X(200103)16:3<425::AID-INT1016>3.0.CO;2-C" /><425::AID-INT1016>3.0.CO;2-C 10.1002/1098-111X(200103)16:3<425::AID-INT1016>3.0.CO;2-CzbMath0990.68062OpenAlexW1977670620WikidataQ57697812 ScholiaQ57697812MaRDI QIDQ2739003

No author found.

Publication date: 9 September 2001

Full work available at URL: https://doi.org/10.1002/1098-111x(200103)16:3<425::aid-int1016>3.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)

Related Items (1)

Efficiently Characterizing the Undefined Requests of a Rule-Based System

Cites Work

• Artificial intelligence and mathematics. 1
• Integrity constraint checking in stratified databases
• An overview of nonmonotonic reasoning and logic programming
• A Machine-Oriented Logic Based on the Resolution Principle
• A relational model of data for large shared data banks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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