Cargando…
Conditional and preferential logics : proof methods and theorem proving /
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 implemen...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC :
IOS Press,
©2010.
|
| Colección: | Frontiers in artificial intelligence and applications ;
v. 208. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn619195294 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100518s2010 ne ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d IOSPR |d EBLCP |d YDXCP |d IDEBK |d E7B |d CDX |d MHW |d OCLCQ |d DEBSZ |d OCLCQ |d NLGGC |d OCLCQ |d OCLCF |d OCLCQ |d S3O |d OCLCQ |d LOA |d JBG |d AGLDB |d MOR |d PIFAG |d ZCU |d OTZ |d MERUC |d OCLCQ |d U3W |d STF |d WRM |d OCLCQ |d VTS |d ICG |d INT |d NRAMU |d VT2 |d OCLCQ |d DKC |d AU@ |d OCLCQ |d M8D |d OCLCQ |d AJS |d OCLCO |d OCLCQ |d QGK |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 591163397 |a 647899394 |a 702844074 |a 956750868 |a 960281414 |a 961621739 |a 962624959 |a 966232693 |a 988503702 |a 991996070 |a 994975003 |a 1037911470 |a 1038674632 |a 1045526082 |a 1259220024 | ||
| 020 | |a 9781607500957 |q (electronic bk.) | ||
| 020 | |a 1607500957 |q (electronic bk.) | ||
| 020 | |a 1607500949 | ||
| 020 | |a 9781607500940 | ||
| 020 | |z 9781607500940 | ||
| 020 | |a 6612600764 | ||
| 020 | |a 1282600761 | ||
| 020 | |a 9781282600768 | ||
| 020 | |a 9786612600760 | ||
| 024 | 8 | |a 9786612600760 | |
| 029 | 1 | |a AU@ |b 000045983781 | |
| 029 | 1 | |a AU@ |b 000051357266 | |
| 029 | 1 | |a CHNEW |b 000616034 | |
| 029 | 1 | |a DEBBG |b BV043106527 | |
| 029 | 1 | |a DEBBG |b BV044142848 | |
| 029 | 1 | |a DEBSZ |b 37290310X | |
| 029 | 1 | |a DEBSZ |b 379314665 | |
| 029 | 1 | |a DEBSZ |b 421880651 | |
| 029 | 1 | |a DEBSZ |b 445578165 | |
| 029 | 1 | |a NZ1 |b 15323183 | |
| 035 | |a (OCoLC)619195294 |z (OCoLC)591163397 |z (OCoLC)647899394 |z (OCoLC)702844074 |z (OCoLC)956750868 |z (OCoLC)960281414 |z (OCoLC)961621739 |z (OCoLC)962624959 |z (OCoLC)966232693 |z (OCoLC)988503702 |z (OCoLC)991996070 |z (OCoLC)994975003 |z (OCoLC)1037911470 |z (OCoLC)1038674632 |z (OCoLC)1045526082 |z (OCoLC)1259220024 | ||
| 037 | |a 978-1-60750-095-7 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA9 |b .P699 2010eb | |
| 072 | 7 | |a COM |x COM004000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Pozzato, Gian Luca. | |
| 245 | 1 | 0 | |a Conditional and preferential logics : |b proof methods and theorem proving / |c Gian Luca Pozzato. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS Press, |c ©2010. | ||
| 300 | |a 1 online resource (viii, 200 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 208 | |
| 504 | |a Includes bibliographical references (pages 193-200). | ||
| 505 | 0 | |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. | |
| 520 | |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. | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Proof theory. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Proof theory |2 fast | |
| 758 | |i has work: |a Conditional and preferential logics (Text) |1 https://id.oclc.org/worldcat/entity/E39PD3K3XrvmCvmfdCRB4RxMj3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Conditional and Preferential Logics. |d Ios Pr Inc 2010 |z 9781607500940 |w (OCoLC)567148824 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 208. | |
| 830 | 0 | |a Frontiers in artificial intelligence and applications. |p Dissertations in artificial intelligence. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=501459 |z Texto completo |
| 938 | |a Coutts Information Services |b COUT |n 13613569 |c 99.00 EUR | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL501459 | ||
| 938 | |a ebrary |b EBRY |n ebr10375715 | ||
| 938 | |a EBSCOhost |b EBSC |n 315805 | ||
| 938 | |a YBP Library Services |b YANK |n 3206123 | ||
| 994 | |a 92 |b IZTAP | ||