Principles of artificial intelligence
Principles of artificial intelligence
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Communications of the ACM
An Introduction to the Construction and Verification of Alphard Programs
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The paper describes a language based on the paradigm of Production Systems. The novel aspects of the proposal are the possibility of augmenting Production Systems with demons able to monitor the visit of the search space, and the integration of Production Systems with Abstract Data Types and traditional functional programming.