I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Forschungsberichte Künstliche Intelligenz

Forschungsberichte Künstliche Intelligenz

ISSN 0941-6358

Research Reports of the AI/Cognition Group at the Technical University of Munich

The FKI-Report series includes primarily preliminary publications, specialized partial results, and supplementary material, written by the members of the AI/Cognition Group at the chair of Prof. Brauer (since 1988) as well as the "Intellektik" Group at the chair of Prof. Jessen (1988-1993).

Some of the entries in these lists contain links to abstracts (click on "Abstract") and/or to full versions of the corresponding papers. To obtain copies of older reports not available in electronic format please send an email to fki@model.informatik.tu-muenchen.de or write to:

Lehrstuhl Prof. Brauer 
Kennwort "FKI" 
Fakultät für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
D-85748 Garching bei München / Germany
Reports which have subsequently been published elsewhere might not be available for download. In those cases, please check the respective entry and the abstract for a full bibliographic reference, or contact the author of that report directly.

List of FKI reports

FKI-253-06:
Florian Echtler: Using Semantic Web Languages in Argumentation Models
View Abstract
Download as pdf file

FKI-252-05:
Richard Bergmair, Stefan Katzenbeisser: Content-Aware Steganography: About Lazy Prisoners and Narrow-Minded Wardens
View Abstract

FKI-251-05:
Felix Fischer, Matthias Nickles: A Formal Model of Generalized Assertion-Level Trust
View Abstract

FKI-250-05:
Matthias Nickles: Exposing the Communication Level of Open Systems: Expectations, Social Attitudes and Multi-Source Assertions
View Abstract

FKI-249-04:
Matthias Nickles, Tina Froehner: Social Reification for the Semantic Web
View Abstract

FKI-248-03:
Matthias Nickles: An Observation-based Approach to the Semantics of Agent Communication
View Abstract

FKI-247-03:
Felix Brandt: Private Public Choice
View Abstract
Download as Postscript

FKI-246-02:
Dany Meyer: MOMBES - Multiobjective Modelbased Evolution Strategy
View Abstract
Download as Postscript
View as PDF (requires Acrobat Reader )

FKI-245-02:
Felix Brandt: Secure and Private Auctions without Auctioneers
View Abstract
Download as Postscript

FKI-244-01:
Michael Rovatsos: Interaction frames for artificial agents
View Abstract
Download as Postscript

FKI-243-01:
Matthias Nickles: Towards a Multiagent System for Competitive Website Ratings
View Abstract
Download as Postscript

FKI-242-00:
Iris Gilsdorf, Wilfried Brauer: Optimising Route Weighting in Telecommunication Networks using Fuzzy Logic
View Abstract
Download as Postscript
View as PDF (requires Acrobat Reader )

FKI-241-00:
Felix Brandt: Antisocial Bidding in Repeated Vickrey Auctions
View Abstract
Download as Postscript

FKI-240-00:
Alexandra Musto: Eine Fuzzy-Basis für qualitative Bewegungsrepräsentation
View Abstract
Download as Postscript
View as PDF (requires Acrobat Reader )

FKI-239-00:
Wilfried Brauer, Brychcy Till, Kirchmair Clemens, Sturm Michael, Ungerer Claudia: Abschlussbericht zum Projekt ACON - Adaptive Control
View Abstract
Download as Postscript

FKI-238-00:
F. Brandt, G. Weiss: Exploring auction-based leveled-commitment contracting, Part III: Vickrey-type auctioning
View Abstract
Download as Postscript

FKI-237-00:
F. Brandt, G. Weiss: Exploring auction-based leveled-commitment contracting, Part II: Dutch-type auctioning
View Abstract
Download as Postscript

FKI-236-00:
G. Weiss: On Building Flexible Agents
View Abstract
Download as Postscript

FKI-235-00:
R. Hofmann: Inference in Markov Blanket Networks
View Abstract
Download as Postscript

