Verification, validation, and integrity issues in expert and database systems: Two perspectives
From MaRDI portal
Publication:2739003
DOI<425::AID-INT1016>3.0.CO;2-C 10.1002/1098-111X(200103)16:3<425::AID-INT1016>3.0.CO;2-CzbMath0990.68062WikidataQ57697812 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
68P15: Database theory
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Related Items
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