000 | 02817nam a2200493 i 4500 | ||
---|---|---|---|
001 | 6276835 | ||
003 | IEEE | ||
005 | 20190220121649.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. | |
650 | 0 | _aAgent (Philosophy) | |
650 | 0 | _aReasoning. | |
650 | 4 | _aElectronic book collection. | |
655 | 0 | _aElectronic books. | |
700 | 1 | _aFagin, Ronald. | |
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. |
|
710 | 2 |
_aMIT Press, _epublisher. |
|
776 | 0 | 8 |
_iPrint version _z9780262562003 |
856 | 4 | 2 |
_3Abstract with links to resource _uhttp://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835 |
999 |
_c39490 _d39490 |