Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hans Jürgen Ohlbach (eds.) |
GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings |
GWAI |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sonja Branskat |
Cases as a Basis for Knowledge Acquisition in the Pre-Formal Phases of Knowledge Engineering. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Marc Linster |
Viewing Knowledge Engineering as a Symbiosis of Modeling to Make Sense and Modeling to Implement Systems. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Marion Schulz, Daniela Schmidt |
Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Heike Kranzdorf, Ulrike Griefahn |
Text Planning in ITEX: A Hybrid Approach. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Bergmann |
Learning Plan Abstractions. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Poeck, Martin Tins |
An Intelligent Tutoring System for Classification Problem Solving. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Hanschke, Knut Hinkelmann |
Combining Terminological and Rule-based Reasoning for Abstraction Processes. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Matthias E. Kölln |
The Role of User Models for Conflicts in a Constraint-based Model of Generation. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Achim Weigel, Rainer Bleisinger |
Efficient Computation of Solutions for Contradictory Time Interval Networks. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hauke Kindler, Dirk Densow, Theodor M. Fliedner |
A Advisor for the Management of the Acute Radiation Syndrome. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Erich Prem, Markus Mackinger, Georg Dorffner, Gerold Porenta, Heinz Sochor |
Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
A Model Elimination Calculus with Built-in Theories. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay |
How to Construct a Logic for Your Application. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Esther König |
An Efficient Decision Algorithm for Feature Logic. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Buchberger |
Criteria in Natural Language Generation: Minimal Criteria and Their Impacts. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bachmann, Thomas Malsch, Susanne Ziegler |
Success and Failure of Expert Systems in Different Fields of Industrial Application. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß |
Controlling Generate & Test in Any Time. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Decker, Christoph Lingenfelder |
Universally Quantified Queries in Language with Order-Sorted Logics. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Martin Schröder 0001 |
Knowledge-based Processing of Medical Language: A Language Engineering Approach. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Posegga, Bertram Ludäscher |
Towards First-order Deduction Based on Shannon Graphs. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Linden 0002 |
On Discontinuous Q-Functions in Reinforcment Learning. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Knut Hinkelmann |
Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Justus Meier |
A Semantic View of Explanation. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Xiaorong Huang |
An Explanatory Framework for Human Theorem Proving. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Lux, Michael Kolb |
Linking Humans and Intelligent Systems - or: What are User Agents Good for? |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kramer |
Improving Operating System Usage. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Herrmann, Renate Beckmann |
A Heuristic Inductive Generalization Method and its Application to VLSI-Design. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Janetzko, Stefan Wess, Erica Melis |
Goal-Driven Similarity Assessment. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Renate A. Schmidt |
Terminological Representation, Natural Language & Relation Algebra. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Philipp Hanschke |
Extensions of Concept Languages for a Mechanical Engineering Application. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jacques H. J. Lenting, Peter J. Braspenning |
Delegated Negotiation for Resource Re-Allocation. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Weidenbach |
A New Sorted Logic. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paul de Greef, Keith L. Clark, Frank G. McCabe |
Towards a Specification Language for Cooperation Methods. |
GWAI |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Horacek |
Towards Finding The Reasons Behind - Generating The Content Of Explanation. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Christaller (eds.) |
GWAI-91, 15. Fachtagung für Künstliche Intelligenz, Bonn, 16.-20. September 1991, Proceedings |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
A Completeness Proof Technique for Resolution with Equality. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Herre |
Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Renate Henschel |
The Morphological Principle. A Proposal for Treating Russian Morphology Within an HPSG Framework. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Kortüm |
Temporal Reasoning with Generalized Relations. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Frank Puppe, Klaus Goos |
Improving Case Based Classification with Expert Knowledge. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Günther Specht, Oliver Krone |
Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformation. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Hertzberg, Hans W. Guesgen |
Transforming Constraint Relaxation Networks into Boltzmann Machines. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Ammon |
Constructing Programs From Input-Output Pairs. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Angi Voß, Werner Karbach, Uwe Drouven, Brigitte Bartsch-Spörl, Bert Bredeweg |
Reflection and competent problem solving. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Mehlsam, Hermann Kaindl, Wilhelm Barth |
Feature Construction during Tree Learning. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Bleisinger |
TEMPO- ein integrierter Ansatz zur Modellierung qualitativer und quantitativer zeitlicher Informationen. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Heyer |
A Frame-Based Computational Model of Generic Generalisations. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Erbach, Roman Georg Arens |
Evaluation von Grammatiken für die Analyse natürlicher Sprache durch Generierung einer repräsentativen Satzmenge. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kirn, Gunter Schlageter |
FRESCO: Eine Bankenapplikation als Testbed für die föderative Kooperation von Expertensystemen. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ute Gappa |
Graphische Wissensrepräsentationen. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Noack, Johannes Wings |
Fokusmodellierung durch Sichtabhängigkeitsgraphen bei der Interpretation natürlichsprachlicher Datenbank-Updates. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Klein |
Model Representation And Taxonomic Reasoning In Configuration Problem Solving. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Beckstein, Michelle Y. Kim |
Generalized Earley Deduction and Its Correctness. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth Garner, Wolfgang Heinz |
On the Representation of Speech Acts in Situation Semantics. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Wagner 0001 |
Vivid Logic and Directly Skeptical Inheritance. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Franz Schmalhofer, Ralph Bergmann, Otto Kühn, Gabriele Schmidt |
Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schade, Hans-Jürgen Eikmeyer |
"wahrscheinlich sind meine Beispiele soo sprunghaft und und und eh ehm zu zu telegraph" - Konnektionistische Modellierung von "covert repairs". |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Mädler |
Problemzerlegung als optimalitätserhaltende Operatorabstraktion. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Boris Petkoff, Dirk Kraus |
Methodology for Reconstructing Medical Problem Solving Competence. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Pirlein |
Konstruktion und Evaluation von Wissensbasen in textverstehenden Systemen. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Oertel |
Entwicklung von Wissensbankbetriebssystemen. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Zell, Niels Mache, Tilman Sommer, Thomas Korb |
The SNNS Neural Network Simulator. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Furbach |
Answers for disjunctive logic programs. |
GWAI |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Thiel |
Konversationale Modellierung graphisch-interaktiver Systeme: Ein Beispiel. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Hollunder |
Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Niebur, Florentin Wörgötter |
Sharpening of Orientation Selective Receptive Fields in the Mammalian Visual Cortex by Long-Range Interactions. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Goos |
Rückkopplungen in einem modellbasierten Diagnostikshell. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wermter |
Combining Symbolic and Connectionist Techniques for Coordination in Natural Language. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Backofen, Lutz Euler, Günther Görz |
Towards the Integration of Functions, Relations and Types in an AI Programming Language. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jens-Uwe Möller |
Fachdialogwissen als Mittler zwischen Fachwissen und Dialogwissen. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Joswig |
Wissensbasierte Erdbebenerkennung mit Sonogrammen als mentalen Bildern. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Kreitz |
The Representation of Program Synthesis in Higher Order Logic. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jörg R. J. Schirra |
Expansion von Ereignis-Propositionen zur Visualisierung. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Glasen |
Erschließen impliziter Information aus zeitlich parametrisierten Wirtschaftsdaten. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Dengler |
Interaktive Diskursverarbeitung. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Martin Helmut Alt, Robert Rehbold, Ralf Scheidhauer |
QUASIMODIS: Modellbasierte Diagnose dynamischer Systeme mit qualitativer Simulation. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Josef Pauli |
Recognizing 2D Image Structures by Automatically Adjusting Matching Parameters. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yong Cao |
Die Kategorie des Gebiets und ihre Wirkung auf Himmelsrichtungen. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Schäfer |
SPREADIAC - Intelligente Pfadsuche und -bewertung auf Vererbungsnetzen zur Verarbeitung impliziter Referenzen. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Kai Zercher |
Constructing Decision Trees from Examples and Their Explanation-based Generalizations. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | John A. Bateman, Leo Wanner |
Towards a Lexicon for German Organized by Communicative Function: an Application of 'Lexical Functions'. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Achim G. Hoffmann |
The Computational Complexity of Occam's Razor. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Achim G. Hoffmann |
Types of Efficient Query Learning. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoyi Jiang 0001, Horst Bunke |
Erkennung von 3-D Objekten im Nadeldiagramm mithilfe von Konsistenzbedingungen. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Sundermeyer |
Modellierung von Szenarien kooperierender Akteure. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Goerdt |
Comparing the Complexity of Regular and Unrestricted Resolution. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Sukhamay Kundu, Jianhua Chen 0003 |
A New and Simple Method for Explicit Computation of a Circumscription. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Bob J. Wielinga, Guus Schreiber |
KADS: Model Based KBS Development. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Kindermann |
Class Instances in a Terminological Framework - An Experience Report. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Marburger (eds.) |
GWAI-90, 14th German Workshop on Artificial Intelligence, Eringerfeld, Germany, 10.-14. September 1990, Proceedings |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Noack |
Die Behandlung von semantisch unvollständigen Anfragen in einer transportablen natürlichsprachlichen Datenbank-Schnittstelle. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Garrison W. Cottrell, Brian T. Bartell, Christopher Haupt |
Grounding Meaning in Perception. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Horacek |
Some Useful Search Techniques for Natural Language Generation. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Hein, Wolfgang Tank |
Assoziative Konfigurierung. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Josef Krems, J. Zerban |
GeRReT - Ein generisches Werkzeug zur Validierung von Regelbasen aus der medizinischen Diagnostik. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Schlieder |
Hamburger Ansichten oder Ein Problem der Repräsentation räumlichen Wissens. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Gaby Merziger, Mathias Bauer |
Conditioned Circumscription: Translating Defaults to Circumscription. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Mädler, Helmar Gust |
Über ein Meta-Prinzip zur Explikation von Kontrollwissen. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Anne Schiller, Petra Steffens |
A Two-Level Environment for Morphological Descriptions. |
GWAI |
1990 |
DBLP DOI BibTeX RDF |
|