Towards benchmarks for knowledge systems and their implications for data engineering
- 1 March 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 1 (1) , 101-110
- https://doi.org/10.1109/69.43407
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Program verification: the very ideaCommunications of the ACM, 1988
- A blackboard architecture for controlArtificial Intelligence, 1985
- Using Proofs and Refutations to Learn from ExperiencePublished by Springer Nature ,1983