| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Longin Jan Latecki |
Topologie in Depiktionen.  |
GWAI  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Josef Schneeberger |
A New Deductive Approach to Planning. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Junker |
Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ipke Wachsmuth |
Kognitive Kategorien. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Nadjib Khenkhar |
DEPIC-2D: Eine Komponente zur depiktionalen Repräsentation und Verarbeitung räumlichen Wissens. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Syska, Roman Cunis, Andreas Günter, Heiner Bode, Heino Peters |
Modulare Expertensystemarchitekturen. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellen Hays |
Two Views of Motion: On Representing Move Events in a Language-Vision System. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Diederich |
Explanation and Connectionism. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Jürgen Ohlbach |
Context Logic - An Introduction. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Nebel |
KL-One-basierte, hybride Repräsentationssysteme. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Jung, Axel Kresse, Norbert Reithinger, Ralph Schäfer |
Das System ZORA - Wissensbasierte Generierung von Zeigegesten. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Angi Voß |
A Layered Algebraic Specification Technique for Expert Systems. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Chandrasekaran 0001 |
Tutorial: High Level Tools for Knowledge Systems Design. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Hahn |
Dialogstrukturen in Gruppendiskussionen - Ein Modell für argumentative Verhandlungen mehrerer Agenten. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Th. Niedermair |
SPICOS II - Linguistische Analyse im Datenbankdialog. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bärbel Mertsching, Georg Hartmann |
Lernen von Strukturbeschreibungen für ein wissensbasiertes Bildanalysesystem. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Streit |
Diskursrepräsentation im Datenbank-Abfrage Dialog SPICOS II. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Scheler |
Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hernández 0001 |
Zur Implementierbarkeit Analogischer Repräsentationen. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beetz, Winfried Barth |
Towards Structured Production Systems - Efficient Implementation of Meta-Level Architectures. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Zell, Thomas Korb, Tilman Sommer, Rolf Bayer |
NetSim: Ein Simulator für Neuronale Netze. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hager, Martin Moser |
An Approach to Parallel Unification Using Transputers. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Schütz |
Towards a Framework for Knowledge-Based Machine Translation. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonie S. Dreschler-Fischer, Carsten Schröder |
Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Raulefs |
Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Maritta Heisel, Wolfgang Reif, Werner Stephan 0001 |
Machine-Assisted Program Construction and Modification. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Socher-Ambrosius |
Detecting Redundancy Caused by Congruent Links in Clause Graphs. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl-Heinz Krachenfels, Kerstin Schill |
Optimierung des Lernverhaltens neuronaler Netze durch Berücksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Karbach, Marc Linster, Angi Voß |
OFFICE-PLAN: Tackling the Synthesis-Frontier. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Mellis, Toni Bollinger |
Einführungsseminar: Maschinelles Lernen. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Farquhar |
Modifying the Model Set During Diagnosis. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilhelm Weisweber |
Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Weber 0001 |
Automatische kognitive Diagnose in einem Programmier-Tutor. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Christaller, Angi Voß |
Sektion: Expertensystemlabor. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Spies |
Inferenzen bei Ungewißheit in Expertensystemen. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Otto Kühn, Franz Schmalhofer |
An Integrative Model of Learning by Being Told, from Examples and by Exploration. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg R. J. Schirra |
Ein erster Blick auf ANTLIMA: Visualisierung statischer räumlicher Relationen. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewald Lang, Kai-Uwe Carstensen |
OSKAR - Ein PROLOG-Programm zur Modellierung der Stuktur und der Verarbeitung räumlichen Wissens. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber |
Linear Paramodulation modulo Equality. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Nejdl, Johannes Kroupa |
Revising Domain Theories in Model-Based Reasoning Systems. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Paass |
Bayesian Integration of Uncertain and Conflicting Evidence. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hernández 0001, Bernhard Nebel, Gert Smolka, Ipke Wachsmuth |
Fachseminar: Formale und kognitive Grundlagen von Wissensrepräsentationen. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Müller 0007, Rolf Socher-Ambrosius |
A Resolution Calculus Extende by Equivalence. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger |
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Kreich |
Modellgestütztes Bildverstehen von Dokumenten. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Denzinger, Jürgen Müller 0007 |
EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Burkhard Freitag, Günther Specht |
A Parsing System Based on a Deductive Database. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Carola Eschenbach |
Komplexe Individuen in Referentiellen Netzen. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Swartout |
Toward a Rapid Prototyping Environment for Expert Systems. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Oskar Dressler, Hartmut Freitag |
Propagation of Temporally Indexed Values in Multiple Contexts. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Millies |
Kategoriales Parsing mit definiten Klauseln. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Horacek |
Towards Principles of Ontology. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig |
Plan Generation by Linear Proofs: On Semantics. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz |
XPRTS - An Implementation Tool for Program Synthesis. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Oskar Dressler, Adam Farquhar |
Problem Solver Control Over the ATMS. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Geurts |
Processing Contrast Relations. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmar Gust, Petra Ludewig |
Zielgerichtete Wortschatzerweiterungen in natürlichsprachlichen Systemen. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Metzing (eds.) |
GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, Germany, 18.-22. September 1989, Proceedings |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gert Smolka |
Feature-Logik. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Dörre, Andreas Eisele 0001 |
Determining Consistency of Feature Terms with Distributed Disjunctions. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang |
Proof Transformation Towards Human Reasoning Style. |
GWAI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Decker |
Modeling the Temporal Behaviour of Technical Systems. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Egbert Lehmann |
Zu Wesen und Grenzen der KI. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Heinsohn, Bernd Owsnicki-Klewe |
Probabilistic Inheritance and Reasoning in Hybrid Knowledge Representation Systems. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Posch |
Hierarchische linienbasierte Tiefenbestimmung in einem Stereobild. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mohnhaupt, David J. Fleet |
Raum-zeitliche Filter für eine top-down Steuerung der Bewegungsanalyse. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Koch |
Effizientes Lernen und Bewerten von Regeln. Langpapier zum Themenbereich "Maschinelles Lernen". |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Bärbel Ripplinger, Alfred Kobsa |
PLUG: Benutzerführung auf Basis einer dynamisch veränderlichen Zielhierarchie. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Russel Block |
Indefinite Noun Phrases and the Limits of Logic. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Freksa |
Mit welchen Themen soll sich die KI auseinandersetzen? |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Levi |
Verteilte Aktionsplanung für autonome mobile Agenten. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Joachim Novak, Birgit Wesche |
Analyse und Synthese in einer kategorialen Unifikationsgrammatik: Möglichkeiten und Grenzen. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Schlechta |
Remarks on Consistency and Completeness of Circumscription. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Carola Reddig |
"3D" in NLP: Determiners, Descriptions, and the Dialog Memory in the XTRA Project. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Funke |
Künstliche Intelligenz und Kognitive Psychologie: Zum Stand der Beziehung. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Hertzberg, Hans W. Guesgen, Angi Voß, Manfred Fidelak, Hans Voß |
Relaxing Constraint Networks to Resolve Inconsistencies. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Brigitte Bartsch-Spörl |
KI in der Praxis - Stand der Kunst und Perspektiven. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Müller 0007, Rolf Socher-Ambrosius |
On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Pribbenow |
Verträglichkeitsprüfungen für die Verarbeitung räumlichen Wissens. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Zercher |
Model-Based Learning of Rules for Error Diagnosis. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Kindermann, Joachim Quantz |
Wissenspräsentation und -repräsentation. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wilmes |
Mehrwertige Funktionen als Alternative zu Prädikaten. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Kemke |
Tutorial: Konnektionismus. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Werner |
Money Talk: Hierarchical Consultation Dialogue. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Hoeppner (eds.) |
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fliegner |
HOKUSKOPUS - Verwendung terminologischen Wissens bei der Analyse von Quantorenskopus und Distributivität. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Mehmanesh, Josef Krems |
SHERLOCK.0 - Kognitive Modellierung von Debuggingstrategien. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Heyer |
Fünf Thesen zum kognitiven Anspruch und der Industriellen Relevanz Künstlicher Intelligenz. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Owsnicki-Klewe |
Configuration as a Consistency Maintenance Task. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwin Klöck |
Utterance Generation Without Choice. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Stoyan |
Grenzen der KI. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Knut Hinkelmann, Klaus Nökel, Robert Rehbold |
SASLOG: Lazy Evaluation Meets Backtracking. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Neumann |
Extraction of Image Domain Primitives with a Network of Competitive/Cooperative Processes. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Kemke |
Darstellung von Aktionen in Vererbungshierarchien. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Socher-Ambrosius |
Using Theory Resolution to Simplify Interpreted Formulae. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Horacek, Henning Bergmann, Russel Block, Michael Fliegner, Michael Gerlach, Massimo Poesio, Michael Sprenger |
From Meaning to Meaning: A Walk Through WISBER's Semantic-Pragmatic Processing. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Schlechta |
Remarks to Shoham's Temporal Logic. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Horacek, Claudius Pyka |
Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Arnspang |
Unambiguous Determination of Velocity and Structure of an Accelerating Surface. A Theoretic Framework. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gio Wiederhold, Surajit Chaudhuri, Waqar Hasan, Michael G. Walker 0001, Marianne Winslett |
Architectural Concepts for Large Knowledge Bases. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license