Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joachim H. Laubsch (eds.) |
GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![Springer, 3-540-15669-0 The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Karl-Hans Bläsius |
Equality Reasoning with Equality-paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 57-76, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Christian Sielaff |
Hierarchische Decomposition und Synthese von Objekten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 348-355, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mohnhaupt |
'No-Match' Punkte: Informationsquelle für die Detektion von Bewegung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 336-347, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Peter Heinen, Heinrich Reusch, Michael M. Richter, Thomas Wetter |
Formal Description of Objects, Processes, and Levels of Expert Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 285-294, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel |
BACK to Consistency and Incompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 245-256, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Hans Voß |
Representing and Analyzing Time and Causality in HIQUAL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 259-271, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Haux |
Expert Systems in Statistics: Some Problems and Some New Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 313-322, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Henning Bergmann, Annedore Paeseler |
Wissensaqisition für das Natürlichsprachliche Zugangssystem HAM-ANS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 295-299, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schefe |
Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 230-244, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Busemann, Wolfgang Hoeppner, Heinz Marburger, Katharina Morik |
Representing and Processing Copula and Full-Verb Sentences in HAM-ANS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 187-196, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Astrid Schmücker |
Vermeidung Überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 153-163, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Klaus A. Hörmann |
Planungssysteme in der Robotik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 357-372, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Reyle |
Prinzipien der Diskursrepräsentationstheorie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 408-446, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Michael Herweg |
Grundzüge der Situationssemantik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 447-451, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Richard Göbel |
Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 101-110, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Beckermann |
Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie beantworten? ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 2-25, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Johan de Kleer |
Assumptionbased Truth Maintenance (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 258, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Wirth |
Halbautomatische Erweiterung eines Thesaurus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 204-211, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair |
Extended Unification and its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings, pp. 176-185, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Radig |
Bildverstehen und Künstliche Intelligenz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 88-108, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Frank Puppe, Bernhard Puppe |
Diagnostic Reasoning with a Working Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 30-38, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Luc Steels |
Design Requirements for Knowledge Representation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 1-19, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Camilla Schwind |
Temporal Logic in Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 238-264, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Stoyan |
Programming Styles in Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 154-180, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Richard H. Granger, Kurt P. Eiselt, Jennifer K. Holbrook |
ATLAST: A Three-level Language Analysis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 64-77, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Gehrke |
Ellipsenrekonstruktion in aufgabenorientierten Dialogen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 78-87, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet |
Improvement of Recursive Programs from a Logic Programming Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 229-237, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Dorothea Bauer, Matthias Schneider 0001 |
STRUPPI: Ein graphischer Pretty-Printer für LISP-Strukturen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 191-198, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Kobsa |
VIE-DPM: A User Model in a Natural-Language Dialog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 145-153, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Pattie Maes |
Goals in Knowledge-Based Office Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 20-29, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | James Kilbury |
A Modification of the Earley-Shieber Algorithm for Direct Parsing of ID/LP Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 39-48, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Werner Frey |
Syntax and Semantics of Some Noun Phrases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 49-63, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Werner Emde, Kai von Luck, Albrecht Schmiedel |
Eine neue Implementation von SRL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 219-228, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Yves Kodratoff, Jean-Gabriel Ganascia, Toni Bollinger |
Using Structural Matching for Generalizing Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 199-208, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Chun-Hung Tzeng |
A Mathematical Model of Heuristic Game Playing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 209-218, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Kai von Luck, Bernd Owsnicki-Klewe |
Declarative Representation of Control Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 181-190, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Christian Freksa, Ulrich Furbach, Gerhard Dirlich |
Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 119-144, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Joachim Novak |
A Relational Matching Strategy for Temporal Event Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings, pp. 109-118, 1984, Springer, 3-540-15669-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Neumann (eds.) |
GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983 ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![Springer, 3-540-12871-9 The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Niemann |
Control Strategies in Image and Speech Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 31-49, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Eisinger, M. Weigele |
A Technical Note on Splitting and Clausal Normal Form Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 225-232, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Horacek |
Zur Generierung zusammenhängender Texte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 108-117, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Hertzberg |
On the Use of Operation Information in Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 179-188, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hußmann |
Ein VEHIQUEL für den natürlichsprachlichen Zugang zu Datenbanken. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 69-79, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eimermacher |
Parsing in PROLOG - Eine semantische Komponente. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 80-89, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Horster |
Vollständige Reduktionssysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 233-240, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Schönfeld |
Proof Search for Unprovable Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 207-215, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Habel |
Logische Systeme und Repräsentationsprobleme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 118-142, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Frank Puppe, Bernhard Puppe |
Overview on MED1: A Heuristic Diagnostics System with an Efficient Control-Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 11-20, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Werner Dilger, Agnes Janson |
Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 189-196, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Busemann |
Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 90-99, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Elmar Eder |
Properties of Substitutions and Unifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 197-206, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Joachim Novak |
On Verbalizing Real-World Events: An Interface of Natural Language and Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 100-107, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Werner Emde |
Kontrainduktives Lernen von Konzepten aus Fakten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 169-178, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Horst Bunke, Gerhard Sagerer |
A System for Diagnostic Evaluation of Scintigraphic Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 50-59, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Katharina Morik, Claus-Rainer Rollinger |
Partnermodellierung im Evidenzraum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 158-168, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Lina Massone |
SYRIO: A Knowledge-Based Approach to 2-D Robotic Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 60-68, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Werner Horn |
ESDAT - An Expert System for Primary Medical Care. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 1-10, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | John Mylopoulos, Hector J. Levesque |
An Overview of Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 143-157, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Nebel |
Ist LISP eine 'langsame' Sprache? ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 21-30, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Hans Jürgen Ohlbach |
Ein regelbasiertes Klauselgraph-Beweisverfahren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983, pp. 216-224, 1983, Springer, 3-540-12871-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Radig |
Symbolic Description and Matching of Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 32-41, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schefe |
Some Fundamental Issues in Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 42-62, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Gehrke |
Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundlage kaskadierter ATNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 205-214, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Joachim Novak |
On the Selection of Verbs for Natural Language Description of Traffic Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 22-31, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Mordechai Halpern |
Inductive Inference in Finite Algebraic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 167-176, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann |
Der META-Beweiser für die Zahlentheorie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 142-153, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Werner Emde, Christopher Habel, Claus-Rainer Rollinger |
Automatische Akquisition von inferentiellem Wissen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 72-81, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Jörg H. Siekmann, Peter Szabó |
Universal Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 102-141, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Herold |
Universal Unification and a Class of Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 177-190, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Kai von Luck, Bernd Owsnicki-Klewe |
N.N.: A View of Planning in Chess. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 92-101, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Camilla Schwind |
Natural Language Access to PROLOG Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 237-246, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Gert Smolka |
Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 191-204, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Christaller |
Konsistenzüberprüfung bei sich verändernden Wissensbasen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 63-71, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Wahlster (eds.) |
GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![Springer, 3-540-11960-4 The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Habel |
Zur Repräsentation indefinit deskribierter Objekte in KI-Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 82-91, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit |
Proofs by Induction in "Fairly" Specified Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 154-166, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hußmann |
Ellipsenrekonstruktion im Kontext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 227-236, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Hoeppner |
ATN-Steuerung durch Kasusrahmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 215-226, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Neumann |
Knowledge Sources for Understanding and Describing Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings, pp. 1-21, 1982, Springer, 3-540-11960-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Eisinger |
Subsumption and Connectionsgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 188-198, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Walther |
Elimination of Redundant Links in Extended Connection Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 201-213, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Polak |
Programmverification at Stanford: Past, Present Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 256-276, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schefe, Bernd Pretschner |
SWISS - A Natural Language Question Answering System for Scene Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 69-78, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Werner Dilger |
Context Directed Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 124-134, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Habel, Claus-Rainer Rollinger |
Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 88-97, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Heinz-Dieter Böcker, Gerhard Fischer |
Integrated Knowledge-Based Information Manipulation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 168-170, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jörg H. Siekmann (eds.) |
GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![Springer, 3-540-10859-9 The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Kai von Luck, Bernd Owsnicki-Klewe |
Structures for Knowledge-Based Chess Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 297-306, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Marburger, Bernd Neumann, Hans-Joachim Novak |
Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 79-87, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Bibel |
Mating in Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 171-187, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Loos |
Term Reduction Systems and Algebraic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 214-234, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | K. M. Hörnig |
Generating small Models of First Order Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 248-255, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | W. Radig |
Models and Structures in Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 1-17, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Günther Görz |
GLP: A Linguistic Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 135, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jörgen P. Foith |
Robotics Research: From Toy Worlds to Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 30-49, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Günter Hornung, Anfried Knapp, Ulrike Knapp |
A Parallel Connection Graph Proof Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 160-167, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Wahlster |
Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 50-68, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Peter Raulefs, Hans Siebenbach |
A Concurrent Chart Parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings, pp. 156-159, 1981, Springer, 3-540-10859-9. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|