Autoepistemic logic and formalization of commonsense reasoning, preliminary report (1988)

by M Gelfond
Venue:In Proceedings of the 2nd Workshop on Non-Monotonic Reasoning, number 346 in Lecture Notes in Artificial Intelligence