FKI-234-99:
F. Brandt, G. Weiss: Exploring auction-based leveled-commitment contracting, Part I: English-type auctioning
View Abstract
Download as Postscript

FKI-233-99:
G. Weiss: A Multiagent Framework for Planning, Reacting, and Learning
View Abstract
Download as Postscript

FKI-232-99:
G. Weiss: Achieving Coordination through Combining Joint Planning and Joint Learning
View Abstract
Download as Postscript

FKI-231-99:
C. Kirchmair: Ein Gradientenabstiegsverfahren zum Sch"atzen der Parameter des Preisach Modells für Hysterese
View Abstract
Download as Postscript

FKI-230-99:
A. Musto: On Spatial Reference Frames in Qualitative Motion Representation
View Abstract
Download as Postscript
View as PDF (requires Acrobat Reader )

FKI-229-99:
A. Musto, K. Stein, K. Schill, A. Eisenkolb, W. Brauer: Qualitative Motion Representation in Egocentric and Allocentric Frame of Reference
View Abstract
Download as Postscript

FKI-228-99:
A. Musto, K. Stein, A. Eisenkolb, Th. Roefer: Qualitative and Quantitative Representations of Locomotion and their Application in Robot Navigation
View Abstract
Download as Postscript

FKI-227-98:
M. Sturm: Simulation einer Gebäudeheizung
View Abstract
Download as Postscript
View as PDF (requires Acrobat Reader )

FKI-226-98:
A. Musto, A. Eisenkolb: Eine intermediäre Schicht in der Bewegungswahrnehmung
View Abstract
Download as Postscript

FKI-225-97:
A. Eisenkolb, A. Musto, K. Schill, D. Hernandez, W. Brauer: Qualitative Representation of the Course of Motion: Cognitive and Psychophysical Foundations
View Abstract
Download as Postscript

FKI-224-97:
Michael Sturm, Till Brychcy, Clemens Kirchmair: AMoC - The ACON Model Classes
View Abstract
Download as Postscript
View as PDF (requires Acrobat Reader )

FKI-223-97:
Till Brychcy: Vorstrukturierte verallgemeinerte rekurrente neuronale Netze
View Abstract
Download as Postscript
View as PDF (requires Acrobat Reader )

FKI-222-97:
Juergen Schmidhuber & Sepp Hochreiter: LOCOCODE
View Abstract
Download as Postscript

FKI-221-97:
Matthias Scherf & Wilfried Brauer: Feature Selection by Means of a Feature Weighting Approach
View Abstract
Download as Postscript

FKI-220-97:
Dirk Ormoneit & Halbaert White: An Efficient Algorithm to Compute Maximum Entropy Densities
Download as Postscript

FKI-219-96:
Gabriele Scheler: Lexematische Äquivalenz in der maschinellen Übersetzung
View Abstract
Download as Postscript

FKI-218-96:
Michael Peceny, Gerhard Weiss, Wilfried Brauer: Verteiltes maschinelles Lernen in Fertigungsumgebungen
View Abstract
Download as Postscript

FKI-217-96:
Hans Haugeneder, Gerhard Kraetzschmar, Juergen Mueller, Gerhard Weiss, Stefan Wrobel: Lernen, Adaption und Selbst- organisation in verteilten intelligenten Systemen
View Abstract

FKI-216-96:
Gabriele Scheler: With raised eyebrows or the eyebrows raised ? A Neural Network Approach to Grammar Checking for Definiteness
View Abstract
Download as Postscript

FKI-215-96:
Peter Dikant, Gerhard Weiss, Wilfried Brauer: Verteiltes maschinelles Lernen und Lastverteilung in Rechnernetzen
View Abstract
Download as Postscript

FKI-214-96:
Gabriele Scheler: Computer Simulation of Language Acquisition: A Proposal concerning early language learning in a micro-world
View Abstract
Download as Postscript

FKI-213-96:
Martin Eldracher, Ruediger Merklein: Why the Parti-game Algorithm Does not Work Satisfyingly for Manipulator Trajectory Generation
View Abstract
Download as Postscript

