- 5 Ergebnisse
Kleinster Preis: € 98,00, größter Preis: € 160,49, Mittelwert: € 116,18
1
Dynamic Epistemic Logic - Hans Van Ditmarsch, Barteld Kooi, Wiebe Van Der Hoek
Bestellen
bei buchfreund.de
€ 117,43
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hans Van Ditmarsch, Barteld Kooi, Wiebe Van Der Hoek:

Dynamic Epistemic Logic - gebunden oder broschiert

2007, ISBN: 9781402058387

Gebunden, 312 Seiten, 241mm x 160mm x 23mm, Sprache(n): eng The first accessible reference to public announcement logicEminently suitable textbook for a graduate audienceCompanion webpage… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
Dynamic Epistemic Logic - Hans Van Ditmarsch; Wiebe Van Der Hoek; Barteld Kooi
Bestellen
bei lehmanns.de
€ 160,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Hans Van Ditmarsch; Wiebe Van Der Hoek; Barteld Kooi:

Dynamic Epistemic Logic - gebunden oder broschiert

2007, ISBN: 9781402058387

Buch, Hardcover, 2008 ed. Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concr… Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
3
Dynamic Epistemic Logic - van Ditmarsch, Hans, Wiebe van der Hoek und Barteld Kooi
Bestellen
bei ZVAB.com
€ 98,00
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
van Ditmarsch, Hans, Wiebe van der Hoek und Barteld Kooi:
Dynamic Epistemic Logic - Erstausgabe

2007

ISBN: 1402058381

Gebundene Ausgabe

[EAN: 9781402058387], Gebraucht, sehr guter Zustand, [SC: 0.0], [PU: Dordrecht : Springer], XI, 282 Pages ; With Figures Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den übl… Mehr…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) avelibro OHG, Dinkelscherben, Germany [72099711] [Rating: 5 (von 5)]
zuklappen (X)
4
Dynamic Epistemic Logic Synthese Library 337 - Hans Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Bestellen
bei buchfreund.de
€ 98,00
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hans Ditmarsch, Wiebe van der Hoek, Barteld Kooi:
Dynamic Epistemic Logic Synthese Library 337 - gebunden oder broschiert

2007, ISBN: 9781402058387

Synthese Library 337 XI, 282 Pages ; With Figures 24 x 16,5 cm Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, in… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) avelibro OHG, 86424 Dinkelscherben
zuklappen (X)
5
Dynamic Epistemic Logic - Hans van Ditmarsch/ Wiebe van der Hoek/ Barteld Kooi
Bestellen
bei Hugendubel.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hans van Ditmarsch/ Wiebe van der Hoek/ Barteld Kooi:
Dynamic Epistemic Logic - Taschenbuch

2008, ISBN: 9781402058387

*Dynamic Epistemic Logic* - Auflage 2008 / gebundene Ausgabe für 106.99 € / Aus dem Bereich: Bücher, English,, International, Gebundene, Ausgaben Medien > Bücher nein Buch (gebunden) Hard… Mehr…

Versandkosten:Shipping in 7 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Dynamic Epistemic Logic
Autor:
Titel:
ISBN-Nummer:

9781402058387


Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction' informs the reader about the history of the subject, and its relation to other disciplines. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Belief Revision' is an overview on how to model belief revision, both in the 'traditional' way and in a dynamic epistemic setting. 'Public Announcements' is a detailed and comprehensive introduction to the logic of knowledge to which dynamic operators for truthful public announcement are added. Many interesting applications are also presented in this chapter: a form of cryptography for ideal agents also known as 'the Russian cards problem', the sum-and-product riddle, etc. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions. A different perspective on that matter is independently presented in 'Action Models'. 'Completeness' gives details on the completeness proof for the logics introduced in 'Epistemic Logic', 'Public Announcements', and 'Action Models'. 'Expressivity' discusses various results on the expressive power of the logics presented. TOC:Preface.- 1. Introduction.- 2. Epistemic Logic.- 3. Belief Revision.- 4. Public Announcements.- 5. Epistemic Actions.- 6. Action Models.- 7. Completeness.- 8. Expressivity.- A. Selected Answers to Exercises.- References.- Index.

Detailangaben zum Buch - Dynamic Epistemic Logic


EAN (ISBN-13): 9781402058387
ISBN (ISBN-10): 1402058381
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer Netherlands
296 Seiten
Gewicht: 0,579 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-13T08:21:14+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-18T21:17:07+01:00 (Berlin)
ISBN/EAN: 9781402058387

ISBN - alternative Schreibweisen:
1-4020-5838-1, 978-1-4020-5838-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hoek, wiebe, van der kooi, barteld, hans see, hök, much hans, hans will, hans van ditmarsch, ditmar
Titel des Buches: dynamic epistemic logic, hans van hoek

Daten vom Verlag:

Autor/in: Hans van Ditmarsch
Titel: Synthese Library; Dynamic Epistemic Logic
Verlag: Springer; Springer Netherland
296 Seiten
Erscheinungsjahr: 2007-06-08
Dordrecht; NL
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
109,99 € (DE)

BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; belief revision; common knowledge; dynamic epistemic logic; epistemic actions; formal specification; idea; knowledge; logic; multi-agent system; multi-agent systems; subject; Logic; Artificial Intelligence; Epistemology; Formal Languages and Automata Theory; Künstliche Intelligenz; Philosophie: Epistemologie und Erkenntnistheorie; Theoretische Informatik; EA; BC

Epistemic Logic.- Belief Revision.- Public Announcements.- Epistemic Actions.- Action Models.- Completeness.- Expressivity.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9789048112456 Dynamic Epistemic Logic (Van Ditmarsch, Hans; Hoek, Wiebe; Kooi, Barteld)

< zum Archiv...