Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 41) - Hardcover

Book 20 of 40: Cambridge Tracts in Theoretical Computer Science

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

  • 4.20 out of 5 stars
    5 ratings by Goodreads
 
9780521460149: Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science, Series Number 41)
Hardcover
ISBN 10: 052146014X ISBN 13: 9780521460149
Publisher: Cambridge University Press, 1995

Synopsis

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.

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

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.

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

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

Publisher
Cambridge University Press
Publication date
1995
Language
English
ISBN 10 
052146014X
ISBN 13 
9780521460149
Binding
Hardcover
Number of pages
368
Rating
  • 4.20 out of 5 stars
    5 ratings by Goodreads

Other Popular Editions of the Same Title

9780521602808: Epistemic Logic for Artifcl Intell (Cambridge Tracts in Theoretical Computer Science, Series Number 41) (Volume 0)

Featured Edition

ISBN 10:  0521602807 ISBN 13:  9780521602808
Publisher: Cambridge University Press, 2008
Softcover