FKI-212-96:
Martin Eldracher, Thomas Pic: Quick Trajectory Generation for Manipulators Using Incremental Randomized Graph Construction
View Abstract
Download as Postscript

FKI-211-95:
Wilfried Brauer, Till Brychcy, Martin Eldracher, Daniel Hernandez, Margit Kinder: Abschlussbericht zum Projekt NERES - Neuronale Regelung und Steuerung von Industrierobotern
View Abstract
Download as Postscript

FKI-210-95:
Martin Eldracher, Peter Baumann: Kinematic Path Planning for Manipulators in Dynamic Environments Using Adaptive Neural Models and Neural Subgoal Generation
View Abstract
Download as Postscript

FKI-209-95:
Daniel Hernandez, Amitabha Makerjee: Representation of Spatial Knowledge
View Abstract

FKI-208-95:
Eliseo Clementini, Paolino Di Felice, Daniel Hernandez: Qualitative representation of positional information
View Abstract

FKI-207-95:
Sepp Hochreiter, Juergen Schmidhuber: Long Short Term Memory
View Abstract
Download as Postscript

FKI-206-95:
Peter Dikant, Gerhard Weiss: Eine Simulationsumgebung fuer adaptive und verteilte Lastverteilung
View Abstract
Download as Postscript

FKI-205-95:
Dirk Ormoneit, Volker Tresp: Improved Gaussian Mixture Density Estimates Using Bayesian Penalty Terms and Network Averaging
View Abstract
Download as Postscript

FKI-204-95:
Gabriele Scheler: Neuronale Lernverfahren zur Modellierung der Semantik spatialer Ausdrücke - Stand der Forschung und Ent- wicklung neuerer Forschungsansätze
View Abstract
Download as Postscript

FKI-203-95:
Daniel Hernandez, Eliseo Clementini, Paolino Di Felice: Qualitative Distances
View Abstract
Download as Postscript

FKI-202-94:
Peter Turck, Gerhard Weiss: Eine Experimentierumgebung für verteiltes Lernen und Scheduling
View Abstract
Download as Postscript

FKI-201-94:
Juergen Schmidhuber, Bernhard Foltin: Semilinear Predictability Minimization Produces Orientation Sensitive Edge Detectors
View Abstract
Download as Postscript

FKI-200-94:
Sepp Hochreiter, Juergen Schmidhuber: Flat Minima Search Finds Simple Nets
View Abstract
Download as Postscript

FKI-199-94:
Martin Eldracher, Alexander Staller, Rene Pompl: Function Approximation With Continuous-Valued Activation Functions in CMAC
View Abstract
Download as Postscript

FKI-198-94:
Juergen Schmidhuber: On Learning How to Learn Learning Strategies
View Abstract
Download as Postscript

FKI-197-94:
Juergen Schmidhuber: Algorithmic Art
View Abstract
Download as Postscript

FKI-196-94:
Hans-Martin R. Arnoldi, Wilfried Brauer: Synchronization without oscillatory neurons
View Abstract
Download as Postscript

FKI-195-94:
Martin Eldracher, Boris Baginski: Supervised Subgoal Generation for Manipulators
View Abstract
Download as Postscript

FKI-194-94:
Juergen Schmidhuber: Discovering Problem Solutions with Low Kolmogorov Complexity and High Generalization Capability
View Abstract
Download as Postscript

FKI-193-94:
Daniel Hernandez: HCI Aspects of a Framework for the Qualitative Representation of Space
View Abstract
Download as Postscript

FKI-192-94:
Margit Kinder, Till Brychcy: Path Planning for Six-Joint Manipulators by Generalization from Example Paths
View Abstract
Download as Postscript

FKI-191-94:
Gabriele Scheler: Extracting Semantic Features for Aspectual Meanings from a Syntactic Representation Using Neural Networks
View Abstract
Download as Postscript

FKI-190-94:
Gabriele Scheler: Multilingual Generation of Grammatical Categories
View Abstract
Download as Postscript

