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
|
