Proceedings of the 4th Workshop on Artificial Intelligence: Feb. 19 - 23, 1979, Bad Honnef, West Germany
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Bonn
Inst. für Informatik, Univ. Bonn
1979
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 297 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035006857 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 080815s1979 d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)245705870 | ||
| 035 | |a (DE-599)BVBBV035006857 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 111 | 2 | |a Workshop on Artificial Intelligence |n 4 |d 1979 |c Honnef |j Verfasser |0 (DE-588)818383-1 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 4th Workshop on Artificial Intelligence |b Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| 264 | 1 | |a Bonn |b Inst. für Informatik, Univ. Bonn |c 1979 | |
| 300 | |a 297 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 |y 1979 |z Honnef |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=016676165&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016676165 | ||
Datensatz im Suchindex
| _version_ | 1804137925769691136 |
|---|---|
| adam_text | I N S T I T U T FOR INFORMATIK UNIVERSITY BONN PROCEEDINGS OF THE 4TH
WORKSHOP ON ARTIFICIAL INTELLIGENCE CONTENTS LOGIC OF UNCERTAINITY - A
MODEL AND EXAMPLES O F 1 - 2 APPLICATION: P. SCHEFE NATURAL LANGUAGE
PROCESSING AND INFORMATION 4-20 RETRIEVAL: DR. JLIRGEN KRAUSE - IBM
DEUTSCHLAND KOOPERATIVES DIALOGVERHALTEN IM STIMULATIONSSYSTEM 21 - 3!
HAM-RPF!: WOLFGANG HOEPNER, ANTHONY JAMESON PROTEX - A SYSTEM FOR
PRONOUN INTERPRETATION IN 32 - 49 TEXTS: ALBRECHT FAUSER, STUTTGART
GEMEINSAME ASPEKTE VERSCHIEDENER BEWEISVERFAHREN : 50 - 51 W. BIBEL - TU
MUNCHEN A NET BASED THEOREM PROVING PROCEDURE FOR PROGRAM 52 - 61
VERIFICATION AND SYNTHESIS: 0.1. DARLINGTON, QMD BONN EIN KORREKTES UND
VOL1STANDIGES BEWEI SVERF AHREN FLIR 52 - 72 DIE AL 1 GEMEINGLIL TIGKEI
T VON REL ATIONENGL EICHUNGEN : W. SCHB NFELDJ UNIVERSITAT STUTTGART
RESOLUTION WITH COMPLEX CLAUSES: W. DILGER, MANNHEIM 73 - 88 UND GUIDO
PERSCH, KARLSRUHE A GUIDED TOUR THROUGH A WORKING THEOREM PROVER: 29 _
97 J. ST. MOORE, MENLO PARK, CA. USA A METHODOLOGY FOR RECURSION TO
ITERATION PROGRAM 90 _ 102 TRANSFORMATION USING A GENERALIZATION
TECHNIQUE: I. KODRATOFF, PARIS A SYSTEM WHICH SYNTHESIZES
ARRAY-MANIPULATING PROGRAMS 1Q3 - 111 FROM SPECIFICATIONS: M. BIDOIT, C.
GRESSE, G. GUIHO CONCURRENT LOGIC: M. DA USMANN, G. PERSCH, G.
WINTERSTEIN 112 - 119 UNIVERSITAT KAISERSLAUTERN AUGMENTING THE
USEFULNESS OF VARIABLES: THE FITTER 120 - 134 V_I_E_WJ H_. BOLEY,
HAMBURG STRATEGIEN ZUR ANALYSE VON SZENEN MIT BEWEGUNQ: 135 - 139 B.
NEUMANN, B. RADIG, HAMBURG PARTS HIERARCHIES: L.K. SCHUBERT, KARLSRUHE
140 - 145 REPRESENTATION OF KNOWLEDGE BY MEANS OF NONPROCEDURAL 146 -
147 LANGUAGES AND THEIR COMPILERS: D. GERNERT, MU NCHEN APPLYING GAME
PROGRAMMING METHODS TO NATURAL LANGUAGE 148 - 157 TUTORIAL SYSTEMS: H.
MARCHAND, FRANKFURT ALGORITHMS FOR UNIVERSAL SYSTEM OPTIMIZATION: 158 -
169 D. LAZAK, GRONI NGEN, NETHERLANDS THE MARKGRAF KARL REFUTATION
PROCEDURE: N. EINSINGER, 170 - 177 J. SIEKMANN, E. UNVERICHT, KARLSRUHE
A SHORT SURVEY ON THE STATE OF THE ART IN MATCHING 178 - 193 PROBLEMS:
J. SIEKMANN, KARLSRUHE THE UNDECIDABILITY OF THE DAMNIFICATION PROBLEM:
194 - 207 P. SZABO, KARLSRUHE UNIFIKATION VON MORPHISMEN: E_. VOGEL,
KARLSRUHE 208 - 213 UNIFICATION IN COLLAPSING EQUATIONAL THEORIES: 214
P. RAULEFS, BONN UNIFICATION UNDER POWER ASSOCIATIVITY: CH. PELTASON, P
. RAULEFS, BONN AUTOMATIC LEARNING: J . P . TREUI1 , B . MELESE 215 - 22
5 A THEORETICAL FRAME FOR THE GRAMMATICAL INFERENCE 226 - 227 OF
L-SYSTEMS: W. COY, DORTMUND OBJECT-ORIENTED PROGRAMMING AND THE
GLASS-BOX APPROACH- 228 - 242 IMPLICATIONS FOR PROBLEM SOLVING AND
KNOWLEDGE REPRESEN- TATION: G. FISCHER, STUTTGART MASCHINELLES UND
MENSCHLICHES LERNEN AM BEISPIEL EINES 243 - 24^ GRAMMATI
K-LERNPROGRAMMS: E.R. REICHI U. A., LINZ,OSTERR. VERSUCH EINER
NATURWISSENSCHAFTLICHEN INTERPRETATION 245 - 267 PSYCHISCHER PHANOMENE:
P_. ST. PU11ER A PROCEDURAL GRAMMAR FOR SENTENCE PRODUCTION: 268 E.
HOENKAMP & GERARD KEMPEN, NIJMEGEN, NETHERLANDS DER ATN-FORMALISMUS ALS
PROGRAMMIERSPRACHE: 269 - 274 TH. CHRISTALIER, BIELEFELD INTERFACING A
SEMANTIC NET WITH A SEMANTIC GRAMMAR: 275 - 286 J. LAUBSCH, STUTTGART
PARALLELVERARBEITUNG BEI DER AUTOMATISCHEN SPRACH- 287 ANALYSE: G. GORZ
ZUR DARSTELLUNG VON HANDL UNGSABI A UFEN IN EINEM 288 - 297
INFORMATIONSSYSTEM: K. HESS, BONN
|
| adam_txt |
I N S T I T U T FOR INFORMATIK UNIVERSITY BONN PROCEEDINGS OF THE 4TH
WORKSHOP ON ARTIFICIAL INTELLIGENCE CONTENTS LOGIC OF UNCERTAINITY - A
MODEL AND EXAMPLES O F 1 - 2 APPLICATION: P. SCHEFE NATURAL LANGUAGE
PROCESSING AND INFORMATION 4-20 RETRIEVAL: DR. JLIRGEN KRAUSE - IBM
DEUTSCHLAND KOOPERATIVES DIALOGVERHALTEN IM STIMULATIONSSYSTEM 21 - 3!
HAM-RPF!: WOLFGANG HOEPNER, ANTHONY JAMESON PROTEX - A SYSTEM FOR
PRONOUN INTERPRETATION IN 32 - 49 TEXTS: ALBRECHT FAUSER, STUTTGART
GEMEINSAME ASPEKTE VERSCHIEDENER BEWEISVERFAHREN : 50 - 51 W. BIBEL - TU
MUNCHEN A NET BASED THEOREM PROVING PROCEDURE FOR PROGRAM 52 - 61
VERIFICATION AND SYNTHESIS: 0.1. DARLINGTON, QMD BONN EIN KORREKTES UND
VOL1STANDIGES BEWEI SVERF AHREN FLIR 52 - 72 DIE AL 1 GEMEINGLIL TIGKEI
T VON REL ATIONENGL EICHUNGEN : W. SCHB'NFELDJ UNIVERSITAT STUTTGART
RESOLUTION WITH COMPLEX CLAUSES: W. DILGER, MANNHEIM 73 - 88 UND GUIDO
PERSCH, KARLSRUHE A GUIDED TOUR THROUGH A WORKING THEOREM PROVER: 29 _
97 J. ST. MOORE, MENLO PARK, CA. USA A METHODOLOGY FOR RECURSION TO
ITERATION PROGRAM 90 _ 102 TRANSFORMATION USING A GENERALIZATION
TECHNIQUE: I. KODRATOFF, PARIS A SYSTEM WHICH SYNTHESIZES
ARRAY-MANIPULATING PROGRAMS 1Q3 - 111 FROM SPECIFICATIONS: M. BIDOIT, C.
GRESSE, G. GUIHO CONCURRENT LOGIC: M. DA USMANN, G. PERSCH, G.
WINTERSTEIN 112 - 119 UNIVERSITAT KAISERSLAUTERN AUGMENTING THE
USEFULNESS OF VARIABLES: THE FITTER 120 - 134 V_I_E_WJ H_. BOLEY,
HAMBURG STRATEGIEN ZUR ANALYSE VON SZENEN MIT BEWEGUNQ: 135 - 139 B.
NEUMANN, B. RADIG, HAMBURG PARTS HIERARCHIES: L.K. SCHUBERT, KARLSRUHE
140 - 145 REPRESENTATION OF KNOWLEDGE BY MEANS OF NONPROCEDURAL 146 -
147 LANGUAGES AND THEIR COMPILERS: D. GERNERT, MU'NCHEN APPLYING GAME
PROGRAMMING METHODS TO NATURAL LANGUAGE 148 - 157 TUTORIAL SYSTEMS: H.
MARCHAND, FRANKFURT ALGORITHMS FOR UNIVERSAL SYSTEM OPTIMIZATION: 158 -
169 D. LAZAK, GRONI NGEN, NETHERLANDS THE MARKGRAF KARL REFUTATION
PROCEDURE: N. EINSINGER, 170 - 177 J. SIEKMANN, E. UNVERICHT, KARLSRUHE
A SHORT SURVEY ON THE STATE OF THE ART IN MATCHING 178 - 193 PROBLEMS:
J. SIEKMANN, KARLSRUHE THE UNDECIDABILITY OF THE DAMNIFICATION PROBLEM:
194 - 207 P. SZABO, KARLSRUHE UNIFIKATION VON MORPHISMEN: E_. VOGEL,
KARLSRUHE 208 - 213 UNIFICATION IN COLLAPSING EQUATIONAL THEORIES: 214
P. RAULEFS, BONN UNIFICATION UNDER POWER ASSOCIATIVITY: CH. PELTASON, P
. RAULEFS, BONN AUTOMATIC LEARNING: J . P . TREUI1 , B . MELESE 215 - 22
5 A THEORETICAL FRAME FOR THE GRAMMATICAL INFERENCE 226 - 227 OF
L-SYSTEMS: W. COY, DORTMUND OBJECT-ORIENTED PROGRAMMING AND THE
GLASS-BOX APPROACH- 228 - 242 IMPLICATIONS FOR PROBLEM SOLVING AND
KNOWLEDGE REPRESEN- TATION: G. FISCHER, STUTTGART MASCHINELLES UND
MENSCHLICHES LERNEN AM BEISPIEL EINES 243 - 24^ GRAMMATI
K-LERNPROGRAMMS: E.R. REICHI U. A., LINZ,OSTERR. VERSUCH EINER
NATURWISSENSCHAFTLICHEN INTERPRETATION 245 - 267 PSYCHISCHER PHANOMENE:
P_. ST. PU11ER A PROCEDURAL GRAMMAR FOR SENTENCE PRODUCTION: 268 E.
HOENKAMP & GERARD KEMPEN, NIJMEGEN, NETHERLANDS DER ATN-FORMALISMUS ALS
PROGRAMMIERSPRACHE: 269 - 274 TH. CHRISTALIER, BIELEFELD INTERFACING A
SEMANTIC NET WITH A SEMANTIC GRAMMAR: 275 - 286 J. LAUBSCH, STUTTGART
PARALLELVERARBEITUNG BEI DER AUTOMATISCHEN SPRACH- 287 ANALYSE: G. GORZ
ZUR DARSTELLUNG VON HANDL UNGSABI A'UFEN IN EINEM 288 - 297
INFORMATIONSSYSTEM: K. HESS, BONN |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_corporate | Workshop on Artificial Intelligence Honnef |
| author_corporate_role | aut |
| author_facet | Workshop on Artificial Intelligence Honnef |
| author_sort | Workshop on Artificial Intelligence Honnef |
| building | Verbundindex |
| bvnumber | BV035006857 |
| ctrlnum | (OCoLC)245705870 (DE-599)BVBBV035006857 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01267nam a2200301 c 4500</leader><controlfield tag="001">BV035006857</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080815s1979 d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)245705870</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035006857</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="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on Artificial Intelligence</subfield><subfield code="n">4</subfield><subfield code="d">1979</subfield><subfield code="c">Honnef</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)818383-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 4th Workshop on Artificial Intelligence</subfield><subfield code="b">Feb. 19 - 23, 1979, Bad Honnef, West Germany</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bonn</subfield><subfield code="b">Inst. für Informatik, Univ. Bonn</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">297 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="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="y">1979</subfield><subfield code="z">Honnef</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="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=016676165&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-016676165</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1979 Honnef gnd-content |
| genre_facet | Konferenzschrift 1979 Honnef |
| id | DE-604.BV035006857 |
| illustrated | Illustrated |
| index_date | 2024-07-02T21:42:28Z |
| indexdate | 2024-07-09T21:20:03Z |
| institution | BVB |
| institution_GND | (DE-588)818383-1 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016676165 |
| oclc_num | 245705870 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 297 S. graph. Darst. |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | Inst. für Informatik, Univ. Bonn |
| record_format | marc |
| spelling | Workshop on Artificial Intelligence 4 1979 Honnef Verfasser (DE-588)818383-1 aut Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany Bonn Inst. für Informatik, Univ. Bonn 1979 297 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1979 Honnef gnd-content Künstliche Intelligenz (DE-588)4033447-8 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016676165&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)1071861417 |
| title | Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| title_auth | Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| title_exact_search | Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| title_exact_search_txtP | Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| title_full | Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| title_fullStr | Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| title_full_unstemmed | Proceedings of the 4th Workshop on Artificial Intelligence Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| title_short | Proceedings of the 4th Workshop on Artificial Intelligence |
| title_sort | proceedings of the 4th workshop on artificial intelligence feb 19 23 1979 bad honnef west germany |
| title_sub | Feb. 19 - 23, 1979, Bad Honnef, West Germany |
| topic | Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Künstliche Intelligenz Konferenzschrift 1979 Honnef |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016676165&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT workshoponartificialintelligencehonnef proceedingsofthe4thworkshoponartificialintelligencefeb19231979badhonnefwestgermany |