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

AUTHORS:

Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 251-289