Conditional and preferential logics: proof methods and theorem proving
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press
©2010
|
| Series: | Frontiers in artificial intelligence and applications
v. 208 Frontiers in artificial intelligence and applications |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references (pages 193-200) Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi |
| Physical Description: | 1 Online-Ressource (viii, 200 pages) |
| ISBN: | 1607500949 1607500957 9781607500940 9781607500957 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043106527 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 1607500949 |9 1-60750-094-9 | ||
| 020 | |a 1607500957 |c electronic bk. |9 1-60750-095-7 | ||
| 020 | |a 9781607500940 |9 978-1-60750-094-0 | ||
| 020 | |a 9781607500940 |9 978-1-60750-094-0 | ||
| 020 | |a 9781607500957 |c electronic bk. |9 978-1-60750-095-7 | ||
| 035 | |a (OCoLC)619195294 | ||
| 035 | |a (DE-599)BVBBV043106527 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 100 | 1 | |a Pozzato, Gian Luca |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Conditional and preferential logics |b proof methods and theorem proving |c Gian Luca Pozzato |
| 264 | 1 | |a Amsterdam |b IOS Press |c ©2010 | |
| 300 | |a 1 Online-Ressource (viii, 200 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Frontiers in artificial intelligence and applications |v v. 208 | |
| 490 | 0 | |a Frontiers in artificial intelligence and applications | |
| 500 | |a Includes bibliographical references (pages 193-200) | ||
| 500 | |a Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work | ||
| 500 | |a Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi | ||
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Proof theory |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Proof theory | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315805 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028530718 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315805 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315805 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175521764868096 |
|---|---|
| any_adam_object | |
| author | Pozzato, Gian Luca |
| author_facet | Pozzato, Gian Luca |
| author_role | aut |
| author_sort | Pozzato, Gian Luca |
| author_variant | g l p gl glp |
| building | Verbundindex |
| bvnumber | BV043106527 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)619195294 (DE-599)BVBBV043106527 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02573nmm a2200493zcb4500</leader><controlfield tag="001">BV043106527</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607500949</subfield><subfield code="9">1-60750-094-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607500957</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-60750-095-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607500940</subfield><subfield code="9">978-1-60750-094-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607500940</subfield><subfield code="9">978-1-60750-094-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607500957</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-60750-095-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)619195294</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043106527</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pozzato, Gian Luca</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conditional and preferential logics</subfield><subfield code="b">proof methods and theorem proving</subfield><subfield code="c">Gian Luca Pozzato</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">©2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 200 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">v. 208</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 193-200)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</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">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315805</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028530718</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315805</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315805</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043106527 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:17:37Z |
| institution | BVB |
| isbn | 1607500949 1607500957 9781607500940 9781607500957 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028530718 |
| oclc_num | 619195294 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (viii, 200 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | Pozzato, Gian Luca Verfasser aut Conditional and preferential logics proof methods and theorem proving Gian Luca Pozzato Amsterdam IOS Press ©2010 1 Online-Ressource (viii, 200 pages) txt rdacontent c rdamedia cr rdacarrier Frontiers in artificial intelligence and applications v. 208 Frontiers in artificial intelligence and applications Includes bibliographical references (pages 193-200) Title page; Preface; Contents; Introduction; Conditional Logics; KLM Logics; A Sequent Calculus for Standard Conditional Logics; Analytic Tableau Calculi for KLM Logics; Theorem Provers for Conditional and KLM Logics; Conclusions and Future Work Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Proof theory fast Logic, Symbolic and mathematical Proof theory http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315805 Aggregator Volltext |
| spellingShingle | Pozzato, Gian Luca Conditional and preferential logics proof methods and theorem proving MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Proof theory fast Logic, Symbolic and mathematical Proof theory |
| title | Conditional and preferential logics proof methods and theorem proving |
| title_auth | Conditional and preferential logics proof methods and theorem proving |
| title_exact_search | Conditional and preferential logics proof methods and theorem proving |
| title_full | Conditional and preferential logics proof methods and theorem proving Gian Luca Pozzato |
| title_fullStr | Conditional and preferential logics proof methods and theorem proving Gian Luca Pozzato |
| title_full_unstemmed | Conditional and preferential logics proof methods and theorem proving Gian Luca Pozzato |
| title_short | Conditional and preferential logics |
| title_sort | conditional and preferential logics proof methods and theorem proving |
| title_sub | proof methods and theorem proving |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Proof theory fast Logic, Symbolic and mathematical Proof theory |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Proof theory |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315805 |
| work_keys_str_mv | AT pozzatogianluca conditionalandpreferentiallogicsproofmethodsandtheoremproving |