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
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
Search results for Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts...
Stock Image
Epistemic Logic for Ai and Computer Science
Published by
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 2391723-n
Stock Image
Epistemic Logic for AI and Computer Science (Paperback)
Published by
Cambridge University Press, Cambridge, 2004
ISBN 10: 0521602807
ISBN 13: 9780521602808
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses' theory of honest formulae is covered, and a digression is made into the realm of non-monotonic reasoning and preferential entailment. Moore's autoepistemic logic is discussed, together with Levesque's related logic of 'all I know'. Furthermore, it is shown how one can base default and counterfactual reasoning on epistemic logic. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521602808
Stock Image
Epistemic Logic for Artifcl Intell (Cambridge Tracts in Theoretical Computer Science, Series Number 41) (Volume 0)
Published by
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521602808
Stock Image
Epistemic Logic for Artifcl Intell (Cambridge Tracts in Theoretical Computer Science, Series Number 41) (Volume 0)
Published by
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521602808_new
Buy New
£ 66.17
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Epistemic Logic for Ai and Computer Science
Published by
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 2391723
Stock Image
Epistemic Logic for Ai and Computer Science
Published by
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 2391723-n
Buy New
£ 66.16
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Epistemic Logic for AI and Computer Science
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 368 pages. 9.50x7.50x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521602807
Buy New
£ 69.59
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41)
Published by
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
New
Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. A broad introduction to the subject; many exercises with full solutions are provided. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 372 pages, 140 exercises. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 190 x 20. Weight in Grams: 684. . 2008. Revised ed. paperback. . . . . Seller Inventory # V9780521602808
Buy New
£ 80.53
£ 9.06 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: Over 20 available
Stock Image
Epistemic Logic for AI and Computer Science
Published by
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521602808
Buy New
£ 72.99
£ 17.65 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Epistemic Logic for Ai and Computer Science
Published by
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
Used
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 2391723
Buy Used
£ 75.90
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available