LISP 1.5 Programmer's Manual
An English-like language for qualitative scientific knowledge
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
On the mechanization of abductive logic
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Hi-index | 0.00 |
The extensive literature on modeling of biological systems published in the past decade reflects the growing expectation that theories of biological functions can be subject to more exacting tests of consistency with the natural system, and yield more powerful predictions if embodied in the formal structure of computer programs.