Proceedings of the 7th International Joint Conference on Artificial Intelligence IJCAI-81, (Vancouver, Canada, Aug 1981) Cambridge, Mass., 1981 (1981) |
- Attardi, G., and Simi, M. (1981) Attardi, G., and Simi, M. "Consistency and Completeness of OMEGA, a Logic for Knowledge Representation"
- Kahn (1981) Kahn, K. "Uniform -- A Language based upon Unification which unifies
(much of) Lisp, Prolog, and Act 1", IJCAI-81, August 1981
- Mark, W. (1981) Mark, W. "Representation and Inference in the Consul
System"
- McArthur, David, and Sowizral, Henry. (1981) McArthur, David, and Sowizral, Henry. "An object-oriented language for constructing simulation" pp. 809- 814. 1981
- McCarty, L.T. and Sridharan, N.S. (1981) McCarty, L.T. and Sridharan, N.S. "The representation of an evolving system of legal concepts: II. Prototypes and deformations" pp246-53
- Brachman R.J. et al: (1985) Brachman R.J. et al: "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of of KRYPTON"
- Friedman, Leonard (1985) Friedman, Leonard "Controlling Production Firing: The FCL Language" pp359-366
|
|