Possible-world semantics for autoepistemic logic (1984)

by R Moore
Venue:In Proceedings of the NonMonotonic Reasoning Workshop (New Paltz