Epistemic Logic for AI and Computer Science - Rilegato

Meyer, J.-J. Ch.; Hoek, W. Van Der

Rilegato

ISBN 10: 052146014X ISBN 13: 9780521460149

Casa editrice: Cambridge University Press, 1995

Riassunto

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

Su questo libro

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.

Dettagli dell'edizione

• 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: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia