Autoepistemic logic as a unified basis for nonmonotonic reasoning
Ilkka Niemelä
Bok Engelsk 1993
Utgitt | Espoo : Helsinki University of Technology, Department of Computer Science, Digital Systems Laboratory , 1993
|
---|---|
Omfang | IV, 162 s. : fig.
|
Opplysninger | Påstemplet: Dissertation 883 from Teknillinen korkeakoulu.
|
Emner | |
ISBN | 9512216892
|