Epistemic Logic for AI and Computer Science
«'Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject.' Phinews»
Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. Les mer
Detaljer
- Forlag
- Cambridge University Press
- Innbinding
- Paperback
- Språk
- Engelsk
- ISBN
- 9780521602808
- Utgivelsesår
- 2004
- Format
- 25 x 19 cm
Anmeldelser
«'Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject.' Phinews»
«' … a very detailed coverage … that is well written, well reasoned, and a useful reference to have on the shelf.' R. J. Bradford, Axis»