Technical Reports

The ICICS/CS Reading Room

UBC CS TR-88-05 Summary

The Connection Method for Non-Monotonic \& Autoepistemic Logic, January 1988 George K. Tsiknis

In this paper, first we present a connection method for non-monotonic logic, together with its soundness and completeness proof. Then, we extend this to a proof procedure for autoepistemic logic. In the last section, we also discuss some improvements on the method through structure sharing techniques.

If you have any questions or comments regarding this page please send mail to