9780521460149: Epistemic Logic for AI and Computer Science
Rilegato
ISBN 10: 052146014X ISBN 13: 9780521460149
Casa editrice: Cambridge University Press, 1995

Sinossi

A broad introduction to the subject; many exercises with full solutions are provided.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

'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

Descrizione del libro

This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
1995
Lingua
Inglese
ISBN 10 
052146014X
ISBN 13 
9780521460149
Rilegatura
Copertina rigida
Numero di pagine
368
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780521602808: Epistemic Logic for Artifcl Intell

Edizione in evidenza

ISBN 10:  0521602807 ISBN 13:  9780521602808
Casa editrice: Cambridge University Press, 2008
Brossura