Abstract is missing.
- Propagation of Temporally Indexed Values in Multiple ContextsOskar Dressler, Hartmut Freitag. 2-6
- Nicht-monotone Beweiser für Autoepistemische Logik und DefaultlogikUlrich Junker. 7-16
- Problem Solver Control Over the ATMSOskar Dressler, Adam Farquhar. 17-26
- Context Logic - An IntroductionHans Jürgen Ohlbach. 27-36
- Proof Transformation Towards Human Reasoning StyleXiaorong Huang. 37-42
- Revising Domain Theories in Model-Based Reasoning SystemsWolfgang Nejdl, Johannes Kroupa. 43-47
- Plan Generation by Linear Proofs: On SemanticsWolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig. 49-62
- A New Deductive Approach to PlanningSteffen Hölldobler, Josef Schneeberger. 63-73
- Detecting Redundancy Caused by Congruent Links in Clause GraphsRolf Socher-Ambrosius. 74-82
- An Approach to Parallel Unification Using TransputersJochen Hager, Martin Moser. 83-91
- EQTHEOPOGLES - A Completion Theorem Prover for PLIEQJörg Denzinger, Jürgen Müller. 92-101
- A Resolution Calculus Extende by EquivalenceJürgen Müller, Rolf Socher-Ambrosius. 102-106
- Linear Paramodulation modulo EqualityUlrich Furbach, Steffen Hölldobler, Joachim F. Schreiber. 107-116
- Explanation and ConnectionismJoachim Diederich. 118-127
- Optimierung des Lernverhaltens neuronaler Netze durch Berücksichtigung verschiedener Abstraktionsklassen bei der NetzwerktopologieKarl-Heinz Krachenfels, Kerstin Schill. 128-133
- NetSim: Ein Simulator für Neuronale NetzeAndreas Zell, Thomas Korb, Tilman Sommer, Rolf Bayer. 134-143
- Modellgestütztes Bildverstehen von DokumentenJoachim Kreich. 145-154
- Lernen von Strukturbeschreibungen für ein wissensbasiertes BildanalysesystemBärbel Mertsching, Georg Hartmann. 155-160
- Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMSLeonie S. Dreschler-Fischer, Carsten Schröder. 161-165
- SPICOS II - Linguistische Analyse im DatenbankdialogGerhard Th. Niedermair. 167-178
- Diskursrepräsentation im Datenbank-Abfrage Dialog SPICOS IIMichael Streit. 179-189
- Das System ZORA - Wissensbasierte Generierung von ZeigegestenJürgen Jung, Axel Kresse, Norbert Reithinger, Ralph Schäfer. 190-194
- Processing Contrast RelationsBart Geurts. 196-202
- Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-PrototypeToni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger. 203-212
- Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun CombinationsGabriele Scheler. 213-223
- Zielgerichtete Wortschatzerweiterungen in natürlichsprachlichen SystemenHelmar Gust, Petra Ludewig. 224-233
- OSKAR - Ein PROLOG-Programm zur Modellierung der Stuktur und der Verarbeitung räumlichen WissensEwald Lang, Kai-Uwe Carstensen. 234-243
- Komplexe Individuen in Referentiellen NetzenCarola Eschenbach. 244-253
- Towards a Framework for Knowledge-Based Machine TranslationJörg Schütz. 254-263
- Transfer in Machine Translation by Non-Confluent Term-Rewrite SystemsWilhelm Weisweber. 264-269
- Determining Consistency of Feature Terms with Distributed DisjunctionsJochen Dörre, Andreas Eisele. 270-279
- A Parsing System Based on a Deductive DatabaseBurkhard Freitag, Günther Specht. 280-289
- Kategoriales Parsing mit definiten KlauselnSebastian Millies. 290-299
- Ein erster Blick auf ANTLIMA: Visualisierung statischer räumlicher RelationenJörg R. J. Schirra. 301-311
- Two Views of Motion: On Representing Move Events in a Language-Vision SystemEllen Hays. 312-317
- DEPIC-2D: Eine Komponente zur depiktionalen Repräsentation und Verarbeitung räumlichen WissensMohammed Nadjib Khenkhar. 318-322
- Towards Principles of OntologyHelmut Horacek. 323-330
- Automatische kognitive Diagnose in einem Programmier-TutorGerhard Weber. 331-336
- Machine-Assisted Program Construction and ModificationMaritta Heisel, Wolfgang Reif, Werner Stephan. 338-347
- XPRTS - An Implementation Tool for Program SynthesisGerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz. 348-357
- Modulare ExpertensystemarchitekturenIngo Syska, Roman Cunis, Andreas Günter, Heiner Bode, Heino Peters. 359-368
- A Layered Algebraic Specification Technique for Expert SystemsAngi Voß. 369-378
- OFFICE-PLAN: Tackling the Synthesis-FrontierWerner Karbach, Marc Linster, Angi Voß. 379-387
- Modifying the Model Set During DiagnosisAdam Farquhar. 388-397
- Towards Structured Production Systems - Efficient Implementation of Meta-Level ArchitecturesMichael Beetz, Winfried Barth. 398-408
- Dialogstrukturen in Gruppendiskussionen - Ein Modell für argumentative Verhandlungen mehrerer AgentenUdo Hahn. 409-420
- Bayesian Integration of Uncertain and Conflicting EvidenceGerhard Paass. 421-427
- Inferenzen bei Ungewißheit in ExpertensystemenMarcus Spies. 428-432
- An Integrative Model of Learning by Being Told, from Examples and by ExplorationOtto Kühn, Franz Schmalhofer. 433-437
- Toward a Rapid Prototyping Environment for Expert SystemsWilliam R. Swartout. 438-454
- Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence PerspectivePeter Raulefs. 455-471
- Einführungsseminar: Maschinelles LernenWerner Mellis, Toni Bollinger. 473
- Tutorial: High Level Tools for Knowledge Systems DesignB. Chandrasekaran. 474
- Sektion: ExpertensystemlaborThomas Christaller, Angi Voß. 475
- Fachseminar: Formale und kognitive Grundlagen von WissensrepräsentationenDaniel Hernández, Bernhard Nebel, Gert Smolka, Ipke Wachsmuth. 476
- Feature-LogikGert Smolka. 477-478
- Zur Implementierbarkeit Analogischer RepräsentationenDaniel Hernández. 479-481
- Kognitive KategorienIpke Wachsmuth. 482-483
- KL-One-basierte, hybride RepräsentationssystemeBernhard Nebel. 484-485