Items related to Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts...

Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41) - Softcover

Book 20 of 40: Cambridge Tracts in Theoretical Computer Science

Meyer, J.-J. Ch.

 
9780521602808: Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41)
Softcover
ISBN 10: 0521602807 ISBN 13: 9780521602808
Publisher: Cambridge University Press, 2008

Synopsis

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

"synopsis" may belong to another edition of this title.

Review

'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

Book Description

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.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2008
Language
English
ISBN 10 
0521602807
ISBN 13 
9780521602808
Binding
Paperback
Number of pages
372