Logical and Computational Aspects of Model-Based Reasoning:
Gespeichert in:
| Weitere beteiligte Personen: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2002
|
| Schriftenreihe: | Applied Logic Series
25 |
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-94-010-0550-0 |
| Beschreibung: | Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising importance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic |
| Umfang: | 1 Online-Ressource (XVI, 342 p) |
| ISBN: | 9789401005500 9781402007910 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-94-010-0550-0 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042423782 | ||
| 003 | DE-604 | ||
| 005 | 20200914 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2002 xx o|||| 00||| eng d | ||
| 020 | |a 9789401005500 |c Online |9 978-94-010-0550-0 | ||
| 020 | |a 9781402007910 |c Print |9 978-1-4020-0791-0 | ||
| 024 | 7 | |a 10.1007/978-94-010-0550-0 |2 doi | |
| 035 | |a (OCoLC)1184394618 | ||
| 035 | |a (DE-599)BVBBV042423782 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Logical and Computational Aspects of Model-Based Reasoning |c edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2002 | |
| 300 | |a 1 Online-Ressource (XVI, 342 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Applied Logic Series |v 25 |x 1386-2790 | |
| 500 | |a Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising importance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | 1 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Magnani, Lorenzo |4 edt | |
| 700 | 1 | |a Nersessian, Nancy J. |4 edt | |
| 700 | 1 | |a Pizzi, Claudio |d 1944- |0 (DE-588)1217628126 |4 edt | |
| 830 | 0 | |a Applied Logic Series |v 25 |w (DE-604)BV011076498 |9 25 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-010-0550-0 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027859199 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2070790 |
|---|---|
| _version_ | 1821931365937971200 |
| any_adam_object | |
| author2 | Magnani, Lorenzo Nersessian, Nancy J. Pizzi, Claudio 1944- |
| author2_role | edt edt edt |
| author2_variant | l m lm n j n nj njn c p cp |
| author_GND | (DE-588)1217628126 |
| author_facet | Magnani, Lorenzo Nersessian, Nancy J. Pizzi, Claudio 1944- |
| building | Verbundindex |
| bvnumber | BV042423782 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1184394618 (DE-599)BVBBV042423782 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-010-0550-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03609nam a2200661zcb4500</leader><controlfield tag="001">BV042423782</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200914 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2002 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401005500</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-010-0550-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402007910</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4020-0791-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-010-0550-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184394618</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423782</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-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical and Computational Aspects of Model-Based Reasoning</subfield><subfield code="c">edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 342 p)</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="1" ind2=" "><subfield code="a">Applied Logic Series</subfield><subfield code="v">25</subfield><subfield code="x">1386-2790</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising importance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Magnani, Lorenzo</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nersessian, Nancy J.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pizzi, Claudio</subfield><subfield code="d">1944-</subfield><subfield code="0">(DE-588)1217628126</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied Logic Series</subfield><subfield code="v">25</subfield><subfield code="w">(DE-604)BV011076498</subfield><subfield code="9">25</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-010-0550-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859199</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042423782 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:10:49Z |
| institution | BVB |
| isbn | 9789401005500 9781402007910 |
| issn | 1386-2790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859199 |
| oclc_num | 1184394618 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XVI, 342 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer Netherlands |
| record_format | marc |
| series | Applied Logic Series |
| series2 | Applied Logic Series |
| spellingShingle | Logical and Computational Aspects of Model-Based Reasoning Applied Logic Series Philosophy (General) Logic Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4033447-8 (DE-588)4210699-0 (DE-588)4049534-6 (DE-588)1071861417 |
| title | Logical and Computational Aspects of Model-Based Reasoning |
| title_auth | Logical and Computational Aspects of Model-Based Reasoning |
| title_exact_search | Logical and Computational Aspects of Model-Based Reasoning |
| title_full | Logical and Computational Aspects of Model-Based Reasoning edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi |
| title_fullStr | Logical and Computational Aspects of Model-Based Reasoning edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi |
| title_full_unstemmed | Logical and Computational Aspects of Model-Based Reasoning edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi |
| title_short | Logical and Computational Aspects of Model-Based Reasoning |
| title_sort | logical and computational aspects of model based reasoning |
| topic | Philosophy (General) Logic Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Philosophy (General) Logic Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie Logik Nichtmonotones Schließen Wissensrepräsentation Konferenzschrift |
| url | https://doi.org/10.1007/978-94-010-0550-0 |
| volume_link | (DE-604)BV011076498 |
| work_keys_str_mv | AT magnanilorenzo logicalandcomputationalaspectsofmodelbasedreasoning AT nersessiannancyj logicalandcomputationalaspectsofmodelbasedreasoning AT pizziclaudio logicalandcomputationalaspectsofmodelbasedreasoning |