期刊论文详细信息
| Computación y Sistemas | |
| CRIB: A method for integrity constraint checking on knowledge bases | |
| Julia Clemente1 Jaime Ramírez1 Angélica de Antonio1 | |
| 关键词: Verification; Knowledge Based-System; Consistency.; | |
| DOI : | |
| 学科分类：电子、光学、磁材料 | |
| 来源: Instituto Politecnico Nacional * Centro de Investigacion en Computacion | |
 PDF
|
|
【 摘 要 】
The necessity of verification tools for Knowledge Based-Systems (KBSs), that help to guarantee a certain degree of quality and reliability of these systems w...
【 授权许可】
Unknown
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| RO201912050599058ZK.pdf | 333KB |  download |
878987797
028-85220240
