Conferences in DBLP
Oskar Dressler , Hartmut Freitag Propagation of Temporally Indexed Values in Multiple Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Junker Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik. [Citation Graph (0, 0)][DBLP ] Conf ] Oskar Dressler , Adam Farquhar Problem Solver Control Over the ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach Context Logic - An Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaorong Huang Proof Transformation Towards Human Reasoning Style. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Nejdl , Johannes Kroupa Revising Domain Theories in Model-Based Reasoning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Bibel , Luis Fariñas del Cerro , Bertram Fronhöfer , Andreas Herzig Plan Generation by Linear Proofs: On Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler , Josef Schneeberger A New Deductive Approach to Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Socher-Ambrosius Detecting Redundancy Caused by Congruent Links in Clause Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Hager , Martin Moser An Approach to Parallel Unification Using Transputers. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Denzinger , Jürgen Müller EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Müller , Rolf Socher-Ambrosius A Resolution Calculus Extende by Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Furbach , Steffen Hölldobler , Joachim F. Schreiber Linear Paramodulation modulo Equality. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Diederich Explanation and Connectionism. [Citation Graph (0, 0)][DBLP ] Conf ] Karl-Heinz Krachenfels , Kerstin Schill Optimierung des Lernverhaltens neuronaler Netze durch Berücksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Zell , Thomas Korb , Tilman Sommer , Rolf Bayer NetSim: Ein Simulator für Neuronale Netze. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Kreich Modellgestütztes Bildverstehen von Dokumenten. [Citation Graph (0, 0)][DBLP ] Conf ] Bärbel Mertsching , Georg Hartmann Lernen von Strukturbeschreibungen für ein wissensbasiertes Bildanalysesystem. [Citation Graph (0, 0)][DBLP ] Conf ] Leonie S. Dreschler-Fischer , Carsten Schröder Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Th. Niedermair SPICOS II - Linguistische Analyse im Datenbankdialog. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Streit Diskursrepräsentation im Datenbank-Abfrage Dialog SPICOS II. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Jung , Axel Kresse , Norbert Reithinger , Ralph Schäfer Das System ZORA - Wissensbasierte Generierung von Zeigegesten. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Geurts Processing Contrast Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Toni Bollinger , Ulrich Hedtstück , Claus-Rainer Rollinger Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriele Scheler Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations. [Citation Graph (0, 0)][DBLP ] Conf ] Helmar Gust , Petra Ludewig Zielgerichtete Wortschatzerweiterungen in natürlichsprachlichen Systemen. [Citation Graph (0, 0)][DBLP ] Conf ] Ewald Lang , Kai-Uwe Carstensen OSKAR - Ein PROLOG-Programm zur Modellierung der Stuktur und der Verarbeitung räumlichen Wissens. [Citation Graph (0, 0)][DBLP ] Conf ] Carola Eschenbach Komplexe Individuen in Referentiellen Netzen. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Schütz Towards a Framework for Knowledge-Based Machine Translation. [Citation Graph (0, 0)][DBLP ] Conf ] Wilhelm Weisweber Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Dörre , Andreas Eisele Determining Consistency of Feature Terms with Distributed Disjunctions. [Citation Graph (0, 0)][DBLP ] Conf ] Burkhard Freitag , Günther Specht A Parsing System Based on a Deductive Database. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Millies Kategoriales Parsing mit definiten Klauseln. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg R. J. Schirra Ein erster Blick auf ANTLIMA: Visualisierung statischer räumlicher Relationen. [Citation Graph (0, 0)][DBLP ] Conf ] Ellen Hays Two Views of Motion: On Representing Move Events in a Language-Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammed Nadjib Khenkhar DEPIC-2D: Eine Komponente zur depiktionalen Repräsentation und Verarbeitung räumlichen Wissens. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Horacek Towards Principles of Ontology. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Weber Automatische kognitive Diagnose in einem Programmier-Tutor. [Citation Graph (0, 0)][DBLP ] Conf ] Maritta Heisel , Wolfgang Reif , Werner Stephan Machine-Assisted Program Construction and Modification. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Neugebauer , Bertram Fronhöfer , Christoph Kreitz XPRTS - An Implementation Tool for Program Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Syska , Roman Cunis , Andreas Günter , Heiner Bode , Heino Peters Modulare Expertensystemarchitekturen. [Citation Graph (0, 0)][DBLP ] Conf ] Angi Voß A Layered Algebraic Specification Technique for Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Karbach , Marc Linster , Angi Voß OFFICE-PLAN: Tackling the Synthesis-Frontier. [Citation Graph (0, 0)][DBLP ] Conf ] Adam Farquhar Modifying the Model Set During Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Beetz , Winfried Barth Towards Structured Production Systems - Efficient Implementation of Meta-Level Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Udo Hahn Dialogstrukturen in Gruppendiskussionen - Ein Modell für argumentative Verhandlungen mehrerer Agenten. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Paass Bayesian Integration of Uncertain and Conflicting Evidence. [Citation Graph (0, 0)][DBLP ] Conf ] Marcus Spies Inferenzen bei Ungewißheit in Expertensystemen. [Citation Graph (0, 0)][DBLP ] Conf ] Otto Kühn , Franz Schmalhofer An Integrative Model of Learning by Being Told, from Examples and by Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] William R. Swartout Toward a Rapid Prototyping Environment for Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Raulefs Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Mellis , Toni Bollinger Einführungsseminar: Maschinelles Lernen. [Citation Graph (0, 0)][DBLP ] Conf ] B. Chandrasekaran Tutorial: High Level Tools for Knowledge Systems Design. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Christaller , Angi Voß Sektion: Expertensystemlabor. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Hernández , Bernhard Nebel , Gert Smolka , Ipke Wachsmuth Fachseminar: Formale und kognitive Grundlagen von Wissensrepräsentationen. [Citation Graph (0, 0)][DBLP ] Conf ] Gert Smolka Feature-Logik. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Hernández Zur Implementierbarkeit Analogischer Repräsentationen. [Citation Graph (0, 0)][DBLP ] Conf ] Ipke Wachsmuth Kognitive Kategorien. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nebel KL-One-basierte, hybride Repräsentationssysteme. [Citation Graph (0, 0)][DBLP ] Conf ] 