| 000 | 02893nam a2200505 i 4500 | ||
|---|---|---|---|
| 001 | 6276835 | ||
| 003 | IEEE | ||
| 005 | 20220712204745.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 151223s2004 maua ob 001 eng d | ||
| 020 |
_a9780262256094 _qelectronic |
||
| 020 |
_z0262256096 _qelectronic |
||
| 020 |
_z9780262562003 _qprint |
||
| 035 | _a(CaBNVSL)mat06276835 | ||
| 035 | _a(IDAMS)0b000064818c1f3b | ||
| 040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
| 050 | 4 |
_aBD181 _b.R38 2003eb |
|
| 082 | 0 | 4 |
_a153.4/3 _220 |
| 245 | 0 | 0 |
_aReasoning about knowledge / _cRonald Fagin ... [et al.]. |
| 264 | 1 |
_aCambridge, Massachusetts : _bMIT Press, _c2003 |
|
| 264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[2004] |
|
| 300 |
_a1 PDF (xiii, 517 pages) : _billustrations. |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aelectronic _2isbdmedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 504 | _aIncludes bibliographical references and indexes. | ||
| 506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
| 520 | _aReasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms.Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes exercises and bibliographic notes. | ||
| 530 | _aAlso available in print. | ||
| 538 | _aMode of access: World Wide Web | ||
| 588 | _aTitle from title screen. | ||
| 588 | _aDescription based on PDF viewed 12/23/2015. | ||
| 650 | 0 |
_aKnowledge, Theory of. _923551 |
|
| 650 | 0 |
_aAgent (Philosophy) _923552 |
|
| 650 | 0 |
_aReasoning. _922773 |
|
| 650 | 4 |
_aElectronic book collection. _923553 |
|
| 655 | 0 |
_aElectronic books. _93294 |
|
| 700 | 1 |
_aFagin, Ronald. _923554 |
|
| 710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _923555 |
|
| 710 | 2 |
_aMIT Press, _epublisher. _923556 |
|
| 776 | 0 | 8 |
_iPrint version _z9780262562003 |
| 856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835 |
| 942 | _cEBK | ||
| 999 |
_c73232 _d73232 |
||