| 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  |
GWAI  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl-Hans Bläsius |
Equality Reasoning with Equality-paths. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Sielaff |
Hierarchische Decomposition und Synthese von Objekten. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mohnhaupt |
'No-Match' Punkte: Informationsquelle für die Detektion von Bewegung. |
GWAI |
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. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel |
BACK to Consistency and Incompleteness. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Voß |
Representing and Analyzing Time and Causality in HIQUAL Models. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhold Haux |
Expert Systems in Statistics: Some Problems and Some New Views. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bergmann, Annedore Paeseler |
Wissensaqisition für das Natürlichsprachliche Zugangssystem HAM-ANS. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schefe |
Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz. |
GWAI |
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. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Astrid Schmücker |
Vermeidung Überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus A. Hörmann |
Planungssysteme in der Robotik. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Reyle |
Prinzipien der Diskursrepräsentationstheorie. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Herweg |
Grundzüge der Situationssemantik. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Göbel |
Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Beckermann |
Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie beantworten? |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan de Kleer |
Assumptionbased Truth Maintenance (Abstract). |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Wirth |
Halbautomatische Erweiterung eines Thesaurus. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair |
Extended Unification and its Implementation. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Radig |
Bildverstehen und Künstliche Intelligenz. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Puppe, Bernhard Puppe |
Diagnostic Reasoning with a Working Memory. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Steels |
Design Requirements for Knowledge Representation Systems. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilla Schwind |
Temporal Logic in Artificial Intelligence. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Stoyan |
Programming Styles in Artificial Intelligence. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard H. Granger, Kurt P. Eiselt, Jennifer K. Holbrook |
ATLAST: A Three-level Language Analysis System. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Gehrke |
Ellipsenrekonstruktion in aufgabenorientierten Dialogen. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet |
Improvement of Recursive Programs from a Logic Programming Point of View. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorothea Bauer, Matthias Schneider 0001 |
STRUPPI: Ein graphischer Pretty-Printer für LISP-Strukturen. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfred Kobsa |
VIE-DPM: A User Model in a Natural-Language Dialog System. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Pattie Maes |
Goals in Knowledge-Based Office Systems. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | James Kilbury |
A Modification of the Earley-Shieber Algorithm for Direct Parsing of ID/LP Grammars. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Frey |
Syntax and Semantics of Some Noun Phrases. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Emde, Kai von Luck, Albrecht Schmiedel |
Eine neue Implementation von SRL. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Kodratoff, Jean-Gabriel Ganascia, Toni Bollinger |
Using Structural Matching for Generalizing Examples. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Hung Tzeng |
A Mathematical Model of Heuristic Game Playing. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai von Luck, Bernd Owsnicki-Klewe |
Declarative Representation of Control Structures. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Freksa, Ulrich Furbach, Gerhard Dirlich |
Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Joachim Novak |
A Relational Matching Strategy for Temporal Event Recognition. |
GWAI |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Neumann (eds.) |
GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983 |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Niemann |
Control Strategies in Image and Speech Understanding. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Eisinger, M. Weigele |
A Technical Note on Splitting and Clausal Normal Form Algorithms. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Horacek |
Zur Generierung zusammenhängender Texte. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Hertzberg |
On the Use of Operation Information in Problem Solving. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hußmann |
Ein VEHIQUEL für den natürlichsprachlichen Zugang zu Datenbanken. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Eimermacher |
Parsing in PROLOG - Eine semantische Komponente. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Horster |
Vollständige Reduktionssysteme. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Schönfeld |
Proof Search for Unprovable Formulas. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Habel |
Logische Systeme und Repräsentationsprobleme. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Puppe, Bernhard Puppe |
Overview on MED1: A Heuristic Diagnostics System with an Efficient Control-Structure. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dilger, Agnes Janson |
Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Busemann |
Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Elmar Eder |
Properties of Substitutions and Unifications. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Joachim Novak |
On Verbalizing Real-World Events: An Interface of Natural Language and Vision. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Emde |
Kontrainduktives Lernen von Konzepten aus Fakten. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Bunke, Gerhard Sagerer |
A System for Diagnostic Evaluation of Scintigraphic Image Sequences. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Katharina Morik, Claus-Rainer Rollinger |
Partnermodellierung im Evidenzraum. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Lina Massone |
SYRIO: A Knowledge-Based Approach to 2-D Robotic Vision. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Horn |
ESDAT - An Expert System for Primary Medical Care. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | John Mylopoulos, Hector J. Levesque |
An Overview of Knowledge Representation. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Nebel |
Ist LISP eine 'langsame' Sprache? |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Jürgen Ohlbach |
Ein regelbasiertes Klauselgraph-Beweisverfahren. |
GWAI |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Radig |
Symbolic Description and Matching of Image Sequences. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schefe |
Some Fundamental Issues in Knowledge Representation. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Gehrke |
Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundlage kaskadierter ATNs. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Joachim Novak |
On the Selection of Verbs for Natural Language Description of Traffic Scenes. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Halpern |
Inductive Inference in Finite Algebraic Structures. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann |
Der META-Beweiser für die Zahlentheorie. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Emde, Christopher Habel, Claus-Rainer Rollinger |
Automatische Akquisition von inferentiellem Wissen. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg H. Siekmann, Peter Szabó |
Universal Unification. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Herold |
Universal Unification and a Class of Equational Theories. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai von Luck, Bernd Owsnicki-Klewe |
N.N.: A View of Planning in Chess. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilla Schwind |
Natural Language Access to PROLOG Database Systems. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Gert Smolka |
Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Christaller |
Konsistenzüberprüfung bei sich verändernden Wissensbasen. |
GWAI |
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 |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Habel |
Zur Repräsentation indefinit deskribierter Objekte in KI-Systemen. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Bidoit |
Proofs by Induction in "Fairly" Specified Equational Theories. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hußmann |
Ellipsenrekonstruktion im Kontext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Hoeppner |
ATN-Steuerung durch Kasusrahmen. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Neumann |
Knowledge Sources for Understanding and Describing Image Sequences. |
GWAI |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Eisinger |
Subsumption and Connectionsgraphs. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Walther |
Elimination of Redundant Links in Extended Connection Graphs. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Polak |
Programmverification at Stanford: Past, Present Future. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Schefe, Bernd Pretschner |
SWISS - A Natural Language Question Answering System for Scene Analysis. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dilger |
Context Directed Translation. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Habel, Claus-Rainer Rollinger |
Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz-Dieter Böcker, Gerhard Fischer |
Integrated Knowledge-Based Information Manipulation Systems. |
GWAI |
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 |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai von Luck, Bernd Owsnicki-Klewe |
Structures for Knowledge-Based Chess Programs. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Marburger, Bernd Neumann, Hans-Joachim Novak |
Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Bibel |
Mating in Matrices. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Loos |
Term Reduction Systems and Algebraic Algorithms. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | K. M. Hörnig |
Generating small Models of First Order Axioms. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Radig |
Models and Structures in Image Processing. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Görz |
GLP: A Linguistic Processor. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörgen P. Foith |
Robotics Research: From Toy Worlds to Industrial Applications. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Hornung, Anfried Knapp, Ulrike Knapp |
A Parallel Connection Graph Proof Procedure. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Wahlster |
Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Raulefs, Hans Siebenbach |
A Concurrent Chart Parser. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license