default search action

combined dblp search
author search
venue search
publication search

ask others

10. GWAI / 2. ÖGAI 1986: Ottstein/Niederösterreich

> Home > Conferences and Workshops > GWAI
> Home > Conferences and Workshops > ÖGAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ki/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/1986
Claus-Rainer Rollinger, Werner Horn:
GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings. Informatik-Fachberichte 124, Springer 1986, ISBN 3-540-16808-7

Eingeladener Vortrag

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Trappl86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Trappl86
Robert Trappl:
AI - Nie! Versuch über eine wahrscheinliche zukünftige Reaktion der Öffentlichkeit. 1-16

Suchen, Problemlösen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/HoracekKW86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/HoracekKW86
Helmut Horacek, Hermann Kaindl, Marcus Wagner:
Decision Making in Unclear Situations. 17-27
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Reinefeld86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Reinefeld86
Alexander Reinefeld:
State Space Algorithms for Searching Game Trees. 28-33

Repräsentation von Wissen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Zadrozny86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Zadrozny86
Wlodzimierz Zadrozny:
Explicit and Implicit Beliefs. 34-45
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Hertzberg86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Hertzberg86
Joachim Hertzberg:
Facetten-Logik: eine untypische Logik zum prototypischen Schließen. 46-57
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Luck86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Luck86
Kai von Luck:
Semantic Networks with Number Restricted Roles or Another Story about Clyde. 58-68
- view
  authority control:
- export record
  dblp key:
  - conf/ki/EdelmannO86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/EdelmannO86
Jürgen Edelmann, Bernd Owsnicki-Klewe:
Data Models in Knowledge Representation System: A Case Study. 69-74
- view
  authority control:
- export record
  dblp key:
  - conf/ki/NebelS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/NebelS86
Bernhard Nebel, Norman K. Sondheimer:
NIGEL Gets To Know Logic. 75-86

Natürlichsprachliche Systeme

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Uszkoreit86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Uszkoreit86
Hans Uszkoreit:
Syntaktische und semantische Generalisierungen im strukturierten Lexikon. 87-100
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Horacek86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Horacek86
Helmut Horacek:
The Choice of Words in the Generation Process of a Natural Language Interface. 101-112
- view
  authority control:
- export record
  dblp key:
  - conf/ki/MeierK86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/MeierK86
Justus Meier, Jörg Kindermann:
Generierung mit Lexical - Functional Grammar (LFG). 113-118
- view
  authority control:
- export record
  dblp key:
  - conf/ki/AllgayerR86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/AllgayerR86
Jürgen Allgayer, Carola Reddig:
Processing Description containing Words and Gestures -A System Architecture-. 119-130
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Eimermacher86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Eimermacher86
Michael Eimermacher:
Wortorientiertes Parsing mit erweiterter Chart-Repräsentation. 131-142
- view
  authority control:
- export record
  dblp key:
  - conf/ki/KindermannM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/KindermannM86
Jörg Kindermann, Justus Meier:
An Efficient Parser for Lexical Functional grammar. 143-148

Kognitive Prozesse

- view
  authority control:
- export record
  dblp key:
  - conf/ki/OpwisS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/OpwisS86
Klaus Opwis, Hans Spada:
Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bezüge zur Künstlichen Intelligenz. 149-151
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Schmalhofer86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Schmalhofer86
Franz Schmalhofer:
The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitive Model. 152-163

Maschinelles Lernen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Kodratoff86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Kodratoff86
Yves Kodratoff:
Learning Expert Knowledge and Theorem Proving. 164-179
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Francopoulo86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Francopoulo86
Gil Francopoulo:
Machine Learning as a Tool for Building a Deterministic Parser. 181-192
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Hoppe86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Hoppe86
Thomas Hoppe:
Generierung struktureller Konzepte im Version-Space. 193-198

Bildverstehen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/StiehlS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/StiehlS86
H. Siegfried Stiehl, H. Scharnweber:
Über die Repräsentation von dreidimensionalen natürlichen Objekten. 199-201
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Sielaff86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Sielaff86
Christian Sielaff:
Hierarchien über Relationengebilden. 202-211
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Pinz86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Pinz86
Axel Pinz:
Architektur und Anwendung des bildverstehenden Expertensystems VES. 212-217

Theorembeweisen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Ohlbach86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Ohlbach86
Hans Jürgen Ohlbach:
The Semantic Clause Graph Procedure - A First Overview. 218-229
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Blasius86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Blasius86
Karl-Hans Bläsius:
Against the "Anti Waltz Effect" in Equality Reasoning. 230-241
- view
  authority control:
- export record
  dblp key:
  - conf/ki/MullerW86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/MullerW86
Jürgen Müller, Elvira Wagner:
Effiziente Reduktionsstrategien in Termersetzunssystemen. 242-253
- view
  authority control:
- export record
  dblp key:
  - conf/ki/MullerS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/MullerS86
Jürgen Müller, Joachim Steinbach:
Topologische Multisetordnungen. 254-264
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Hutter86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Hutter86
Dieter Hutter:
Using Resolution and Paramodulation for Induction Proofs. 265-276
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Burckert86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Burckert86
Hans-Jürgen Bürckert:
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. 277-288

Programmsynthese

- view
  authority control:
- export record
  dblp key:
  - conf/ki/FronhoferF86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/FronhoferF86
Bertram Fronhöfer, Ulrich Furbach:
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. 289-300

KI-Programmierung

- view
  authority control:
- export record
  dblp key:
  - conf/ki/RoseAB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/RoseAB86
Thomas Rose, Hans-Jürgen Appelrath, Hermann Bense:
Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge. 301-311
- view
  authority control:
- export record
  dblp key:
  - conf/ki/BecksteinGT86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BecksteinGT86
Clemens Beckstein, Günther Görz, M. Tielemann:
FORK: Ein System zur objeckt- und regelorientierten Programmierung. 312-317

Expertensysteme

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Struss86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Struss86
Peter Struss:
A Framework for the Multiple Representation of Structure and Function in Expert Systems. 318-331
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Puppe86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Puppe86
Frank Puppe:
Hybride Diagnosenbewertung. 332-342
- view
  authority control:
- export record
  dblp key:
  - conf/ki/DiederichMR86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/DiederichMR86
Joachim Diederich, Mark May, Ingo Ruhmann:
Hybrid Knowledge Acquisition. 343-348
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Kippe86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Kippe86
Jörg Kippe:
COMODEL - ein Repräsentationsformalismus für technische Expertensysteme. 349-360

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.