FKI-189-94:
Gerhard Weiss: Some Studies in Distributed Machine Learning and Organizational Design
View Abstract
Download as Postscript

FKI-188-94:
Gabriele Scheler: Pattern Classification with Adaptive Distance Measures
View Abstract
Download as Postscript

FKI-187-94:
Gerhard Weiss: The Locality/Globality Dilemma in Classifier Systems and an Approach to its Solution
View Abstract

FKI-186-93:
Joachim Draeger: Anwendung des Theorembeweisers SETHEO auf angeordnete Koerper
View Abstract
Download as Postscript

FKI-185-93:
Daniel Hernandez (Ed.): Proceedings des Workshops ``Hybride und integrierte Ans"atze zur Raumrepr"asentation und ihre Anwendung''
View Abstract

FKI-184-93:
Christian B. Suttner, Geoff Sutcliffe, Theodor Yemenis: The TPTP Problem Library
View Abstract

FKI-183-93:
Margit Kinder, Till Brychcy: Theoretical Issues Concerning the Representation of Continuous-Valued Input and Output Data in Neural Networks
View Abstract
Download as Postscript

FKI-182-93:
Margit Kinder, Till Brychcy: A Neural Trajectory Storage
View Abstract
Download as Postscript

FKI-181-93:
Reasoning about Action & Change. Workshop W6 at IJCAI93. Organized by Luis Farinas del Cerro, Bertram Fronhoefer, Dov Gabbay, and Camilla Schwind
View Abstract

FKI-180-93:
Christian B. Suttner, Marc Lehmann: Dependent-Deletion: A Refinement of Backward-Subsumption
View Abstract

FKI-179-93:
Gabriele Scheler: 36 Problems for Semantic Interpretation
View Abstract
Download as Postscript

FKI-178-93:
Gabriele Scheler: Feature Selection with Exception Handling Using Adaptive Distance Measures - An Example from Phonetics
View Abstract
Download as Postscript

FKI-177-93:
Daniel Hernandez: Maintaining Qualitative Spatial Knowledge
View Abstract
Download as Postscript

FKI-176-93:
Daniel Hernandez: Reasoning with Qualitative Representations: Exploiting the Structure of Space
View Abstract
Download as Postscript

FKI-175-93:
Daniel Hernandez, Kai Zimmermann: Default Reasoning and the Qualitative Representation of Spatial Knowledge
View Abstract
Download as Postscript

FKI-174-93:
Christoph Goller: Anwendungen des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen

FKI-173-92:
Johann M. Ph. Schumann, Max Moser: A Graphical User Interface for SETHEO, - Proposal -
Download as Postscript

FKI-172-92:
Reinhold Letz: On the Polynomial Transparency of Resolution

FKI-171-92:
Martin Eldracher, Daniel Hernandez, Margit Kinder: Concept of an integrated trajectory generation system
View Abstract
Download as Postscript

FKI-170-92:
Gerhard Weiss: Action Selection and Learning in Multi-Agent Environments
View Abstract

FKI-169-92:
Reinhold Letz: Connection Tableaux and Their Relation with Linear Resolution

FKI-168-92:
Margit Kinder, Wilfried Brauer: Classification of Trajectories - Extracting Invariants with a Neural Network
View Abstract
Download as Postscript

FKI-167-92:
Martin Eldracher: Classification of Non-Linear-Separable Real-World-Problems using Delta-Rule, Perceptrons, and Topologically Distributed Encoding
Download as Postscript

FKI-166-92:
Gerhard Weiss: Collective Learning and Action Coordination
View Abstract

FKI-165-92:
Daniel Hernandez, Margit Kinder, Kai Zimmermann, Wilfried Brauer: Standardannahmen bei der qualitativen Repraesentation raeumlichen Wissens
Download as Postscript

FKI-164-92:
Daniel Hernandez: Diagrammatical Aspects of Qualitative Representations of Space
View Abstract
Download as Postscript

FKI-163-91:
Stefan Hoegg, Irmgard Schwarzer: Composition of Spatial Relations

