search query: @journal_id 1396 / total: 79
reference: 7 / 79
| Author: | Sarkar, S. Ramaswamy, M. |
| Title: | Knowledge base decomposition to facilitate verification |
| Journal: | Information Systems Research
2000 : SEP, VOL. 11:3, 260-283 |
| Index terms: | INFORMATION TECHNOLOGY KNOWLEDGE-BASED SYSTEMS KNOWLEDGE ENGINEERING |
| Language: | eng |
| Abstract: | The authors examine the verification of large knowledge-based systems. When knowledge bases are large, the verification process poses several problems that are usually not significant for small systems. The authors focus on decompositions that allow verification of such systems to be performed in a modular fashion. |
SCIMA