GWAI-85 - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540164517, 9783642711459

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SYCON

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_3 ◽

1986 ◽

pp. 36-45

Author(s):

Mario Fendler ◽

Rainer Wichlacz

Download Full-text

Expert Systems in Statistics: Some Problems and Some New Views

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_28 ◽

1986 ◽

pp. 313-322 ◽

Cited By ~ 3

Author(s):

Reinhold Haux

Keyword(s):

Expert Systems

Download Full-text

Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_20 ◽

1986 ◽

pp. 230-244 ◽

Cited By ~ 3

Author(s):

Peter Schefe

Download Full-text

Halbautomatische Erweiterung Eines Thesaurus

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_17 ◽

1986 ◽

pp. 204-211 ◽

Cited By ~ 1

Author(s):

Rüdiger Wirth

Download Full-text

Representing and Processing Copula and Full-Verb Sentences in Ham-Ans

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_15 ◽

1986 ◽

pp. 187-196 ◽

Cited By ~ 1

Author(s):

S. Busemann ◽

W. Hoeppner ◽

H. Marburger ◽

K. Morik

Download Full-text

Theory Unification in Abstract Clause Graphs

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_6 ◽

1986 ◽

pp. 77-100 ◽

Cited By ~ 3

Author(s):

Hans Jürgen Ohlbach

Keyword(s):

Theory Unification ◽

Clause Graphs

Download Full-text

Situationssemantik und Diskursrepraesentationstheorie Einordnung und Anwendungsaspekte

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_35 ◽

1986 ◽

pp. 397-407

Author(s):

Manfred Pinkal

Download Full-text

Hierarchische Dekomposition und Synthese von Objekten

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_31 ◽

1986 ◽

pp. 348-355

Author(s):

Christian Sielaff

Download Full-text

Extraktion und Verifikation von Programmen durch Analyse formaler Beweise

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_11 ◽

1986 ◽

pp. 135-152

Author(s):

Werner Alexi

Download Full-text

Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie Beantworten?

GWAI-85 - Informatik-Fachberichte ◽

10.1007/978-3-642-71145-9_1 ◽

1986 ◽

pp. 2-25

Author(s):

Ansgar Beckermann

Keyword(s):

Künstliche Intelligenz

Download Full-text