FKI-162-91:
Wolfgang Ertel: Performance Analysis of Competitive OR-Parallel Theorem Proving
Download as Postscript

FKI-161-91:
Daniel Kobler: Die Generierung einer stabilen Raumdarstellung
Download as Postscript

FKI-160-91:
Sigi Meggendorfer, Peter Manhart: A Knowledge and Deduction Based Software Retrieval Tool

FKI-159-91:
Sigi Meggendorfer: Software Retrieval Systeme - Uebersicht und Kriterien zur Bewertung

FKI-158-91:
Gerhard Weiss: Action-Oriented Learning in Classifier Systems
View Abstract

FKI-157-91:
Daniel Kobler, Daniel Hernandez: StoL - Literate Programming in SCHEME
View Abstract
Download as Postscript

FKI-156-91:
Gerhard Weiss: The Action-Oriented Bucket Brigade
View Abstract

FKI-155-91:
Reiner Hofmann, Martin Roescheisen, Volker Tresp: Incorparating Prior Knowledge in Parsimonious Networks of Locally Tuned Units.

FKI-154-91:
Kai Zimmermann: SEqO - Ein System zur Erforschung qualitativer Objektrepraesentationen

FKI-153-91:
Christian Freksa: Temporal Reasoning Based on Semi-Intervals. A revised and extended version of TR-90-016, International Computer Science Institut, Berkeley 1990. To appear in: Artificial Intelligence, Winter 1991/92.

FKI-152-91:
Thomas Laussermair, Gerhard Weiss : Artificial Life - Eine Einfuehrung

FKI-151-91:
Juergen Schmidhuber: An O(n3) Learning Algorithm for Fully Recurrent Networks
Download as Postscript

FKI-150-91:
Andreas Strasser: Towards a Lattice of Knowledge Representation System. In: Proc. of the International Workshop on Fundamentals of AI-Research, FAIR- 91, Smolenice Castle, CFSR, 8.-12.9.91, Springer-Verlag.

FKI-149-91:
Juergen Schmidhuber: Adaptive Confidence and Adaptive Curiosity
Download as Postscript

FKI-148-91:
Juergen Schmidhuber: A Neural Sequence Chunker
Download as Postscript

FKI-147-91:
Juergen Schmidhuber: Learning to Control Fast-Weight Memories: An Alternative to Dynamic Recurrent Networks
Download as Postscript

FKI-146-91:
Christian Freksa: Conceptual Neighborhood and its role in temporal and spatial reasoning. To appear in: Proceedings of the IMACS Workshop on Desicion Support Systems and Qualitative Reasoning, M. Singh, L. Trave-Massuyes (eds.), 1991, Elsevier Science Publishers

FKI-145-90:
Peter Baumgartner: Modelling Software Reuse with Predicate Logic

FKI-144-90:
Reinhold Letz, Klaus Mayr: Proof Schemata in Propositional Calculi

FKI-143-90:
Wolfgang Ertel: Random Competition: A Simple, but Efficient Method for Parallelizing Inference Systems
Download as Postscript

FKI-142-90:
Bertram Fronhoefer,Max Moser: Program Optimization by Analyzing Similar Repetitive Subcomputations

FKI-141-90:
Bertram Fronhoefer: Implementing Exception in Inheritance by Concept Transforming Actions. To appear in: Proc. AI*IA, LNAI, Springer-Verlag 1991.

FKI-140-90:
Patrick Thomas: Beyond Hebb Synapses: Biological Building Blocks for Unsupervised Learning in Artificial Neural Networks

FKI-139-90:
Andreas Strasser: Probleme regelbasierter Repraesentation von Wissen in juristischen Expertensystemen. In: Juristische Expertensysteme: Methoden-Instrumente-Anwendungen. Heimanns-Verlag, Koeln (1991).

FKI-138-90:
Petra Braeunling, Christian Freksa, Kai Zimmermann (eds.): The SpaceGarden Bibliography

