Epistemic Logic for Artifcl Intell - Brossura
Libro 20 di 40: Cambridge Tracts in Theoretical Computer Science
Sinossi
A broad introduction to the subject; many exercises with full solutions are provided.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Epistemic Logic for Artifcl Intell
Immagini fornite dal venditore
Epistemic Logic for Ai and Computer Science
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 2391723-n
Compra nuovo
EUR 82,59
Spedizione EUR 2,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Epistemic Logic for AI and Computer Science (Paperback)
Editore:
Cambridge University Press, Cambridge, 2004
ISBN 10: 0521602807
ISBN 13: 9780521602808
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9780521602808
Compra nuovo
EUR 84,96
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Epistemic Logic for Artifcl Intell (Cambridge Tracts in Theoretical Computer Science, Series Number 41) (Volume 0)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9780521602808
Compra nuovo
EUR 85,27
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Epistemic Logic for Ai and Computer Science
Editore:
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 2391723
Compra usato
EUR 89,22
Spedizione EUR 2,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Epistemic Logic for Artifcl Intell (Cambridge Tracts in Theoretical Computer Science, Series Number 41) (Volume 0)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521602808_new
Compra nuovo
EUR 78,60
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Epistemic Logic for Ai and Computer Science
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 2391723-n
Compra nuovo
EUR 78,58
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Epistemic Logic for AI and Computer Science
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 368 pages. 9.50x7.50x0.75 inches. In Stock. This item is printed on demand. Codice articolo __0521602807
Compra nuovo
EUR 82,66
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Epistemic Logic for Artifcl Intell: 41 (Cambridge Tracts in Theoretical Computer Science, Series Number 41)
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: 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. . . . . Codice articolo V9780521602808
Compra nuovo
EUR 90,63
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Epistemic Logic for AI and Computer Science
Editore:
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521602808
Compra nuovo
EUR 86,69
Spedizione EUR 20,35
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Epistemic Logic for Ai and Computer Science
Editore:
Cambridge University Press, 2008
ISBN 10: 0521602807
ISBN 13: 9780521602808
Antico o usato
Brossura
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 2391723
Compra usato
EUR 90,20
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili