Cargando…
Grounded consequence for defeasible logic /
This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outlin...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge, UK ; New York :
Cambridge University Press,
©2005.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn252526201 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr zn||||||||| | ||
| 008 | 050203s2005 enka ob 001 0 eng d | ||
| 010 | |a 2005003176 | ||
| 040 | |a MT4IT |b eng |e pn |c MT4IT |d OCLCQ |d N$T |d YDXCP |d E7B |d AZU |d W2U |d OCLCQ |d IDEBK |d OCLCQ |d REDDC |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d OTZ |d OCLCQ |d COO |d STF |d COCUF |d CEF |d OCLCQ |d LHU |d FVL |d YOU |d CANPU |d BRX |d AU@ |d DCT |d VLY |d UKAHL |d OCLCO |d OCLCQ |d SFB |d VT2 | ||
| 015 | |a GBA529005 |2 bnb | ||
| 016 | 7 | |a 013170200 |2 Uk | |
| 019 | |a 71788657 |a 148637331 |a 171123521 |a 519477245 |a 613336362 |a 647519022 |a 756844564 |a 994843910 |a 1035656373 |a 1037757578 |a 1044233439 |a 1044257484 |a 1056323924 |a 1056338863 |a 1058012998 |a 1059532026 |a 1060830893 |a 1075387522 |a 1079886723 |a 1086917517 |a 1110899535 |a 1125844221 |a 1162023633 |a 1241927321 |a 1242477120 | ||
| 020 | |a 0511191332 |q (electronic bk.) | ||
| 020 | |a 0511161344 |q (electronic bk.) | ||
| 020 | |a 9780511161346 |q (electronic bk.) | ||
| 020 | |a 9780511160066 | ||
| 020 | |a 0511160062 | ||
| 020 | |a 9780511191336 |q (electronic bk.) | ||
| 020 | |a 9786610541256 | ||
| 020 | |a 6610541256 | ||
| 020 | |a 9780511299445 |q (e-book) | ||
| 020 | |a 0511299443 | ||
| 020 | |a 1107151600 | ||
| 020 | |a 9781107151604 | ||
| 020 | |a 1280541253 | ||
| 020 | |a 9781280541254 | ||
| 020 | |a 0511498411 | ||
| 020 | |a 9780511498411 | ||
| 020 | |a 0511160631 | ||
| 020 | |a 9780511160639 | ||
| 020 | |z 0521842050 |q (Cloth) | ||
| 020 | |z 9780521842051 | ||
| 024 | 3 | |z 9780521842051 | |
| 029 | 1 | |a AU@ |b 000042831780 | |
| 029 | 1 | |a YDXCP |b 2472732 | |
| 035 | |a (OCoLC)252526201 |z (OCoLC)71788657 |z (OCoLC)148637331 |z (OCoLC)171123521 |z (OCoLC)519477245 |z (OCoLC)613336362 |z (OCoLC)647519022 |z (OCoLC)756844564 |z (OCoLC)994843910 |z (OCoLC)1035656373 |z (OCoLC)1037757578 |z (OCoLC)1044233439 |z (OCoLC)1044257484 |z (OCoLC)1056323924 |z (OCoLC)1056338863 |z (OCoLC)1058012998 |z (OCoLC)1059532026 |z (OCoLC)1060830893 |z (OCoLC)1075387522 |z (OCoLC)1079886723 |z (OCoLC)1086917517 |z (OCoLC)1110899535 |z (OCoLC)1125844221 |z (OCoLC)1162023633 |z (OCoLC)1241927321 |z (OCoLC)1242477120 | ||
| 050 | 4 | |a BC199.D38 |b A58 2005eb | |
| 055 | 1 | 3 | |a BC199.D38 |b A58 2005eb |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Antonelli, G. Aldo. | |
| 245 | 1 | 0 | |a Grounded consequence for defeasible logic / |c G. Aldo Antonelli. |
| 260 | |a Cambridge, UK ; |a New York : |b Cambridge University Press, |c ©2005. | ||
| 300 | |a 1 online resource (xii, 118 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 index. | ||
| 505 | 0 | |a The logic of defeasible inference. First-order logic -- Consequence relations -- Nonmonotonic logics -- Skeptical vs. credulous reasoning -- Floating conclusions -- Conflicts and modularity -- Assessment -- Cyclic networks. Background and motivation -- Graph-theoretical preliminaries -- Constructing extensions -- Non-well-founded networks -- Extensions and comparisons. Decoupling ; Zombie paths ; Infinite networks -- Proofs of selected thorems -- General extensions for default logic. Introductory remarks -- Categorical default theories -- Examples -- Grounded extensions -- Examples, continued -- Proofs of selected theorems -- Defeasible consequence relations. Defeasible consequence -- Alternative developments. Seminormal theories ; Optimal extensions ; Circumspect extensions -- Conclusions and comparisons. Existence of extensions ; Defeasible consequence, again ; Floating conclusions, conflicts, and modularity -- Infinitely many defaults -- Proofs of selected theorems. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Defeasible reasoning. | |
| 650 | 6 | |a Raisonnement défaisable. | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Defeasible reasoning. |2 fast |0 (OCoLC)fst01736573 | |
| 776 | 0 | 8 | |i Print version: |a Antonelli, G. Aldo. |t Grounded consequence for defeasible logic. |d Cambridge, UK ; New York : Cambridge University Press, ©2005 |w (DLC) 2005003176 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=159780 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH13420535 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH37557066 | ||
| 938 | |a EBSCOhost |b EBSC |n 159780 | ||
| 938 | |a YBP Library Services |b YANK |n 2472732 | ||
| 938 | |a YBP Library Services |b YANK |n 2591699 | ||
| 994 | |a 92 |b IZTAP | ||