FKI-137-90:
Marco Dorigo, Bernhard Schaetz: Mapping a Generator for Neural Network Simulators to a Transputer System

FKI-136-90:
Christian Freksa: Qualitative Spatial Reasoning

FKI-135-90:
Daniel Hern^?ndez: Relative Representation of Spatial Knowledge: The 2-D Case
View Abstract
Download as Postscript

FKI-134-90:
Kai Zimmermann: Entwicklung einer bildorientierten Benutzungsoberflaeche fuer wissensbasierte Systeme, In: K. Kansy, P. Wisskirchen (Hrsg), Graphik und KI, Informatik-Fachberichte 239, Springer-Verlag, Berlin, 1990

FKI-133-90:
Peter Baumgartner, Siegfried Meggendorfer, Zong Yan Qiu: Software Specification Methods from the Viewpoint of Reusability

FKI-132-90:
Gerhard Weiss: Combining neural and evolutionary learning: Aspects and approaches.

FKI-131-90:
Peter Baumgartner: Combining horn clause logic with rewrite rules

FKI-130-90:
Andreas Strasser: Consistency-Checking of Legal Contracts Using a Temporal Model. In: Proc. of the 10. International Workshop on Expert-Systems ,AVIGNON-90, Specialized Conference on Second Generation Expert Systems, EC 2, pp. 209-221.

FKI-129-90:
Juergen H. Schmidhuber: Towards compositional learning with dynamic neural networks.

FKI-128-90:
Juergen H. Schmidhuber, Rudolf Huber: Learning to generate focus trajectories for attentive vision.

FKI-127-90:
Gerhard Weiss: Artificial Neural Learning.

FKI-126-90 (revised):
Juergen H. Schmidhuber: Making the world differentiable: On UsingSelf-Supervised Fully Recurrent Neural Networks for Dynamic Reinforcement Learning and Planning in Non-Stationary Environments
Download as Postscript

FKI-125-90 (revised):
Juergen H. Schmidhuber: Networks adjusting networks. A revisedand extended version of 'Networks adjusting Networks' in J. Kindermann and A. Linden (eds.), Proceedings of Distributed Adaptive Neural Information Processing?, St. Augustin, 24. - 25. 5. 1990, pp. 197-208, Oldenbourg, 1990

FKI-124-90:
Juergen H. Schmidhuber: A local learning algorithm for dynamic feedforward and recurrent networks.

FKI-123-89:
Reinhold Letz: Classical Negation in Logic Programming.

FKI-122-89:
Reinhold Letz, Stefan Bayerl, Johannes Schumann, Bertram Fronhoefer: The Logic Programming Language LOP

FKI-121-89:
Johannes Schumann, N. Trapp, M. van der Koelen: SETHEO/PARTHEO, Users Manual.

FKI-120-89:
Reinhold Letz, Johannes Schumann: PARTHEO: A High Performance Parallel Theorem Prover. In Stickel, M (ed.) Proc. of the 10th International Conference on Automated Deduction (CADE), Kaiserslautern, 1990, LNAI 449, Springer-Verlag, pp. 40-56.

FKI-119-89:
Stefan Bayerl, Reinhold Letz, Johannes Schumann: PARTHEO: A Parallel Inference Machine. In: Brauer W. Freksa C. (Hrsg.): Wissensbasierte Systeme, 3. Internationaler GI-Kongress. Berlin: Springer 1989 (Informatik Fachberichte 227)

FKI-118-89:
Wolfgang Ertel, Johannes Schumann, Reinhold Letz, Stefan Bayerl, Franz Kurfess, M. van der Koelen, Christian Suttner, N. Trapp: - ESPRIT - 415 Deliverable D15, PARTHEO/6: Parallel Automated Theorem Prover based on the Connection Method for Full First order Logic - Implementation and Performance

FKI-117-89:
Stefan Bayerl, Reinhold Letz, Johannes Schumann, Franz Kurfess, Wolfgang Ertel: - ESPRIT - 415 Deliverable D16, PARTHEO/6: Full First order Logic Parallel Inference Machine-Language and Design

