9780521460149: Epistemic Logic for AI and Computer Science

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.

Other Popular Editions of the Same Title

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

Featured Edition

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