Sciweavers

FLAIRS
2001
14 years 27 days ago
Validity of First-Order Knowledge Bases
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
John K. Debenham
IEAAIE
2003
Springer
14 years 4 months ago
A Rigorous Approach to Knowledge Base Maintenance
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
John K. Debenham