9780521602808 - epistemic logic for artifcl intell di meyer, j.-j. ch. (18 risultati)
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,59
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 85,27
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 89,22
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,60
EUR 13,81 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,58
EUR 17,30 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 90,63
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
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 Classificatio…n: UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 190 x 20. Weight in Grams: 684. . 2008. Revised ed. paperback. . . . .
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 90,28
EUR 17,30 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press CUP 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 114,69
EUR 3,48 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 372.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 114,55
EUR 9,15 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
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 Classificatio…n: UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 190 x 20. Weight in Grams: 684. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 117,39
EUR 63,60 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, p…rovides 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.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge 2004
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 84,96
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
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.
Lingua: Inglese
Editore: Cambridge Univ Pr 2004
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,66
EUR 14,41 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 368 pages. 9.50x7.50x0.75 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: THE SAINT BOOKSTORE, Southport, , Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 86,69
EUR 20,35 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 117,58
EUR 7,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. 372 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss Lam.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 115,18
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 372.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge 2004
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 89,07
EUR 42,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
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 our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Lingua: Inglese
Editore: Cambridge University Press 2004
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 89,22
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.InhaltsverzeichnisPreface 1. Introduction 2. Basics…: the modal ap.
Altre immaginiLingua: Inglese
Editore: Cambridge University Press 2004
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 20 di 40. Libro 20 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,55
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Epistemic Logic for AI and Computer Science | J. -J Ch Meyer (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2004 | Cambridge University Press | EAN 9780521602808 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu…Print on Demand.
