๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A comparison of LISP and MUMPS as implementation languages for knowledge-based systems

โœ Scribed by A. Clayton Curtis


Publisher
Springer US
Year
1984
Tongue
English
Weight
503 KB
Volume
8
Category
Article
ISSN
0148-5598

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Task structures as a basis for modeling
โœ Jonathan Lee ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 171 KB

Recently, there has been an increasing interest in improving the reliability and quality of AI systems. As a result, a number of approaches to knowledge-based systems modeling have been proposed. However, these approaches are limited in formally verifying the intended functionality and behavior of a