Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum Stockholm, Sweden, May 4 - 7, 1993
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
IOS Press
1993
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021917485 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t| | ||
| 008 | 940428s1993 xx d||| |||| 00||| eng d | ||
| 020 | |a 9051991347 |9 90-5199-134-7 | ||
| 035 | |a (OCoLC)258454343 | ||
| 035 | |a (DE-599)BVBBV021917485 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 111 | 2 | |a SCAI |n 4 |d 1993 |c Stockholm |j Verfasser |0 (DE-588)1226363-1 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum |b Stockholm, Sweden, May 4 - 7, 1993 |
| 264 | 1 | |a Amsterdam [u.a.] |b IOS Press |c 1993 | |
| 300 | |a 259 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Frontiers in artificial intelligence and applications | |
| 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 | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sandewall, Erik |e Sonstige |4 oth | |
| 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=015132656&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015132656 | |
Datensatz im Suchindex
| _version_ | 1819678600132034560 |
|---|---|
| adam_text | SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 93 PROCEEDINGS OF
THE FOURTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE ELECTRUM,
STOCKHOLM, SWEDEN MAY 4-7, 1993 EDITED BY ERIK SANDEWALL (LINKOPING
UNIVERSITY, SWEDEN) CARL GUSTAF JANSSON (KTH & STOCKHOLM UNIV., SWEDEN)
I0S PRESS 1993 AMSTERDAM * OXFORD * WASHINGTON, DC * TOKYO TABLE OF
CONTENTS AUTOMATED REASONING I BRIDGING A GAP BETWEEN AI RESEARCH AND
PHILOSOPHY SVEN OVE HANSSON 1 SEMANTICAL CORRESPONDENCE PROPERTIES OF
SOME MODAL SYSTEMS OF LOGIC ROLFNOSSUM AND DOV GABBAY 10 COMPUTING
EXTENSIONS OF NONMONOTONIC LOGICS GRIGORIS ANTONIOU ANDVOLKER
SPERSCHNEIDER 20 QUALITATIVE REASONING QSQR: QUANTITATIVELY SCOPED
QUALITATIVE REASONING CRAIG MACNISH, ANTONY GALTON AND JOHN GOODAY 30 AN
APPROACH FOR QUALITATIVELY PREDICTING RELATIONS FROM RELATIONS THOMAS
FUHR, FRANZ KUMMERT, STEFAN POSCH AND GERHARD SAGERER 38 THE USE OF A
RULE-BASED SYSTEM FOR QUALITATIVE REASONING SAULIUS MASKELIUNAS 50 A NEW
APPROACH TOWARDS MONITORING IN INTELLIGENT AUTONOMOUS ROBOTS
JORG-MICHAEL HASEMANN AND TAPIO HEIKKILD 60 AUTOMATED REASONING II A
SIMPLE MECHANISM FOR TEMPORAL DEDUCTION AND PREDICTION NICOLAS CHLEQ 77
THE ANALYTIC TABLEAUX DEDUCTION FOR LINEAR MINISCOPED TEMPORAL LOGIC
REGIMANTAS PLIUSKEVICIUS 90 PROGRAM DERIVATION AND ITS INTERACTIVE
ENVIRONMENT ANNA-LENA JOHANSSON 97 MACHINE LEARNING I HANDLING IMPERFECT
DATA IN INDUCTIVE LOGIC PROGRAMMING SASODZEROSKI ILL GENERALIZATION
UNDER IMPLICATION: EXPANSION OF CLAUSES FOR INDIRECT ROOTS PETER
IDESTAM-ALMQUIST 126 LEARNING A SUBCLASS OF REGULAR EXPRESSIONS BY
RECOGNIZING PERIODIC REPETITIONS ALVISBRDZMA 137 TABLE OF CONTENTS XIII
MACHINE LEARNING II LEARNING TO PERFORM WEATHER FORECASTING OPERATIONS
RAM KUMAR, CHARLES CHUNG AND CRAIG LINDLEY 147 VISUALIZATION OF DOMAIN
AND CONCEPT DESCRIPTIONS DUNJA MLADENIC 157 A CASE-BASED ANSWER TO SOME
PROBLEMS OF KNOWLEDGE-BASED SYSTEMS AGNAR AAMODT 168 MACHINE LEARNING
AND NEURAL NETWORKS A FRAMEWORK FOR ORGANIZATION AND REPRESENTATION OF
CONCEPT KNOWLEDGE IN AUTONOMOUS AGENTS PAUL DAVIDSSON 183 VISUAL MOTION
DETECTION BASED ON A COOPERATIVE NEURAL NETWORK ARCHITECTURE ROBERT
PALLBO 193 A CONNECTIONIST MODEL FOR ANALYSIS OF TEMPORAL SEQUENCES WITH
NOISE ABHAY B. BULSARI AND HENRIK SAXIN 202 INTERACTIONS IN
KNOWLEDGE-BASED SYSTEMS QUESTION ANSWERING IN THE SWEDISH CORE LANGUAGE
ENGINE BJORN GAMBDCK AND STEFAN LJUNG 212 A FORMAL MODEL OF
COMMUNICATIVE STRATEGY MARE KOIT AND HALDUR DIM 226 FROM PROBLEM SOLVING
TO SOLUTION CRITIQUING BY REUSING AN EXISTING KNOWLEDGE BASE
JONNIHARRIUS 232 KNOWLEDGE BASED SYSTEMS HEURISTIC SEARCH WITHIN STRICT
TIME LIMITS AARNOLEHTOLA 240 INVESTIGATING ESD IN SOME SWEDISH
ORGANIZATIONS: AN EMPIRICAL STUDY MEHDI SAGHEB-TEHRANI 248 AUTHOR INDEX
259
|
| any_adam_object | 1 |
| author_corporate | SCAI Stockholm |
| author_corporate_role | aut |
| author_facet | SCAI Stockholm |
| author_sort | SCAI Stockholm |
| building | Verbundindex |
| bvnumber | BV021917485 |
| ctrlnum | (OCoLC)258454343 (DE-599)BVBBV021917485 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01385nam a2200337zc 4500</leader><controlfield tag="001">BV021917485</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940428s1993 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9051991347</subfield><subfield code="9">90-5199-134-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258454343</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021917485</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SCAI</subfield><subfield code="n">4</subfield><subfield code="d">1993</subfield><subfield code="c">Stockholm</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1226363-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum</subfield><subfield code="b">Stockholm, Sweden, May 4 - 7, 1993</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">IOS Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">259 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="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</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="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sandewall, Erik</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=015132656&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015132656</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV021917485 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T19:47:59Z |
| institution | BVB |
| institution_GND | (DE-588)1226363-1 |
| isbn | 9051991347 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015132656 |
| oclc_num | 258454343 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 259 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spellingShingle | Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum Stockholm, Sweden, May 4 - 7, 1993 Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)1071861417 |
| title | Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum Stockholm, Sweden, May 4 - 7, 1993 |
| title_auth | Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum Stockholm, Sweden, May 4 - 7, 1993 |
| title_exact_search | Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum Stockholm, Sweden, May 4 - 7, 1993 |
| title_full | Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum Stockholm, Sweden, May 4 - 7, 1993 |
| title_fullStr | Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum Stockholm, Sweden, May 4 - 7, 1993 |
| title_full_unstemmed | Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum Stockholm, Sweden, May 4 - 7, 1993 |
| title_short | Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum |
| title_sort | proceedings of the fourth scandinavian conference on artificial intelligence electrum stockholm sweden may 4 7 1993 |
| title_sub | Stockholm, Sweden, May 4 - 7, 1993 |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Künstliche Intelligenz Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015132656&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT scaistockholm proceedingsofthefourthscandinavianconferenceonartificialintelligenceelectrumstockholmswedenmay471993 AT sandewallerik proceedingsofthefourthscandinavianconferenceonartificialintelligenceelectrumstockholmswedenmay471993 |