FKI-116-89:
Reinhold Letz, Johannes Schumann, Stefan Bayerl, Wolfgang Bibel: SETHEO: A High-Performance Theorem Prover . In: Journal of Automated Reasoning (1991)

FKI-115-89:
Christian Suttner, Wolfgang Ertel: Automatic Acquisition of Search Guiding Heuristics. In Stickel, M (ed.) Proc. of the 10th International Conference on Automated Deduction (CADE), Kaiserslautern, 1990, LNAI 449, Springer-Verlag, pp. 470-484

FKI-114-89:
Wolfgang Ertel: Backpropagation with Temperature Parameter and Random Pattern Presentation.

FKI-113-89:
Franz Kurfess, Xaver Pandolfi, Zoubir Belmesk, Wolfgang Ertel, Reinhold Letz, Johannes Schumann: PARTHEO and FP2: Design of a Parallel Inference Machine. In: Treleaven P. (ed): Parallel Computers: Object-Oriented, Functional and Logic, Chicester: Wiley, 1989

FKI-112-89:
Andreas Strasser, Gerhard Strobl, Dieter Dodenhoeft: Flexible Classification in ProObj.

FKI-111-89:
Uli Furbach, Steffen Hoelldobler, Joachim Schreiber: Linear Paramodulation modulo Equality. In: Metzing D. (Hrsg): Proceedings of the 13th German Workshop on Artificial Intelligence. Berlin: Springer 1989 (Informatik Fachberichte 216)

FKI-110-89:
Uli Furbach, Steffen Hoelldobler: Equations, Order-Sortedness and Inheritance in Logic Programming. In: Wilkerson (ed.): Advances in Logic Programming and Automated Reasoning. Ablex Publishing Corporation. 1990

FKI-109-89:
Georg Strobl, Dieter Dodenhoeft: A Knowledge-Based Approach for Design Analysis in Mechanical Engineering. In: Plander I. (ed): Proceedings of the 5th International Conference on Artificial Intelligence and Information-Control Systems of Robots - 89. North-Holland, 1989

FKI-108-89:
Bertram Fronhoefer: Default Connections in a Modal Planning Framework. To appear in: J. Herzberg (ed.): European Workshop on Planning (EWSP) 1991, GMD, St. Augustin, Germany, Maerz 1991, LNAI, Berlin: Springer 1991.

FKI-107-89:
Stefan Lanser: NEOSIM Der Neocognitron Simulator.

FKI-106-89:
Wolfgang Bibel, L. Farinas del Cerro, Bertram Fronhoefer, Andreas Herzig: Plan Generation by Linear Proofs: on Semantics. In: Metzing D. (Hrsg.): GWAI-89, 13th German Workshop on Artificial Intelligence, Schloss Eringerfeld, Geseke, Germany, September 1989, Berlin: Springer 1989 ( Informatik Fachberichte 216), pp. 49-62.

FKI-105-89:
Andreas Strasser: Strukturierte Darstellung juristischen Wissens. In: Paul M. (Hrsg.): Proc. 19. GI-Jahrestagung, Berlin: Springer 1989.

FKI-104-89:
Bertram Fronhoefer, Uli Furbach: ESPRIT PROJECT 973 ALPES - A Programming Environment for Logic Programming. In: Brauer W. Freksa C. (Hrsg.): Wissensbasierte Systeme, 3. Internationaler GI-Kongress, Oktober 1989, Berlin: Springer 1989 (Informatik Fachberichte 227), pp. 496-506.

FKI-103-89:
Bertram Fronhoefer: Plan Schemes in Planlog. In: Jorrand P., Sgurev V. (eds.): AIMSA 88. North-Holland 1988, Varna, Bulgaria, September 1988, pp. 169-176.

FKI-102-89:
Eike Jessen: Leistungsfaehigkeit von Parallelrechnern. (Verbesserte Fassung: Jan.91).

