and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions). Extensive work has also been done in reasoning by analogy using induction and abduction.

Other important topics include reasoning under uncertainty and non-monotonic reasoning.