Automated Inferencing

W. Bibel
1985 Journal of symbolic computation  
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 .
doi:10.1016/s0747-7171(85)80034-1 fatcat:5ygzcp2a3reszeakjzq4qaknla