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.
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Cambridge, MA :
The MIT Press,
[2017]
|
Ausgabe: | Second edition. |
Schlagworte: | |
Online-Zugang: | Volltext |
Zusammenfassung: | 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. |
Beschreibung: | 1 online resource (xv, 488 pages) : illustrations |
Bibliographie: | Includes bibliographical references and indexes. |
ISBN: | 9780262340496 0262340496 |
Internformat
MARC
LEADER | 00000cam a2200000 i 4500 | ||
---|---|---|---|
001 | ZDB-4-EBA-ocn981912273 | ||
003 | OCoLC | ||
005 | 20240705115654.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 |
856 | 1 | |l FWS01 |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 | |
856 | 1 | |l CBO01 |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 |
Datensatz im Suchindex
DE-BY-FWS_katkey | ZDB-4-EBA-ocn981912273 |
---|---|
_version_ | 1813903754944053248 |
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">20240705115654.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="856" ind1="1" ind2=" "><subfield code="l">FWS01</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="856" ind1="1" ind2=" "><subfield code="l">CBO01</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></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 | 2024-10-25T16:23:43Z |
institution | BVB |
isbn | 9780262340496 0262340496 |
language | English |
lccn | 2016047134 |
oclc_num | 981912273 |
open_access_boolean | |
owner | MAIN |
owner_facet | MAIN |
physical | 1 online resource (xv, 488 pages) : illustrations |
psigel | 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 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1498618 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1498618 Volltext |
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. |
url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1498618 |
work_keys_str_mv | AT halpernjosephy reasoningaboutuncertainty |