. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 34,38 €, größter Preis: 46,53 €, Mittelwert: 40,35 €
Dynamic Epistemic Logic - Hans van Ditmarsch#Wiebe Van der Hoek#Barteld Kooi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hans van Ditmarsch#Wiebe Van der Hoek#Barteld Kooi:

Dynamic Epistemic Logic - neues Buch

ISBN: 9781402069086

ID: 198457316

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. Dynamic Epistemic Logic Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 15011292 Versandkosten:, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Dynamic Epistemic Logic (Synthese Library) - Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi:

Dynamic Epistemic Logic (Synthese Library) - Taschenbuch

2007, ISBN: 1402069081

[SR: 1734723], Paperback, [EAN: 9781402069086], Springer, Springer, Book, [PU: Springer], 2007-11-15, Springer, Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to su...., 404260, Artificial Intelligence, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269709, Algorithms, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 922858, Chaos & Dynamic Systems, 278409, Physics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 276315, Philosophy, 496404, History, 496508, Introduction to Philosophy, 276319, Non-Western, 496410, Philosophers, 60, Society, Politics & Philosophy, 1025612, Subjects, 266239, Books

Neues Buch Amazon.co.uk
Book Depository
, Neuware Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days (EUR 4.80)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Dynamic Epistemic Logic - Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi:
Dynamic Epistemic Logic - neues Buch

ISBN: 9781402069086

ID: 978140206908

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice. Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Books, Religion and Spirituality, Dynamic Epistemic Logic Books>Religion and Spirituality, Springer Netherlands

Neues Buch Indigo.ca
new Free shipping on orders above $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Dynamic Epistemic Logic (Synthese Library) - Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi:
Dynamic Epistemic Logic (Synthese Library) - Taschenbuch

2007, ISBN: 1402069081

[SR: 401461], Taschenbuch, [EAN: 9781402069086], Springer, Springer, Book, [PU: Springer], 2007-11-15, Springer, 63355011, Künstliche Intelligenz, 63336011, Informatik, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 69038011, Epistemologie, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 69046011, Logik & Sprache, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
---SuperBookDeals---
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Dynamic epistemic logic - Hoek van der, W. Kooi, B. Ditmarsch van, H
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Hoek van der, W. Kooi, B. Ditmarsch van, H:
Dynamic epistemic logic - neues Buch

ISBN: 9781402069086

ID: 0a39a43de4ebd40e84867e0ac74f1381

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice., [PU: Springer]

Neues Buch Studystore.nl
studystore.nl
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Dynamic Epistemic Logic
Autor:

Ditmarsch, Hans van; Hoek, Wiebe van der; Kooi, Barteld

Titel:

Dynamic Epistemic Logic

ISBN-Nummer:

9781402069086

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): 9781402069086
ISBN (ISBN-10): 1402069081
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
296 Seiten
Gewicht: 0,451 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 21.04.2007 07:07:54
Buch zuletzt gefunden am 07.02.2017 20:20:00
ISBN/EAN: 9781402069086

ISBN - alternative Schreibweisen:
1-4020-6908-1, 978-1-4020-6908-6

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher