Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

9. GWAI 1985: Dassel/Solling

> Home > Conferences and Workshops > GWAI

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/1985
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/1985
Herbert Stoyan:
GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings. Informatik-Fachberichte 118, Springer 1986, ISBN 3-540-16451-0

Philosophische Fragen der Künstlichen Intelligenz, Cognitive Science

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Beckermann85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Beckermann85
Ansgar Beckermann:
Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie beantworten? 2-25
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Diederich85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Diederich85
Joachim Diederich:
Parallelverarbeitung in Netzwerk-basierten Systemen. 26-34

KI-Programmiersprachen und -Maschinen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/FendlerW85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/FendlerW85
Mario Fendler, Rainer Wichlacz:
SYCON: Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen Symbolischen Constraints. 36-45
- view
  authority control:
- export record
  dblp key:
  - conf/ki/AspetsbergerB85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/AspetsbergerB85
K. Aspetsberger, Stefan Bayerl:
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. 46-55

Automatische Beweisverfahren

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Blasius85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Blasius85
Karl-Hans Bläsius:
Equality Reasoning with Equality-paths. 57-76
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Ohlbach85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Ohlbach85
Hans Jürgen Ohlbach:
Theory Unification in Abstract Clause Graphs. 77-100
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Gobel85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Gobel85
Richard Göbel:
Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. 101-110
- view
  authority control:
- export record
  dblp key:
  - conf/ki/BookS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BookS85
Ronald V. Book, Jörg H. Siekmann:
On the Unification Hierarchy. 111-117
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Schmidt-Schauss85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Schmidt-Schauss85
Manfred Schmidt-Schauß:
Unification in a Many-sorted Calculus with Declarations. 118-132

Logik-orientiertes Programmieren und Programmsynthese

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Gallaire85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Gallaire85
Hervé Gallaire:
Logic Programming Development (Abstract). 134
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Alexi85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Alexi85
Werner Alexi:
Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract). 135-152
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Schmucker85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Schmucker85
Astrid Schmücker:
Vermeidung Überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen. 153-163
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Bottcher85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Bottcher85
Stefan Böttcher:
Ein Beweisverfahren für Datenbankprädikate. 164-175
- view
  authority control:
- export record
  dblp key:
  - conf/ki/HolldoblerFL85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/HolldoblerFL85
Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair:
Extended Unification and its Implementation. 176-185

Verarbeitung natürlicher Sprache

- view
  authority control:
- export record
  dblp key:
  - conf/ki/BusemannHMM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BusemannHMM85
Stephan Busemann, Wolfgang Hoeppner, Heinz Marburger, Katharina Morik:
Representing and Processing Copula and Full-Verb Sentences in HAM-ANS. 187-196
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Retz-Schmidt85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Retz-Schmidt85
Gudula Retz-Schmidt:
Script-Based Generation and Evaluation of Expectations in Traffic Scenes. 197-203
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Wirth85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Wirth85
Rüdiger Wirth:
Halbautomatische Erweiterung eines Thesaurus. 204-211

Wissensrepräsentation

- view
  authority control:
- export record
  dblp key:
  - conf/ki/McCarthy85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/McCarthy85
John McCarthy:
What is Common Sense and How to Formalize it? (Condensed Slides). 213-217
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Brewka85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Brewka85
Gerhard Brewka:
Über normale Vögel, anwendbare Regeln und einen Default-Beweiser. 218-229
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Schefe85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Schefe85
Peter Schefe:
Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz. 230-244
- view
  authority control:
- export record
  dblp key:
  - conf/ki/LuckNPS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/LuckNPS85
Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel:
BACK to Consistency and Incompleteness. 245-256

Expertensysteme

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Kleer85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Kleer85
Johan de Kleer:
Assumptionbased Truth Maintenance (Abstract). 258
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Voss85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Voss85
Hans Voß:
Representing and Analyzing Time and Causality in HIQUAL Models. 259-271
- view
  authority control:
- export record
  dblp key:
  - conf/ki/PuppeP85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/PuppeP85
Frank Puppe, Bernhard Puppe:
MED2: How Domain Characteristics Induce Expert System Features. 272-284
- view
  authority control:
- export record
  dblp key:
  - conf/ki/HeinenRRW85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/HeinenRRW85
Peter Heinen, Heinrich Reusch, Michael M. Richter, Thomas Wetter:
Formal Description of Objects, Processes, and Levels of Expert Reasoning. 285-294
- view
  authority control:
- export record
  dblp key:
  - conf/ki/BergmannP85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BergmannP85
Henning Bergmann, Annedore Paeseler:
Wissensaqisition für das Natürlichsprachliche Zugangssystem HAM-ANS. 295-299
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Georgescu85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Georgescu85
Ioan Georgescu:
Constructive Theory Formation in Knowledge Based Systems. 300-312
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Haux85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Haux85
Reinhold Haux:
Expert Systems in Statistics: Some Problems and Some New Views. 313-322

Bildverstehen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Gerlach85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Gerlach85
Michael Gerlach:
Wissensbasierte Interpretation relationaler Bildbeschreibungen. 324-335
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Mohnhaupt85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Mohnhaupt85
Michael Mohnhaupt:
'No-Match' Punkte: Informationsquelle für die Detektion von Bewegung. 336-347
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Sielaff85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Sielaff85
Christian Sielaff:
Hierarchische Decomposition und Synthese von Objekten. 348-355

Anwendungen in Robotik und Fertigungsplanung

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Hormann85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Hormann85
Klaus A. Hörmann:
Planungssysteme in der Robotik. 357-372
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Tsang85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Tsang85
Jean Patrick Tsang:
Representation and Manipulation of Process Plans in Generic Expert Planning Systems. 373-394

Materialien des Tutorials "Situationssemantik und Diskursionsrepräsentationstheorie"

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Pinkal85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Pinkal85
Manfred Pinkal:
Situationssemantic und Diskursrepräsentationstheorie: Einordnung und Anwendungsaspekte. 397-407
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Reyle85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Reyle85
Uwe Reyle:
Prinzipien der Diskursrepräsentationstheorie. 408-446
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Herweg85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Herweg85
Michael Herweg:
Grundzüge der Situationssemantik. 447-451
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Meulen85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Meulen85
Alice ter Meulen:
Processing Pronouns: A Comparison of Situations Semantics and Discourse Representation Theory. 452-471

a service of

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.