FKI-101-89:
Jochen Hager, Martin Moser: An Approach to Parallel Unification Using Transputers. In: Metzing, D. (Hrsg.): GWAI-89, 13th German Workshop on Artificial Intelligence. Berlin: Springer 1989.

FKI-100-89:
Johannes Schumann, Wolfgang Ertel, Christian Suttner: Learning Heuristics for a Theorem Prover using Back Propagation. In: Retti, J. u.a. (Hrsg.): 5. OEGAI-Conference 1989. Berlin, Springer 1989.

FKI-99-89:
Franz Kurfess: Logic and Reasoning with Neural Models.

FKI-98-89:
Wilfried Brauer, Christian Freksa and the AI/Cognition Group: Connectionist Approach to the Description of Spatial Knowledge and related papers.

FKI-97-89:
Stefan Bayerl, Reinhold Letz, Johannes Schumann: SETHEO: a SEquential THEOremprover for first order logic - Version 2 -.

FKI-96-c-88:
Reinhold Letz: Expressing First Order Logic within Horn Clause Logic.

FKI-96-b-88:
Reinhold Letz, Johannes Schumann: Global Variables in Logic Programming.

FKI-96-a-88:
Stefan Bayerl, Caferra R., F. van der Linden: Theses on Automated Theorem Proving.

FKI-96-88:
Andreas Strasser: Zur Portierbarkeit taxonomischer Wissensbasen zwischen heterogenen Systemen.

FKI-95-88:
Andreas Stolcke: Generierung natuerlichsprachlicher Saetze in unifikationsbasierten Grammatiken.

FKI-94-88:
Kai Zimmermann: Der Netzeditor. Eine komfortable Umgbung zum Erstellen und Testen von konnektionistischen Netzen.

FKI-93-88:
Vytautas Cyras: Loop Program Synthesis Using Array Traversing Modules.

FKI-92-88:
Erwin Kloeck: Utterance Generation Without Choice. In: Hoeppner, W. (Hrsg.): GWAI-88, 12th German Workshop on Artificial Intelligence. Berlin: Springer 1988.

FKI-91-88:
Uli Furbach/ Christian Freksa/ Gerhard Dirlich: Wissensrepraesentation in Kuenstlichen Symbolverarbeitenden Systemen. In: Mandl, H., H. Spada (Hrsg.): Wissenspsychologie. Muenchen/Weinheim: Psychologie Verlags Union 1988. Auch in: Mandl, H. u. a. (Hrsg.): Wissenspsychologie. Ein Lehrbuch. Muenchen: Urban & Schwarzenberg, 1988.

FKI-90-88:
Christoph Kreitz/ Gerd Neugebauer/ Bertram Fronhoefer: Logic Oriented Program Synthesis - Goals and Realization.

FKI-89-88:
Thierry Conrad/ Uli Furbach: Sorts are Nothing but Functions - An Equational Approach to Sorts for Logic Programming.

FKI-88-88:
Daniel Hernandez: Module Fault Localization in a Software Toolbus based System.

FKI-87-88:
Uli Furbach/ Bertram Fronhoefer: Transformation Systems for Program Synthesis: Superposition and Fold/Unfold. To appear in: Revue d`Intelligence Artificielle 5/II, 1991, pp 61-86.

FKI-86-88:
Uli Furbach/ Steffen Hoelldobler: FHCL - Functions in Horn Clause Logic

FKI-85-88:
Christian Freksa: Intrinsische vs. extrinsische Repraesentation zum Aufgabenloesen oder die Verwandlung von Wasser in Wein. In: Heyer, G., J. Krems, G. Goerz (Hrsg.): Wissensarten und ihre Darstellung. Informatik Fachberichte. Heidelberg: Springer, 1988.

FKI-84-88:
Christian Freksa: Cognitive Science - eine Standortbestimmung. In: Heyer, G., J. Krems, G. Goerz (Hrsg.): Wissensarten und ihre Darstellung. Informatik Fachberichte. Heidelberg: Springer, 1988.