𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Knowledge‐based systems: a re‐evaluation

✍ Scribed by Syazwan Abdullah, Mohd; Kimble, Chris; Benest, Ian; Paige, Richard

Book ID
121012013
Publisher
Emerald Group Publishing Limited
Year
2006
Tongue
English
Weight
329 KB
Volume
10
Category
Article
ISSN
1367-3270

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Evaluation of verification tools for kno
Evaluation of verification tools for knowledge-based systems
✍ ALUN D. PREECE; STÉPHANE TALBOT; LAURENCE VIGNOLLET 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Validation has emerged as a significant problem in the development of knowledgebased systems (KBS). Verification of KBS correctness and completeness has been cited as one of the most difficult aspects of validation. A number of software tools have been developed to perform such verification, but non