| 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.  |
GWAI  |
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. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Busemann |
Generierung mit GPSG. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christa Hauenschild |
KI-Methoden in der maschinellen Übersetzung. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Heid |
zur lexikalischen Wissensquelle des Generierungssystems SEMSYN. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Poesio |
An Organization of Lexical Knowledge for Generation. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth André, Thomas Rist, Gerd Herzog |
Generierung natürlichsprachlicher Äußerungen zur simultanen Beschreibung von zeitveränderlichen Szenen. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Theo Härder, Nelson Mendonça Mattos, Bernhard Mitschang |
Abbildung von Frames auf neuere Datenmodelle. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Simonis, Mehmet Dincbas |
Using Logic Programming for Fault Diagnosis in Digital Circuits. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Freitag, Michael Reinfrank |
An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Jasper |
Interfacing Prolog and External Data Management Systems: A Model. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Pattie Maes |
Computational Reflection. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Dörre, Stefan Momma |
Generierung aus f-Strukturen als strukturgesteuerte Ableitung. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerda Stein |
Konfliktlösung auf statistischer Basis bei der Bildanalyse mit Produktionsregeln. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 |
Program Verification by Symbolic Execution and Induction. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Manthey, François Bry |
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Haugeneder, Manfred Gehrke |
Modelling Heuristic Parsing Strategies. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulf R. Schmerl |
Resolution on Formula-Trees. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudi Studer |
Sektion "Küstliche Intelligenz und Datenbanksysteme - Konzeptuelle Modellierung und Systemarchitektur". |
GWAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Oskar Dressler |
Erweiterungen des Basic ATMS. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Horacek |
How to Say WHAT - IT or SOMETHING? |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Herold |
Narrowing Techniques Applied to Idempotent Unification. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Paulus |
Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wrobel |
Higher-order Concepts in a Tractable Knowledge Representation. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mohnhaupt |
On Modelling Events with an 'Analogical' Representation. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Strube |
Repräsentationsformen beim menschlichen Problemlösen. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Rehkämper |
Mentale Bilder und Wegbedeutungen. |
GWAI |
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. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Puppe |
Belief Revision in Diagnosis. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Reithinger |
Ein erster Blick auf POPEL - Wie wird was gesagt? |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | A. de Haan |
Cognitive Modelling and Education. |
GWAI |
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. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beetz |
Specifying Meta-Level Architectures for Rule-Based Systems. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Dekai Wu |
Concretion Inferences in NAtural Language Understanding. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Hoeppner |
Generierung in natürlichsprachlichen Systemen: Beziehungen zwischen der Erzeugung von Inhalt und Form, Spezielle Sektion. |
GWAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Leonie S. Dreschler-Fischer |
Das "Bootstrap-Problem" bei der geometrischen Szenenrekonstruktion - eine Übersicht. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Freksa |
Spezielle Sektion: Kognition - Wissensstrukturen beim Aufgabenlösen. |
GWAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Katharina Morik (eds.) |
GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28 - October 2, 1987, Proceedings |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Becker |
Wissen und Können - Anmerkungen zur Wissensrepräsentation beim Aufgabenlösen. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach |
Oldy but Goody Paramodulation Revisited. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingrid M. Walter |
EPEX: Bildfolgedeutung auf Episodenebene. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Nebel, Kai von Luck |
Issues of Integration and Balancing in Hybrid Knowledge Representation Systems. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Görz |
Repräsentationssysteme für Grammatik und Lexikon - Einleitung. |
GWAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Martin C. Emele |
FREGE: Ein objektorientierter FRont-End-GEnerator. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Groth |
Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KI. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Hutter |
Using Resolution and Paramodulation for Induction Proofs. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Horacek |
The Choice of Words in the Generation Process of a Natural Language Interface. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hoppe 0001 |
Generierung struktureller Konzepte im Version-Space. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Diederich, Mark May 0002, Ingo Ruhmann |
Hybrid Knowledge Acquisition. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Struss |
A Framework for the Multiple Representation of Structure and Function in Expert Systems. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Müller 0007, Joachim Steinbach |
Topologische Multisetordnungen. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Wlodzimierz Zadrozny |
Explicit and Implicit Beliefs. |
GWAI |
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 |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Siegfried Stiehl, H. Scharnweber |
Über die Repräsentation von dreidimensionalen natürlichen Objekten. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Müller 0007, Elvira Wagner |
Effiziente Reduktionsstrategien in Termersetzunssystemen. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Allgayer, Carola Reddig |
Processing Description containing Words and Gestures -A System Architecture-. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Jürgen Ohlbach |
The Semantic Clause Graph Procedure - A First Overview. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertram Fronhöfer, Ulrich Furbach |
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Hertzberg |
Facetten-Logik: eine untypische Logik zum prototypischen Schließen. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl-Hans Bläsius |
Against the "Anti Waltz Effect" in Equality Reasoning. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Opwis, Hans Spada |
Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bezüge zur Künstlichen Intelligenz. |
GWAI |
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. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Eimermacher |
Wortorientiertes Parsing mit erweiterter Chart-Repräsentation. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Kippe |
COMODEL - ein Repräsentationsformalismus für technische Expertensysteme. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gil Francopoulo |
Machine Learning as a Tool for Building a Deterministic Parser. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Kindermann, Justus Meier |
An Efficient Parser for Lexical Functional grammar. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Beckstein, Günther Görz, M. Tielemann |
FORK: Ein System zur objeckt- und regelorientierten Programmierung. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Horacek, Hermann Kaindl, Marcus Wagner |
Decision Making in Unclear Situations. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Pinz |
Architektur und Anwendung des bildverstehenden Expertensystems VES. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Nebel, Norman K. Sondheimer |
NIGEL Gets To Know Logic. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Schmalhofer |
The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitive Model. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Reinefeld |
State Space Algorithms for Searching Game Trees. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Uszkoreit |
Syntaktische und semantische Generalisierungen im strukturierten Lexikon. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Sielaff |
Hierarchien über Relationengebilden. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jürgen Bürckert |
Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Puppe |
Hybride Diagnosenbewertung. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Justus Meier, Jörg Kindermann |
Generierung mit Lexical - Functional Grammar (LFG). |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Trappl |
AI - Nie! Versuch über eine wahrscheinliche zukünftige Reaktion der Öffentlichkeit. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai von Luck |
Semantic Networks with Number Restricted Roles or Another Story about Clyde. |
GWAI |
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 |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Kodratoff |
Learning Expert Knowledge and Theorem Proving. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Edelmann, Bernd Owsnicki-Klewe |
Data Models in Knowledge Representation System: A Case Study. |
GWAI |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Aspetsberger, Stefan Bayerl |
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Pinkal |
Situationssemantic und Diskursrepräsentationstheorie: Einordnung und Anwendungsaspekte. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Hervé Gallaire |
Logic Programming Development (Abstract). |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Alice ter Meulen |
Processing Pronouns: A Comparison of Situations Semantics and Discourse Representation Theory. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Diederich |
Parallelverarbeitung in Netzwerk-basierten Systemen. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioan Georgescu |
Constructive Theory Formation in Knowledge Based Systems. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Fendler, Rainer Wichlacz |
SYCON: Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen Symbolischen Constraints. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Alexi |
Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract). |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudula Retz-Schmidt |
Script-Based Generation and Evaluation of Expectations in Traffic Scenes. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Jürgen Ohlbach |
Theory Unification in Abstract Clause Graphs. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß |
Unification in a Many-sorted Calculus with Declarations. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Puppe, Bernhard Puppe |
MED2: How Domain Characteristics Induce Expert System Features. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | John McCarthy 0001 |
What is Common Sense and How to Formalize it? (Condensed Slides). |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald V. Book, Jörg H. Siekmann |
On the Unification Hierarchy. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka |
Über normale Vögel, anwendbare Regeln und einen Default-Beweiser. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Patrick Tsang |
Representation and Manipulation of Process Plans in Generic Expert Planning Systems. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Gerlach |
Wissensbasierte Interpretation relationaler Bildbeschreibungen. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Böttcher |
Ein Beweisverfahren für Datenbankprädikate. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license