Reasoning about uncertainty /:
Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics.
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, MA :
The MIT Press,
[2017]
|
| Edition: | Second edition. |
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| Summary: | Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics. |
| Physical Description: | 1 online resource (xv, 488 pages) : illustrations |
| Bibliography: | Includes bibliographical references and indexes. |
| ISBN: | 9780262340496 0262340496 |
Staff View
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn981912273 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 170407s2017 maua ob 001 0 eng d | ||
| 010 | |a 2016047134 | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d YDX |d EBLCP |d UIU |d IDEBK |d CSAIL |d COO |d OCLCQ |d UAB |d OCLCQ |d CEF |d MERER |d OCLCQ |d MERUC |d MITPR |d OCLCQ |d U3W |d LVT |d LEAUB |d U3G |d AU@ |d OCL |d OCLCQ |d UKAHL |d IEEEE |d VT2 |d OCLCO |d K6U |d OCLCQ |d WSU |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 982415997 |a 982500812 |a 982986972 |a 983276268 |a 999551665 |a 1170238496 |a 1173684344 |a 1286910868 | ||
| 020 | |a 9780262340496 |q (electronic bk.) | ||
| 020 | |a 0262340496 |q (electronic bk.) | ||
| 020 | |z 9780262533805 | ||
| 020 | |z 0262533804 | ||
| 035 | |a (OCoLC)981912273 |z (OCoLC)982415997 |z (OCoLC)982500812 |z (OCoLC)982986972 |z (OCoLC)983276268 |z (OCoLC)999551665 |z (OCoLC)1170238496 |z (OCoLC)1173684344 |z (OCoLC)1286910868 | ||
| 037 | |a 10951 |b MIT Press | ||
| 037 | |a 9780262340496 |b MIT Press | ||
| 050 | 4 | |a Q375 |b .H35 2017eb | |
| 072 | 7 | |a SCI |x 064000 |2 bisacsh | |
| 072 | 7 | |a TEC |x 029000 |2 bisacsh | |
| 082 | 7 | |a 003/.54 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Halpern, Joseph Y., |d 1953- |e author. |1 https://id.oclc.org/worldcat/entity/E39PBJqvXW3k6R3JDC99qQ9MT3 |0 http://id.loc.gov/authorities/names/n85271833 | |
| 245 | 1 | 0 | |a Reasoning about uncertainty / |c Joseph Y. Halpern. |
| 250 | |a Second edition. | ||
| 264 | 1 | |a Cambridge, MA : |b The MIT Press, |c [2017] | |
| 264 | 4 | |c ©2017 | |
| 300 | |a 1 online resource (xv, 488 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed April 7, 2017). | |
| 520 | |a Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics. | ||
| 505 | 0 | |a Intro -- Contents -- Preface -- 1 Introduction and Overview -- 2 Representing Uncertainty -- 3 Updating Beliefs -- 4 Independence and Bayesian Networks -- 5 Expectation -- 6 Multi-Agent Systems -- 7 Logics for Reasoning about Uncertainty -- 8 Beliefs, Defaults, and Counterfactuals -- 9 Belief Revision -- 10 First-Order Modal Logic -- 11 From Statistics to Beliefs -- 12 Final Words -- References -- Glossary of Symbols -- Index. | |
| 650 | 0 | |a Uncertainty (Information theory) |v Textbooks. | |
| 650 | 0 | |a Probabilities |v Textbooks. | |
| 650 | 0 | |a Reasoning |v Textbooks. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Textbooks. | |
| 650 | 7 | |a SCIENCE |x System Theory. |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Operations Research. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Probabilities |2 fast | |
| 650 | 7 | |a Reasoning |2 fast | |
| 650 | 7 | |a Uncertainty (Information theory) |2 fast | |
| 653 | |a COMPUTER SCIENCE/General | ||
| 653 | |a COMPUTER SCIENCE/Artificial Intelligence | ||
| 653 | |a PHILOSOPHY/General | ||
| 655 | 7 | |a Textbooks |2 fast | |
| 655 | 7 | |a Textbooks. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026191 | |
| 758 | |i has work: |a Reasoning about uncertainty (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFQRfCBy9gBVh96WVCPgjC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Halpern, Joseph Y., 1953- |t Reasoning about uncertainty. |b Second edition. |d ©2017 |z 9780262533805 |z 0262533804 |w (DLC) 2016047134 |w (OCoLC)959036765 |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1498618 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1498618 |3 Volltext |
| 938 | |a IEEE |b IEEE |n 7894589 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH37587331 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL4837495 | ||
| 938 | |a EBSCOhost |b EBSC |n 1498618 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis37944045 | ||
| 938 | |a YBP Library Services |b YANK |n 13959322 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn981912273 |
|---|---|
| _version_ | 1829095103562514432 |
| adam_text | |
| any_adam_object | |
| author | Halpern, Joseph Y., 1953- |
| author_GND | http://id.loc.gov/authorities/names/n85271833 |
| author_facet | Halpern, Joseph Y., 1953- |
| author_role | aut |
| author_sort | Halpern, Joseph Y., 1953- |
| author_variant | j y h jy jyh |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q375 |
| callnumber-raw | Q375 .H35 2017eb |
| callnumber-search | Q375 .H35 2017eb |
| callnumber-sort | Q 3375 H35 42017EB |
| callnumber-subject | Q - General Science |
| collection | ZDB-4-EBA |
| contents | Intro -- Contents -- Preface -- 1 Introduction and Overview -- 2 Representing Uncertainty -- 3 Updating Beliefs -- 4 Independence and Bayesian Networks -- 5 Expectation -- 6 Multi-Agent Systems -- 7 Logics for Reasoning about Uncertainty -- 8 Beliefs, Defaults, and Counterfactuals -- 9 Belief Revision -- 10 First-Order Modal Logic -- 11 From Statistics to Beliefs -- 12 Final Words -- References -- Glossary of Symbols -- Index. |
| ctrlnum | (OCoLC)981912273 |
| dewey-full | 003/.54 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003/.54 |
| dewey-search | 003/.54 |
| dewey-sort | 13 254 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | Second edition. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04056cam a2200733 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn981912273</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">170407s2017 maua ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2016047134</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">EBLCP</subfield><subfield code="d">UIU</subfield><subfield code="d">IDEBK</subfield><subfield code="d">CSAIL</subfield><subfield code="d">COO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CEF</subfield><subfield code="d">MERER</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">MITPR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">LVT</subfield><subfield code="d">LEAUB</subfield><subfield code="d">U3G</subfield><subfield code="d">AU@</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKAHL</subfield><subfield code="d">IEEEE</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCO</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WSU</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">982415997</subfield><subfield code="a">982500812</subfield><subfield code="a">982986972</subfield><subfield code="a">983276268</subfield><subfield code="a">999551665</subfield><subfield code="a">1170238496</subfield><subfield code="a">1173684344</subfield><subfield code="a">1286910868</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262340496</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262340496</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780262533805</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0262533804</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)981912273</subfield><subfield code="z">(OCoLC)982415997</subfield><subfield code="z">(OCoLC)982500812</subfield><subfield code="z">(OCoLC)982986972</subfield><subfield code="z">(OCoLC)983276268</subfield><subfield code="z">(OCoLC)999551665</subfield><subfield code="z">(OCoLC)1170238496</subfield><subfield code="z">(OCoLC)1173684344</subfield><subfield code="z">(OCoLC)1286910868</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">10951</subfield><subfield code="b">MIT Press</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">9780262340496</subfield><subfield code="b">MIT Press</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q375</subfield><subfield code="b">.H35 2017eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">SCI</subfield><subfield code="x">064000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TEC</subfield><subfield code="x">029000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">003/.54</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Halpern, Joseph Y.,</subfield><subfield code="d">1953-</subfield><subfield code="e">author.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJqvXW3k6R3JDC99qQ9MT3</subfield><subfield code="0">http://id.loc.gov/authorities/names/n85271833</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning about uncertainty /</subfield><subfield code="c">Joseph Y. Halpern.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, MA :</subfield><subfield code="b">The MIT Press,</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xv, 488 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed April 7, 2017).</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Intro -- Contents -- Preface -- 1 Introduction and Overview -- 2 Representing Uncertainty -- 3 Updating Beliefs -- 4 Independence and Bayesian Networks -- 5 Expectation -- 6 Multi-Agent Systems -- 7 Logics for Reasoning about Uncertainty -- 8 Beliefs, Defaults, and Counterfactuals -- 9 Belief Revision -- 10 First-Order Modal Logic -- 11 From Statistics to Beliefs -- 12 Final Words -- References -- Glossary of Symbols -- Index.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Uncertainty (Information theory)</subfield><subfield code="v">Textbooks.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Probabilities</subfield><subfield code="v">Textbooks.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Reasoning</subfield><subfield code="v">Textbooks.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Textbooks.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SCIENCE</subfield><subfield code="x">System Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING</subfield><subfield code="x">Operations Research.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Probabilities</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Reasoning</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Uncertainty (Information theory)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">COMPUTER SCIENCE/General</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">COMPUTER SCIENCE/Artificial Intelligence</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">PHILOSOPHY/General</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Textbooks</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Textbooks.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026191</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Reasoning about uncertainty (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFQRfCBy9gBVh96WVCPgjC</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Halpern, Joseph Y., 1953-</subfield><subfield code="t">Reasoning about uncertainty.</subfield><subfield code="b">Second edition.</subfield><subfield code="d">©2017</subfield><subfield code="z">9780262533805</subfield><subfield code="z">0262533804</subfield><subfield code="w">(DLC) 2016047134</subfield><subfield code="w">(OCoLC)959036765</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1498618</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1498618</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">IEEE</subfield><subfield code="b">IEEE</subfield><subfield code="n">7894589</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH37587331</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL4837495</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1498618</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis37944045</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">13959322</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Textbooks fast Textbooks. lcgft http://id.loc.gov/authorities/genreForms/gf2014026191 |
| genre_facet | Textbooks Textbooks. |
| id | ZDB-4-EBA-ocn981912273 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:43:42Z |
| institution | BVB |
| isbn | 9780262340496 0262340496 |
| language | English |
| lccn | 2016047134 |
| oclc_num | 981912273 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (xv, 488 pages) : illustrations |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | The MIT Press, |
| record_format | marc |
| spelling | Halpern, Joseph Y., 1953- author. https://id.oclc.org/worldcat/entity/E39PBJqvXW3k6R3JDC99qQ9MT3 http://id.loc.gov/authorities/names/n85271833 Reasoning about uncertainty / Joseph Y. Halpern. Second edition. Cambridge, MA : The MIT Press, [2017] ©2017 1 online resource (xv, 488 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references and indexes. Online resource; title from PDF title page (EBSCO, viewed April 7, 2017). Formal ways of representing uncertainty and various logics for reasoning about it; updated with new material on weighted probability measures, complexity-theoretic considerations, and other topics. Intro -- Contents -- Preface -- 1 Introduction and Overview -- 2 Representing Uncertainty -- 3 Updating Beliefs -- 4 Independence and Bayesian Networks -- 5 Expectation -- 6 Multi-Agent Systems -- 7 Logics for Reasoning about Uncertainty -- 8 Beliefs, Defaults, and Counterfactuals -- 9 Belief Revision -- 10 First-Order Modal Logic -- 11 From Statistics to Beliefs -- 12 Final Words -- References -- Glossary of Symbols -- Index. Uncertainty (Information theory) Textbooks. Probabilities Textbooks. Reasoning Textbooks. Logic, Symbolic and mathematical Textbooks. SCIENCE System Theory. bisacsh TECHNOLOGY & ENGINEERING Operations Research. bisacsh Logic, Symbolic and mathematical fast Probabilities fast Reasoning fast Uncertainty (Information theory) fast COMPUTER SCIENCE/General COMPUTER SCIENCE/Artificial Intelligence PHILOSOPHY/General Textbooks fast Textbooks. lcgft http://id.loc.gov/authorities/genreForms/gf2014026191 has work: Reasoning about uncertainty (Text) https://id.oclc.org/worldcat/entity/E39PCFQRfCBy9gBVh96WVCPgjC https://id.oclc.org/worldcat/ontology/hasWork Print version: Halpern, Joseph Y., 1953- Reasoning about uncertainty. Second edition. ©2017 9780262533805 0262533804 (DLC) 2016047134 (OCoLC)959036765 |
| spellingShingle | Halpern, Joseph Y., 1953- Reasoning about uncertainty / Intro -- Contents -- Preface -- 1 Introduction and Overview -- 2 Representing Uncertainty -- 3 Updating Beliefs -- 4 Independence and Bayesian Networks -- 5 Expectation -- 6 Multi-Agent Systems -- 7 Logics for Reasoning about Uncertainty -- 8 Beliefs, Defaults, and Counterfactuals -- 9 Belief Revision -- 10 First-Order Modal Logic -- 11 From Statistics to Beliefs -- 12 Final Words -- References -- Glossary of Symbols -- Index. Uncertainty (Information theory) Textbooks. Probabilities Textbooks. Reasoning Textbooks. Logic, Symbolic and mathematical Textbooks. SCIENCE System Theory. bisacsh TECHNOLOGY & ENGINEERING Operations Research. bisacsh Logic, Symbolic and mathematical fast Probabilities fast Reasoning fast Uncertainty (Information theory) fast |
| subject_GND | http://id.loc.gov/authorities/genreForms/gf2014026191 |
| title | Reasoning about uncertainty / |
| title_auth | Reasoning about uncertainty / |
| title_exact_search | Reasoning about uncertainty / |
| title_full | Reasoning about uncertainty / Joseph Y. Halpern. |
| title_fullStr | Reasoning about uncertainty / Joseph Y. Halpern. |
| title_full_unstemmed | Reasoning about uncertainty / Joseph Y. Halpern. |
| title_short | Reasoning about uncertainty / |
| title_sort | reasoning about uncertainty |
| topic | Uncertainty (Information theory) Textbooks. Probabilities Textbooks. Reasoning Textbooks. Logic, Symbolic and mathematical Textbooks. SCIENCE System Theory. bisacsh TECHNOLOGY & ENGINEERING Operations Research. bisacsh Logic, Symbolic and mathematical fast Probabilities fast Reasoning fast Uncertainty (Information theory) fast |
| topic_facet | Uncertainty (Information theory) Textbooks. Probabilities Textbooks. Reasoning Textbooks. Logic, Symbolic and mathematical Textbooks. SCIENCE System Theory. TECHNOLOGY & ENGINEERING Operations Research. Logic, Symbolic and mathematical Probabilities Reasoning Uncertainty (Information theory) Textbooks Textbooks. |
| work_keys_str_mv | AT halpernjosephy reasoningaboutuncertainty |