Artificial intelligence in scientific computation: towards second generation systems: IMACS transactions on scientific computing '88
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Basel
Baltzer
1989
|
| Schriftenreihe: | IMACS annals on computing and applied mathematics
2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 363 S. graph. Darst. |
| ISBN: | 3905135612 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV024398045 | ||
| 003 | DE-604 | ||
| 005 | 20090910 | ||
| 007 | t | ||
| 008 | 950214s1989 d||| |||| 10||| und d | ||
| 020 | |a 3905135612 |9 3-905135-61-2 | ||
| 035 | |a (OCoLC)311436575 | ||
| 035 | |a (DE-599)BVBBV024398045 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | |a und | ||
| 049 | |a DE-83 | ||
| 245 | 1 | 0 | |a Artificial intelligence in scientific computation: towards second generation systems |b IMACS transactions on scientific computing '88 |c ed.: R. Huber ... |
| 264 | 1 | |a Basel |b Baltzer |c 1989 | |
| 300 | |a 363 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a IMACS annals on computing and applied mathematics |v 2 | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Huber, R. |4 edt | |
| 830 | 0 | |a IMACS annals on computing and applied mathematics |v 2 |w (DE-604)BV004709836 |9 2 | |
| 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=018376890&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018376890 | ||
Datensatz im Suchindex
| _version_ | 1804140362629906432 |
|---|---|
| adam_text | IMACS IMACS) ANNALS ON COMPUTING AND APPLIED MATHEMATICS IMACS
TRANSACTIONS ON SCIENTIFIC COMPUTING 88 SERIES EDITORS: P. BORNE AND R.
VICHNEVETSKY VOLUME 2 ARTIFICIAL INTELLIGENCE IN SCIENTIFIC COMPUTATION:
TOWARDS SECOND GENERATION SYSTEMS EDITORS: R. HUBER, C. KULIKOWSKI, J.M.
DAVID AND J.R KRIVINE 1989 7?. IFTI IOTHEK TEOIWIFI^HE | INFORMA1
*IONS2IEUOTHEK -NIL. / J.C BALTZER AG, SCIENTIFIC PUBLISHING COMPANY,
BASEL-SWITZERLAND CONTENTS VOL. 2 - PP. 1-363 PREFACE SECTION I INVITED
PAPERS PP. 1-50 PLANNING FOR PROBLEM SOLVING: A SURVEY C. TORRAS 3
INTELLIGENT SIMULATION ENVIRONMENTS P.A. LUKER 15 KNOWLEDGE
REPRESENTATIONS AND UTILIZATION IN SIMULATION METHODOLOGY B.P. ZEIGLER
27 EXPERT SYSTEMS IN SIMULATION A.M. WILDBERGER 37 EXPERT SYSTEMS SHELLS
FOR AUTOMATION A. SANFELIU 43 SECTION II QUALITATIVE MODELING PP. 51-81
QUALITATIVE CALCULUS AND APPLICATIONS L. TRAVE AND J.L. DORMOY 53
REASONING ABOUT PHYSICAL SYSTEMS: A UNIFYING PERSPECTIVE B. BREDEWEG AND
B.J. WIELINGA 63 PUTTING STRUCTURE ON THE PROCESS MODELS IN QUALITATIVE
PHYSICS G. SUTSCHET 69 A CALCULUS BASED ON QUALITATIVE ORDER OF
MAGNITUDE AND ITS APPLICATIONS TO FINANCIAL MATHEMATICS F. GARDIN AND S.
VATURI 73 SECTION III CONTRIBUTIONS TO INFERENCE AND DEEP REASONING PP.
83-143 WHY DO EXPERT SYSTEMS NEED DEEP KNOWLEDGE? C. PRICE AND M. LEE 85
REASONING ABOUT MECHANICAL STRUCTURES FROM FIRST PRINCIPLES J. CAGAN AND
A.M. AGOGINO 91 A DIFFERENTIAL APPROACH TO REASONING BY ANALOGY G.B.
PORTER, III 99 CONTENTS HUMAN REASONING WITH HEURISTIC AND DEEP
KNOWLEDGE A. GRUMBACH 115 AN APPLICATION OF ASSUMPTION-BASED AND
NONMONOTONIC REASONING TO STRATEGIC SITUATION ASSESSMENT A.L. BROWN, JR.
AND D.E. GAUCAS 119 A CONCEPTUAL ARCHITECTURE OF SECOND GENERATION
EXPERT SYSTEMS W. VAN DE VELDE 129 A FRAMEWORK FOR MODELLING AND LINKING
THE STRUCTURE AND BEHAVIOUR OF A SYSTEM C. OUSSALAH, N. GIAMBIASI AND R.
LBATH 137 SECTION IV MULTILEVEL REPRESENTATIONS, HEURISTICS AND DEEP
KNOWLEDGE PP. 145-212 COMBINING QUALITATIVE AND QUANTITATIVE SIMULATION
FOR PERFORMABILITY EVALUATION OF COMPUTER SYSTEMS G. BURLE 147 HEURISTIC
AND CAUSAL REASONING IN CHECK L. CONSOLE AND P. TORASSO 155 COMPATIBLE
LEVELS OF TEMPORAL ABSTRACTION IN DYNAMIC SYSTEMS MODELLING G.
SCHAFER-RICHTER 165 USING ASSOCIATIONAL AND CAUSAL REASONING TO ACHIEVE
EFFICIENCY AND ROBUSTNESS IN PROBLEM SOLVING R.G. SIMMONS 171 FLEX * A
MODEL - BASED EXPERT SYSTEM FOR THE PRODUCTION CONTROL OF A FLEXIBLE
FLOW LINE A. HUBER 181 THE DEEPENING OF EXPERT SYSTEMS L. STEELS 189
ANALOGY AND DEEP KNOWLEDGE AS A HEURISTIC FOR AN EXPERT SYSTEM L.
BRUNEAU 197 DISTRIBUTED ABDUCTION IN MDX2 J. STICKLEN 203 SECTION V
BIOMEDICAL APPLICATIONS OF EXPERT MODELING AND SIMULATION PP. 213-242
AUTOMATING THE EXPERT REASONING IN POSTULATING ENZYME KINETIC MODELS
V.-W. SOO 215 A KNOWLEDGE BASED SYSTEM FOR EDUCATION ON THE MANAGEMENT
OF DIABETES V. AMBROSIADOU AND A. BOULTON 221 CONSTRUCTION OF METABOLIC
MODELS USING ARTIFICIAL INTELLIGENCE TECHNIQUES D. GARFINKEL, M.C. KOHN,
M.J. ACHS, L. GARFINKEL AND C.A. KULIKOWSKI 225 A COMPUTER AIDED
MODELING SYSTEM USING AN OBJECT-CENTERED REPRESENTATION C.
PIERRET-GOLBREICH 233 CONTENTS SECTION VI CLASSIFICATION AND DIAGNOSTIC
SYSTEMS PP. 243-281 ORGANIZING CLASSIFICATORY KNOWLEDGE BY INDUCTION: A
CASE STUDY IN MANUFACTURING PROCESS PLANNING J. VANCZA 245 DATA
COMMUNICATIONS SOFTWARE DEBUGGING BASED ON EXPERIENTIAL AND MODEL
KNOWLEDGE J.A. BARCHANSKI 251 A MODAL LOGIC FOR DIAGNOSIS FROM DESIGN
R.N. PELAVIN 259 REASONING WITH BOTH HEURISTIC AND DEEP KNOWLEDGE X.
TONG, Z. HE AND R. YU 267 SEMI-AUTOMATIC KNOWLEDGE ACQUISITION FOR
HYBRID EXPERT SYSTEM F. GARDIN AND M. MINATI 273 COMBINED KNOWLEDGE- AND
MODEL-BASED FAULT DETECTION AND DIAGNOSIS FOR GAS TRANSMISSION NETWORKS
L.W. TAO, G. LAPPUS AND G. SCHMIDT 279 SECTION VII AI APPLICATIONS IN
DESIGN, PRODUCTION AND PROJECT CONTROL PP. 283-317 KNOWLEDGE-BASED
SYSTEM FOR CAD APPLICATION BUILDING AND MANAGEMENT C. FRYDMAN, N.
GIAMBIASI, M. SIGAL AND P. BAYLE 285 AN EMBEDDED REAL-TIME REASONING
SYSTEM M.P. GEORGEFF 291 A HIERARCHICAL KNOWLEDGE BASED SYSTEM FOR
PATTERN GENERATION AID J.F. SANTUCCI, K. DJAFARI, M. BOUMEDINE AND P.
ROUX 295 PETRI NETS AND PRODUCTION RULES FOR DECISION LEVELS IN FMS
CONTROL R. VALETTE, J. CARDOSO, H. ATABAKHCHE, M. COURVOISIER AND T.
LEMAIRE 301 MERGING ARTIFICIAL INTELLIGENCE TECHNIQUES AND PETRI NETS
FOR REAL TIME SCHEDULING AND CONTROL OF PRODUCTION SYSTEMS J. MARTINEZ,
P.R. MURO, M. SILVA, S.F. SMITH AND J.L. VILLARROEL 307 USING PETRI NETS
AND RULE-BASED SYSTEM IN MANUFACTURING SYSTEMS M. RILLO 315 SECTION VIII
AI APPLICATIONS IN MANUFACTURING AND INDUSTRY PP. 319-360 A
KNOWLEDGE-BASED APPROACH TO PART TYPE SELECTION CONSIDERING DUE DATES IN
FMSS K.E. STECKE, I. KIM AND M. MIN 321 ON INTELLIGENT MANUFACTURING
SYSTEMS G. CHRYSSOLOURIS 327 AN EXPERT SYSTEM FOR SELECTING SENSORS AND
GRIPPERS FOR ROBOTS T.J. DOLL 333 ADAPTIVE CONTROL WITH A SUPERVISOR
LEVEL USING A RULE BASED INFERENCE SYSTEM WITH APPROXIMATE REASONING R.
SANZ, J. AGUILAR MARTIN, C. SIERRA, L. GODO AND A. OLLERO 337 ARTIFICIAL
INTELLIGENCE FOR ROTATING MACHINERY MONITORING R. MILNE 343 A WORKCELL
CONTROLLER USING A KNOWLEDGE-BASED SIMULATION MODEL FOR REAL-TIME
PRODUCTION PLANNING IN THE ELECTRONICS INDUSTRY R. ISENBERG AND M.
HUEBNER 347 COMPUTER MANAGEMENT OF COORDINATION IN FLEXIBLE
MANUFACTURING A. PAGNONI 355 AUTHOR INDEX 361
|
| any_adam_object | 1 |
| author2 | Huber, R. |
| author2_role | edt |
| author2_variant | r h rh |
| author_facet | Huber, R. |
| building | Verbundindex |
| bvnumber | BV024398045 |
| ctrlnum | (OCoLC)311436575 (DE-599)BVBBV024398045 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01247nam a2200301 cb4500</leader><controlfield tag="001">BV024398045</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950214s1989 d||| |||| 10||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3905135612</subfield><subfield code="9">3-905135-61-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)311436575</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024398045</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Artificial intelligence in scientific computation: towards second generation systems</subfield><subfield code="b">IMACS transactions on scientific computing '88</subfield><subfield code="c">ed.: R. Huber ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel</subfield><subfield code="b">Baltzer</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">363 S.</subfield><subfield code="b">graph. Darst.</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">IMACS annals on computing and applied mathematics</subfield><subfield code="v">2</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="700" ind1="1" ind2=" "><subfield code="a">Huber, R.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">IMACS annals on computing and applied mathematics</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV004709836</subfield><subfield code="9">2</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=018376890&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-018376890</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV024398045 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:58:47Z |
| institution | BVB |
| isbn | 3905135612 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018376890 |
| oclc_num | 311436575 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 363 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Baltzer |
| record_format | marc |
| series | IMACS annals on computing and applied mathematics |
| series2 | IMACS annals on computing and applied mathematics |
| spelling | Artificial intelligence in scientific computation: towards second generation systems IMACS transactions on scientific computing '88 ed.: R. Huber ... Basel Baltzer 1989 363 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier IMACS annals on computing and applied mathematics 2 (DE-588)1071861417 Konferenzschrift gnd-content Huber, R. edt IMACS annals on computing and applied mathematics 2 (DE-604)BV004709836 2 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018376890&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Artificial intelligence in scientific computation: towards second generation systems IMACS transactions on scientific computing '88 IMACS annals on computing and applied mathematics |
| subject_GND | (DE-588)1071861417 |
| title | Artificial intelligence in scientific computation: towards second generation systems IMACS transactions on scientific computing '88 |
| title_auth | Artificial intelligence in scientific computation: towards second generation systems IMACS transactions on scientific computing '88 |
| title_exact_search | Artificial intelligence in scientific computation: towards second generation systems IMACS transactions on scientific computing '88 |
| title_full | Artificial intelligence in scientific computation: towards second generation systems IMACS transactions on scientific computing '88 ed.: R. Huber ... |
| title_fullStr | Artificial intelligence in scientific computation: towards second generation systems IMACS transactions on scientific computing '88 ed.: R. Huber ... |
| title_full_unstemmed | Artificial intelligence in scientific computation: towards second generation systems IMACS transactions on scientific computing '88 ed.: R. Huber ... |
| title_short | Artificial intelligence in scientific computation: towards second generation systems |
| title_sort | artificial intelligence in scientific computation towards second generation systems imacs transactions on scientific computing 88 |
| title_sub | IMACS transactions on scientific computing '88 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018376890&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004709836 |
| work_keys_str_mv | AT huberr artificialintelligenceinscientificcomputationtowardssecondgenerationsystemsimacstransactionsonscientificcomputing88 |