The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
A simplifier based on efficient decision algorithms
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The compleat guide to MRS
Hi-index | 0.00 |
Why is it hard to implement a Knowledge Representation or Reasoning tool that people actually use?