Autoepistemic logic as a unified basis for nonmonotonic reasoning
By: Ilkka Niemelä
Contributors: Teknillinen korkeakoulu
Publisher: Helsinki University of Technology
Published: 1993
Place of publication: Espoo
Language: eng
Number of pages: 162
ISBN-13: 9789512216895
Notes: Thesis (doctoral)--Helsinki University of Technology, 1993.