Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning (1992)

AUTHORS:

Niemelä Ilkka