Logical and computational aspects of model-based reasoning:
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Kluwer Academic Publ.
2002
|
| Schriftenreihe: | Applied logic series
25 |
| Schlagworte: | |
| Online-Zugang: | Publisher description Table of contents only Inhaltsverzeichnis |
| Beschreibung: | "... based on the papers that were presented at the International Conference Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (MBR'01), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in May 2001. Includes bibliographical references and indexes |
| Beschreibung: | xvi, 339 S. Ill. 25 cm |
| ISBN: | 1402007124 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV037158648 | ||
| 003 | DE-604 | ||
| 005 | 20110217 | ||
| 007 | t | ||
| 008 | 110124s2002 ne a||| |||| 00||| eng d | ||
| 010 | |a 2002028955 | ||
| 020 | |a 1402007124 |c alk. paper |9 1-402-00712-4 | ||
| 035 | |a (OCoLC)248463920 | ||
| 035 | |a (DE-599)BVBBV037158648 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c NL | ||
| 049 | |a DE-355 | ||
| 050 | 0 | |a Q175.32.R45 | |
| 082 | 0 | |a 501 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 245 | 1 | 0 | |a Logical and computational aspects of model-based reasoning |c edited by Lorenzo Magnani, ... |
| 264 | 1 | |a Dordrecht |b Kluwer Academic Publ. |c 2002 | |
| 300 | |a xvi, 339 S. |b Ill. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Applied logic series |v 25 | |
| 500 | |a "... based on the papers that were presented at the International Conference Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (MBR'01), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in May 2001. | ||
| 500 | |a Includes bibliographical references and indexes | ||
| 650 | 4 | |a Naturwissenschaft | |
| 650 | 4 | |a Science |x Methodology |v Congresses | |
| 650 | 4 | |a Discoveries in science |v Congresses | |
| 650 | 4 | |a Qualitative reasoning |v Congresses | |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |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 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 655 | 7 | |a Pavia <2001> |2 gnd |9 rswk-swf | |
| 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 | 2 | |a Pavia <2001> |A f |
| 689 | 0 | |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 | 2 | |a Pavia <2001> |A f |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Magnani, Lorenzo |d 1952- |e Sonstige |0 (DE-588)136073018 |4 oth | |
| 711 | 2 | |a International Conference on Model Based Reasoning |d 2001 |c Pavia |j Sonstige |0 (DE-588)5541864-8 |4 oth | |
| 830 | 0 | |a Applied logic series |v 25 |w (DE-604)BV011076498 |9 25 | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0814/2002028955-d.html |3 Publisher description | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0814/2002028955-t.html |3 Table of contents only | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021073320&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-021073320 | ||
Datensatz im Suchindex
| _version_ | 1804143759215034368 |
|---|---|
| adam_text | IMAGE 1
LOGICAL AND
COMPUTATIONAL ASPECTS OF MODEL-BASED REASONING
EDITED BY LORENZO MAGNANI UNIVERSITY OFPAVIA, PAVIA, ITALY
NANCY J. NERSESSIAN
GEORGIA INSTITUTE OF TECHNOLOGY, ATLANTA, GEORGIA, U.S.A.
AND
CLAUDIOPIZZI
UNIVERSITY OF SIENA, SIENA, ITALY
KLUWER ACADEMIC PUBLISHERS
DORDRECHT / BOSTON / LONDON
IMAGE 2
CONTENTS
LOGICAL ASPECTS OF MODEL-BASED REASONING 1
A CASE STUDY OF THE DESIGN AND IMPLEMENTATION OF HETEROGENEOUS REASONING
SYSTEMS 3
NIK SWOBODA, GERARD ALLWEIN 1 BACKGROUND 3
2 OVERVIEW 4
3 SOME PRELIMINARY DEFINITIONS 6
4 A FRAMEWORK FOR HETEROGENEOUS REASONING 9
5 DEFINING THE NOTION OF RECASTING FOR EULER/VENN AND FOL 10
6 THE IMPLEMENTATION 16
A LOGICAL APPROACH TO THE ANALYSIS OF METAPHORS 21
ISABEL D HANIS 1 INTRODUCTION 21
2 THE INTERACTIONIST VIEW AS A BASIS FOR A METAPHOR THEORY 22
3 SOME PROBLEMS WITH THE BASIC FORMULATION OF THE INTERACTIONIST VIEW 24
4 THE ADVANTAGES OF ADAPTIVE LOGICS 27
5 A L M, AN ADAPTIVE LOGIC FOR METAPHORS 28
6 CONCLUSIONS 35
AMPLIATIVE ADAPTIVE LOGICS AND THE FOUNDATION OF LOGIC-BASED APPROACHES
TO ABDUCTION 39
JOKE MEHEUS, LIZA VERHOEVEN, MAARTEN VAN DYCK, DAGMAR PROVIJN 1 AIM AND
SURVEY 40
2 WHY THE RECONSTRUCTION IS IMPORTANT 42
3 MAIN CHARACTERISTICS OF ABDUCTIVE REASONING 44
4 THE GENERAL FORMAT 47
5 INTRODUCING THE DYNAMICS 48
6 THE LOGICS M AI AND C P1 50
7 GENERALIZING TO THE INCONSISTENT CASE 56
8 THE LOGICS M A2 AND C P2 60
9 TWO EXAMPLES FROM THE HISTORY OF ASTRONOMY 62
10 SOME ALTERNATIVES 68
11 CONCLUSION 69
DIAGRAMMATIC INFERENCE AND GRAPHICAL PROOF 73
LUIS A. PINEDA 1 INTRODUCTION 73
IMAGE 3
XIV CONTENTS
2 ABSTRACTION MARKERS 75
3 NOTATIONAL KEYS 80
4 THE SYNTACTIC EFFECT AND REINTERPRETATION 82
5 A DIAGRAMMATIC INFERENCE SCHEME 84
6 GLOBAL REINTERPRETATION 89
A LOGICAL ANALYSIS OF GRAPHICAL CONSISTENCY PROOFS 93
ATSUSHI SHIMOJIMA 1 INTRODUCTION 93
2 EXAMPLES 96
3 ANALYSIS 100
4 PHYSICAL ON-SITE INFERENCES 105
5 SUMMARY 114
ADAPTIVE LOGICS FOR NON-EXPLANATORY AND EXPLANATORY DIAGNOSTIC REASONING
117
DAGMAR PROVIJN, ERIK WEBER 1 INTRODUCTION 117
2 NON-EXPLANATORY AND EXPLANATORY DIAGNOSIS FOR FAULTS IN SYS- TEMS 118
3 ADAPTIVE LOGICS 122
4 AN ADAPTIVE LOGIC FOR NON-EXPLANATORY DIAGNOSTIC REASONING 124 5 THE
DYNAMIC PROOF THEORY OF B NEXP 127
6 AN ILLUSTRATION OF D NEX P 129
7 FORMAL ANALYSIS OF WEAK EXPLANATORY DIAGNOSTIC REASONING 130 8 FORMAL
ANALYSIS OF STRONG EXPLANATORY DIAGNOSTIC REASONING 133 9 AN ADAPTIVE
LOGIC FOR EXPLANATORY DIAGNOSTIC REASONING 134 10 THE DYNAMIC PROOF
THEORY OF B EXP 137
11 AN ILLUSTRATION OF T) EXP 139
MODEL-GUIDED PROOF PLANNING 143
SEUNGYEOB CHOI, MANFRED KERBER 1 INTRODUCTION 143
2 PROOF PLANNING AS A WAY OF REASONING 146
3 MODEL-BASED REASONING 150
4 SEMANTIC RESTRICTION AND SELECTION OF METHODS 154
5 IMPLEMENTATION AND INITIAL RESULTS 158
6 CONCLUSION 160
DEGREES OF ABDUCTIVE BOLDNESS 163
ISABELLA C. BURGER, JOHANNES HEIDEMA 1 INTRODUCTION: CAUTIOUS INFERENCE
AND BOLD CONJECTURE 163
2 ABDUCTION AS DEFEASIBLE INFERENCE 165
3 MERGING INFERENCE AND CONJECTURE 168
4 ABDUCTION VIA POWER RELATIONS , 173
SCIENTIFIC EXPLANATION AND MODIFIED SEMANTIC TABLEAUX 181
ANGEL NEPOMUCENO-FERNANDEZ 1 INTRODUCTION 181
2 MODIFIED SEMANTIC TABLEAUX 182
3 SCIENTIFIC EXPLANATION 184
4 CONCLUSIONS 190
5 APPENDIX 191
IMAGE 4
CONTENTS XV
COMPUTATIONAL ASPECTS OF MODEL-BASED REASONING 199
COMPUTATIONAL DISCOVERY OF COMMUNICABLE KNOWLEDGE 201 PAT LANGLEY, JEFF
SHRAGER, KAZUMI SAITO 1 INTRODUCTION 201
2 PARADIGMS FOR COMPUTATIONAL DISCOVERY 202
3 REVISING REGULATORY MODELS IN MICROBIOLOGY 206
4 REVISING QUANTITATIVE MODELS IN EARTH SCIENCE 211
5 RELATED RESEARCH ON COMPUTATIONAL DISCOVERY 219
6 CONCLUDING REMARKS 221
ENCODING AND USING DOMAIN KNOWLEDGE ON POPULATION DYNAMICS FOR EQUATION
DISCOVERY 227
SASO DZEROSKI, LJUPCO TODOROVSKI 1 INTRODUCTION 227
2 POPULATION DYNAMICS MODELING 228
3 EQUATION DISCOVERY 234
4 THE EQUATION DISCOVERY SYSTEM LAGRAMGE 2.0 237
5 EXPERIMENTS 239
6 DISCUSSION 243
APPENDIX: THE PROLOG PROGRAM FOR TRANSFORMING THE POPULATION DYNAMICS
DOMAIN KNOWLEDGE INTO GRAMMAR FORM 245
REASONING ABOUT MODELS OF NONLINEAR SYSTEMS 249
REINHARD STOLLE, MATTHEW EASLEY, ELIZABETH BRADLEY 1 REASONING ABOUT
NONLINEAR SYSTEM IDENTIFICATION 250
2 AUTOMATED MODELING AND SCIENTIFIC DISCOVERY 256
3 REPRESENTATIONS FOR MODEL BUILDING 260
4 ORCHESTRATING REASONING ABOUT MODELS 264
5 CONCLUSION 268
MODEL-BASED DIAGNOSIS OF DYNAMIC SYSTEMS: SYSTEMATIC CONFLICT GENERATION
273
BARTIOMIEJ GORNY, ANTONI LIGEZA 1 INTRODUCTION 273
2 CONSISTENCY-BASED DIAGNOSIS: REITER S THEORY 275
3 CAUSAL GRAPH 276
4 GRAPHICAL NOTATION 277
5 PROBLEM FORMULATION 277
6 STRATEGY FOR CONFLICTS CALCULATION AND DIAGNOSES GENERATION 278 7 AN
APPROACH TO SYSTEMATIC CONFLICT GENERATION 279
8 POTENTIAL CONFLICT STRUCTURE 280
9 AN OUTLINE OF ALGORITHMIC APPROACH 282
10 DIAGNOSES CALCULATION - ELEMENTS OF ALGEBRAIC APPROACH 283 11 AN
EXAMPLE 286
12 CONCLUSIONS 289
MODELING THROUGH HUMAN-COMPUTER INTERACTIONS AND MATHEMATICAL DISCOURSE
293
GERMANA MENEZES DA NOBREGA, PHILIPPE MALBOS, JEAN SALLANTIN 1
INTRODUCING YCALCULUS 295
2 AN EXPERIMENT IN LAW 300
IMAGE 5
XVI CONTENTS
3 A FORMAL SYSTEM FOR (/^-CALCULUS 301
4 CONCLUSION 308
COMBINING STRATEGY AND SUB-MODELS FOR THE OBJECTIFIED COMMUNICATION OF
RESEARCH PROGRAMS 313
EKKEHARD FINKEISSEN 1 SCIENTIFIC OBJECTIFICATION OF DECISION-MAKING 314
2 STRATEGY: SUPERIOR STRUCTURE OF DISCRETE DECISIONS 317
3 EMBEDDING OF SUB-MODELS INTO THE DECISION-STRUCTURE 322 4 IMBEDDING OF
INTRA-INDIVIDUAL PREFERENCES INTO THE DECISION MODEL - 324
5 GENERATING INDIVIDUAL PROBLEM SOLUTIONS WITH THE DECISION MODEL 326
6 SUMMARY AND PROSPECTS 328
SUBJECT INDEX 331
AUTHOR INDEX 337
|
| any_adam_object | 1 |
| author_GND | (DE-588)136073018 |
| building | Verbundindex |
| bvnumber | BV037158648 |
| callnumber-first | Q - Science |
| callnumber-label | Q175 |
| callnumber-raw | Q175.32.R45 |
| callnumber-search | Q175.32.R45 |
| callnumber-sort | Q 3175.32 R45 |
| callnumber-subject | Q - General Science |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)248463920 (DE-599)BVBBV037158648 |
| dewey-full | 501 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 501 - Philosophy and theory |
| dewey-raw | 501 |
| dewey-search | 501 |
| dewey-sort | 3501 |
| dewey-tens | 500 - Natural sciences and mathematics |
| discipline | Allgemeine Naturwissenschaft Philosophie |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02843nam a2200625zcb4500</leader><controlfield tag="001">BV037158648</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110124s2002 ne a||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002028955</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402007124</subfield><subfield code="c">alk. paper</subfield><subfield code="9">1-402-00712-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248463920</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV037158648</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="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q175.32.R45</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">501</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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, ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Kluwer Academic Publ.</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 339 S.</subfield><subfield code="b">Ill.</subfield><subfield code="c">25 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"... based on the papers that were presented at the International Conference Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (MBR'01), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in May 2001.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Naturwissenschaft</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science</subfield><subfield code="x">Methodology</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discoveries in science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Qualitative reasoning</subfield><subfield code="v">Congresses</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="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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Pavia <2001></subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="2"><subfield code="a">Pavia <2001></subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><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="2"><subfield code="a">Pavia <2001></subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Magnani, Lorenzo</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)136073018</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Model Based Reasoning</subfield><subfield code="d">2001</subfield><subfield code="c">Pavia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5541864-8</subfield><subfield code="4">oth</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=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0814/2002028955-d.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0814/2002028955-t.html</subfield><subfield code="3">Table of contents only</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021073320&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-021073320</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content Pavia <2001> gnd |
| genre_facet | Konferenzschrift Pavia <2001> |
| id | DE-604.BV037158648 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:52:46Z |
| institution | BVB |
| institution_GND | (DE-588)5541864-8 |
| isbn | 1402007124 |
| language | English |
| lccn | 2002028955 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021073320 |
| oclc_num | 248463920 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR |
| owner_facet | DE-355 DE-BY-UBR |
| physical | xvi, 339 S. Ill. 25 cm |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Kluwer Academic Publ. |
| record_format | marc |
| series | Applied logic series |
| series2 | Applied logic series |
| spelling | Logical and computational aspects of model-based reasoning edited by Lorenzo Magnani, ... Dordrecht Kluwer Academic Publ. 2002 xvi, 339 S. Ill. 25 cm txt rdacontent n rdamedia nc rdacarrier Applied logic series 25 "... based on the papers that were presented at the International Conference Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (MBR'01), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in May 2001. Includes bibliographical references and indexes Naturwissenschaft Science Methodology Congresses Discoveries in science Congresses Qualitative reasoning Congresses Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Pavia <2001> gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 s Nichtmonotones Schließen (DE-588)4210699-0 s Pavia <2001> f DE-604 Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s Magnani, Lorenzo 1952- Sonstige (DE-588)136073018 oth International Conference on Model Based Reasoning 2001 Pavia Sonstige (DE-588)5541864-8 oth Applied logic series 25 (DE-604)BV011076498 25 http://www.loc.gov/catdir/enhancements/fy0814/2002028955-d.html Publisher description http://www.loc.gov/catdir/enhancements/fy0814/2002028955-t.html Table of contents only GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021073320&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logical and computational aspects of model-based reasoning Applied logic series Naturwissenschaft Science Methodology Congresses Discoveries in science Congresses Qualitative reasoning Congresses Wissensrepräsentation (DE-588)4049534-6 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4049534-6 (DE-588)4210699-0 (DE-588)4036202-4 (DE-588)4033447-8 (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, ... |
| title_fullStr | Logical and computational aspects of model-based reasoning edited by Lorenzo Magnani, ... |
| title_full_unstemmed | Logical and computational aspects of model-based reasoning edited by Lorenzo Magnani, ... |
| title_short | Logical and computational aspects of model-based reasoning |
| title_sort | logical and computational aspects of model based reasoning |
| topic | Naturwissenschaft Science Methodology Congresses Discoveries in science Congresses Qualitative reasoning Congresses Wissensrepräsentation (DE-588)4049534-6 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Naturwissenschaft Science Methodology Congresses Discoveries in science Congresses Qualitative reasoning Congresses Wissensrepräsentation Nichtmonotones Schließen Logik Künstliche Intelligenz Konferenzschrift Pavia <2001> |
| url | http://www.loc.gov/catdir/enhancements/fy0814/2002028955-d.html http://www.loc.gov/catdir/enhancements/fy0814/2002028955-t.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021073320&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011076498 |
| work_keys_str_mv | AT magnanilorenzo logicalandcomputationalaspectsofmodelbasedreasoning AT internationalconferenceonmodelbasedreasoningpavia logicalandcomputationalaspectsofmodelbasedreasoning |