Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Werner Konrad, Andreas Jaeschke, Helmut Orth, Ono Tjandra |
Guiding the Maintenance of a Model-Based Advisory System by Explanation-based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 160-169, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Müller 0007 |
THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 241-250, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Busemann |
Generierung mit GPSG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 355-364, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Christa Hauenschild |
KI-Methoden in der maschinellen Übersetzung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 41-53, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Heid |
zur lexikalischen Wissensquelle des Generierungssystems SEMSYN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 345-354, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Poesio |
An Organization of Lexical Knowledge for Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 94-103, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Elisabeth André, Thomas Rist, Gerd Herzog |
Generierung natürlichsprachlicher Äußerungen zur simultanen Beschreibung von zeitveränderlichen Szenen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 330-338, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Theo Härder, Nelson Mendonça Mattos, Bernhard Mitschang |
Abbildung von Frames auf neuere Datenmodelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 396-405, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis, Mehmet Dincbas |
Using Logic Programming for Fault Diagnosis in Digital Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 139-148, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Freitag, Michael Reinfrank |
An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 170-174, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Jasper |
Interfacing Prolog and External Data Management Systems: A Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 386-395, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Pattie Maes |
Computational Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 251-265, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Dörre, Stefan Momma |
Generierung aus f-Strukturen als strukturgesteuerte Ableitung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 54-63, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Gerda Stein |
Konfliktlösung auf statistischer Basis bei der Bildanalyse mit Produktionsregeln. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 16-20, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 |
Program Verification by Symbolic Execution and Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 201-210, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Manthey, François Bry |
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 221-230, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hans Haugeneder, Manfred Gehrke |
Modelling Heuristic Parsing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 84-93, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ulf R. Schmerl |
Resolution on Formula-Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 211-220, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Rudi Studer |
Sektion "Küstliche Intelligenz und Datenbanksysteme - Konzeptuelle Modellierung und Systemarchitektur". ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 365, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Oskar Dressler |
Erweiterungen des Basic ATMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 185-194, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Horacek |
How to Say WHAT - IT or SOMETHING? ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 320-329, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Herold |
Narrowing Techniques Applied to Idempotent Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 231-240, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Paulus |
Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 340-344, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wrobel |
Higher-order Concepts in a Tractable Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 129-138, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mohnhaupt |
On Modelling Events with an 'Analogical' Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 31-40, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Strube |
Repräsentationsformen beim menschlichen Problemlösen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 287-295, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Rehkämper |
Mentale Bilder und Wegbedeutungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 296-305, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar F. Rösner |
Generation of content vs. Generation of Form: A Review of Recent Work in the SEMSYN project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 307-314, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Frank Puppe |
Belief Revision in Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 175-184, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Reithinger |
Ein erster Blick auf POPEL - Wie wird was gesagt? ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 315-319, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | A. de Haan |
Cognitive Modelling and Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 266-276, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Gemello, Egidio P. Giachin, Claudio Rullent |
A Knowledge-Based Framework for Effective Probabilistic Control Strategies in Signal Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 104-113, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beetz |
Specifying Meta-Level Architectures for Rule-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 149-159, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dekai Wu |
Concretion Inferences in NAtural Language Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 74-83, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Hoeppner |
Generierung in natürlichsprachlichen Systemen: Beziehungen zwischen der Erzeugung von Inhalt und Form, Spezielle Sektion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 306, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Leonie S. Dreschler-Fischer |
Das "Bootstrap-Problem" bei der geometrischen Szenenrekonstruktion - eine Übersicht. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 1-15, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Christian Freksa |
Spezielle Sektion: Kognition - Wissensstrukturen beim Aufgabenlösen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 277, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Katharina Morik (eds.) |
GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![Springer, 3-540-18388-4 The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Becker |
Wissen und Können - Anmerkungen zur Wissensrepräsentation beim Aufgabenlösen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 278-286, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Furbach |
Oldy but Goody Paramodulation Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 195-201, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ingrid M. Walter |
EPEX: Bildfolgedeutung auf Episodenebene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 21-30, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Nebel, Kai von Luck |
Issues of Integration and Balancing in Hybrid Knowledge Representation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 114-123, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Günther Görz |
Repräsentationssysteme für Grammatik und Lexikon - Einleitung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 339, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Martin C. Emele |
FREGE: Ein objektorientierter FRont-End-GEnerator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 64-73, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Groth |
Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings, pp. 124-128, 1987, Springer, 3-540-18388-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Hutter |
Using Resolution and Paramodulation for Induction Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 265-276, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Horacek |
The Choice of Words in the Generation Process of a Natural Language Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 101-112, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Hoppe 0001 |
Generierung struktureller Konzepte im Version-Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 193-198, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Diederich, Mark May 0002, Ingo Ruhmann |
Hybrid Knowledge Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 343-348, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Peter Struss |
A Framework for the Multiple Representation of Structure and Function in Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 318-331, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Müller 0007, Joachim Steinbach |
Topologische Multisetordnungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 254-264, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz Zadrozny |
Explicit and Implicit Beliefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 34-45, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Stoyan (eds.) |
GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 23-27, 1985, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![Springer, 3-540-16451-0 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | H. Siegfried Stiehl, H. Scharnweber |
Über die Repräsentation von dreidimensionalen natürlichen Objekten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 199-201, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Müller 0007, Elvira Wagner |
Effiziente Reduktionsstrategien in Termersetzunssystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 242-253, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Allgayer, Carola Reddig |
Processing Description containing Words and Gestures -A System Architecture-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 119-130, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hans Jürgen Ohlbach |
The Semantic Clause Graph Procedure - A First Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 218-229, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Fronhöfer, Ulrich Furbach |
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 289-300, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Hertzberg |
Facetten-Logik: eine untypische Logik zum prototypischen Schließen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 46-57, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Karl-Hans Bläsius |
Against the "Anti Waltz Effect" in Equality Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 230-241, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Opwis, Hans Spada |
Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bezüge zur Künstlichen Intelligenz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 149-151, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Rose 0003, Hans-Jürgen Appelrath, Hermann Bense |
Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 301-311, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eimermacher |
Wortorientiertes Parsing mit erweiterter Chart-Repräsentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 131-142, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kippe |
COMODEL - ein Repräsentationsformalismus für technische Expertensysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 349-360, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Gil Francopoulo |
Machine Learning as a Tool for Building a Deterministic Parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 181-192, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Kindermann, Justus Meier |
An Efficient Parser for Lexical Functional grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 143-148, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Beckstein, Günther Görz, M. Tielemann |
FORK: Ein System zur objeckt- und regelorientierten Programmierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 312-317, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Horacek, Hermann Kaindl, Marcus Wagner |
Decision Making in Unclear Situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 17-27, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Axel Pinz |
Architektur und Anwendung des bildverstehenden Expertensystems VES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 212-217, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Nebel, Norman K. Sondheimer |
NIGEL Gets To Know Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 75-86, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Franz Schmalhofer |
The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitive Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 152-163, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Reinefeld |
State Space Algorithms for Searching Game Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 28-33, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hans Uszkoreit |
Syntaktische und semantische Generalisierungen im strukturierten Lexikon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 87-100, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Christian Sielaff |
Hierarchien über Relationengebilden. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 202-211, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jürgen Bürckert |
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 277-288, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Frank Puppe |
Hybride Diagnosenbewertung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 332-342, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Justus Meier, Jörg Kindermann |
Generierung mit Lexical - Functional Grammar (LFG). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 113-118, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Robert Trappl |
AI - Nie! Versuch über eine wahrscheinliche zukünftige Reaktion der Öffentlichkeit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 1-16, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Kai von Luck |
Semantic Networks with Number Restricted Roles or Another Story about Clyde. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 58-68, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Claus-Rainer Rollinger, Werner Horn (eds.) |
GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![Springer, 3-540-16808-7 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Yves Kodratoff |
Learning Expert Knowledge and Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 164-179, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Edelmann, Bernd Owsnicki-Klewe |
Data Models in Knowledge Representation System: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 69-74, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | K. Aspetsberger, Stefan Bayerl |
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. ![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. 46-55, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Pinkal |
Situationssemantic und Diskursrepräsentationstheorie: Einordnung und Anwendungsaspekte. ![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. 397-407, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Hervé Gallaire |
Logic Programming Development (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. 134, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Alice ter Meulen |
Processing Pronouns: A Comparison of Situations Semantics and Discourse Representation Theory. ![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. 452-471, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Diederich |
Parallelverarbeitung in Netzwerk-basierten Systemen. ![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. 26-34, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Georgescu |
Constructive Theory Formation in Knowledge Based Systems. ![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. 300-312, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Mario Fendler, Rainer Wichlacz |
SYCON: Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen Symbolischen Constraints. ![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. 36-45, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Werner Alexi |
Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended 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. 135-152, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Gudula Retz-Schmidt |
Script-Based Generation and Evaluation of Expectations in Traffic Scenes. ![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. 197-203, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Hans Jürgen Ohlbach |
Theory Unification in Abstract Clause Graphs. ![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. 77-100, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß |
Unification in a Many-sorted Calculus with Declarations. ![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. 118-132, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Frank Puppe, Bernhard Puppe |
MED2: How Domain Characteristics Induce Expert System Features. ![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. 272-284, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | John McCarthy 0001 |
What is Common Sense and How to Formalize it? (Condensed Slides). ![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. 213-217, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Ronald V. Book, Jörg H. Siekmann |
On the Unification Hierarchy. ![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. 111-117, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
Über normale Vögel, anwendbare Regeln und einen Default-Beweiser. ![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. 218-229, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Jean Patrick Tsang |
Representation and Manipulation of Process Plans in Generic Expert Planning Systems. ![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. 373-394, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gerlach |
Wissensbasierte Interpretation relationaler Bildbeschreibungen. ![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. 324-335, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Böttcher |
Ein Beweisverfahren für Datenbankprädikate. ![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. 164-175, 1985, Springer, 3-540-16451-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|