Communications of the ACM
Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
Properties of substitutions and unifications
Journal of Symbolic Computation
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Semantical considerations on nonmonotonic logic
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
This article provides a survey of aspects and methods of the automation of processes involved in performing inferences. It addresses classical deductive reasoning as well as non-monotonic and inductive reasoning. Several important reasoning methods are informally described and illustrated. The emphasis is on a clarification of some or the main principles rather than on an exhaustive listing of particular techniques.