🚀 go-pugleaf

To:   mflll002
From: Kai Zimmermann
zimmerma@informatik.tu-muenchen.dbp.de  OU=VE-GW ON=BITNET



Newsgroups: comp.doc.techreports,comp.ai
Subject: Research Reports on Artificial Intelligence
Summary:
Expires:
Sender: fki@informatik.tu-muenchen.de
Followup-To:
Distribution: world
Organization: Technische Universitaet Muenchen, TUM
Keywords:


Forschungsberichte  Kuenstliche  Intelligenz
============================================
Research Reports on Artificial Intelligence

Institut fuer Informatik
Technische Universitaet Muenchen
Arcisstr. 21
D-8000 Muenchen 2

Phone:   +49 - 89 - 2105-8163
Telex:   tumue d 05-22854
Fax:     +49 - 89 - 2105 - 8207
e-mail:  fki@informatik.tu-muenchen.de

The following papers can be obtained free of charge at the address given above.
Requests to: Christian Freksa code "FKI"


FKI-Reports 1988-1991
---------------------

FKI-86-88....Uli Furbach/ Steffen Hoelldobler: FHCL - Functions in Horn Claus
             Logic
FKI-87-88....Uli Furbach/ Bertram Fronhoefer: Transformation Systems for
             Program Synthesis: Knuth Bendix Completion and Fold/Unfold
FKI-88-88....Daniel Hernandez: Module Fault Localization in a Software Toolbus
             based System.
FKI-89-88....Thierry Conrad/ Uli Furbach: Sorts are Nothing but Functions - An
             Equational Approach to Sorts for Logic Programming.
FKI-90-88....Christoph Kreitz/ Gerd Neugebauer/ Bertram Fronhoefer: Logic
             Oriented Program Synthesis - Goals and Realization.
FKI-91-88....Uli Furbach/ Christian Freksa/ Gerhard Dirlich: Wissensrepraesen-
             tation 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-92-88....Erwin Kloeck: Utterance Generation Without Choice. In: Hoeppner,
             W. (Hrsg.): GWAI-88, 12th German Workshop on Artificial
             Intelligence. Berlin: Springer 1988.
FKI-93-88....Vytautas Cyras: Loop Program Synthesis Using Array Traversing
             Modules.
FKI-94-88....Kai Zimmermann: Der Netzeditor. Eine komfortable Umgbung zum
             Erstellen und Testen von konnektionistischen Netzen.
FKI-95-88....Andreas Stolcke: Generierung natuerlichsprachlicher Saetze in
             unifikationsbasierten Grammatiken.
FKI-96-88....Andreas Strasser: Zur Portierbarkeit taxonomischer Wissensbasen
             zwischen heterogenen Systemen.
FKI-96-a-88..Stefan Bayerl, Caferra R., F. van der Linden: Theses on Automated
             Theorem Proving.
FKI-96-b-88..Reinhold Letz, Johannes Schumann: Global Variables in Logic
             Programming.
FKI-96-c-88..Reinhold Letz: Expressing First Order Logic within Horn Clause
             Logic.
FKI-97-89....Stefan Bayerl, Reinhold Letz, Johannes Schumann: SETHEO:
             a SEquential THEOremprover for first order logic - Version 2 -.
FKI-98-89....Wilfried Brauer, Christian Freksa and the AI/Cognition Group:
             Connectionist Approach to the Description of Spatial Knowledge and
             related papers.
FKI-99-89....Franz Kurfess: Logic and Reasoning with Neural Models.
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-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-102-89...Eike Jessen: Leistungsfaehigkeit von Parallelrechnern.
FKI-103-89...Bertram Fronhoefer: Plan Schemes in Planlog. In: Jorrand P.,
             Sgurev V. (eds.): AIMSA 88. North-Holland 1988.
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. Berlin: Springer 1989 (Informatik Fachberichte 227)
FKI-105-89...Andreas Strasser: Strukturierte Darstellung juristischen Wissens.
             In: Paul M. (Hrsg.): Proc. 19. GI-Jahrestagung,
             Berlin: Springer 1989.
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. Berlin: Springer 1989.
FKI-107-89...Stefan Lanser: NEOSIM Der Neocognitron Simulator.
FKI-108-89...Bertram Fronhoefer: Default Connections in a Modal Planning
             Framework.
FKI-109-89...Gerhard 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-110-89...Uli Furbach, Steffen Hoelldobler: Equations, Order-Sortedness and
             Inheritance in Logic Programming. In: Wilkerson (ed.): Advaces in
             Logic Programming and Automated Reasoning. Ablex Publishing
             Corporation. 1989
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-112-89...Andreas Strasser, Gerhard Strobl, Dieter Dodenhoeft: Flexible
             Classification in ProObj.
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: Wikley, 1989
FKI-114-89...Wolfgang Ertel: Backpropagation with Temperature Parameter and
             Random Pattern Presentation.
FKI-115-89...Christian Suttner, Wolfgang Ertel: Automatic Acquisition of Search
             Guiding Heuristics.In Stickel, M (ed.) Proc. ot the 10th
             International Conference on Automated Deduction (CADE),
             Kaiserslautern, 1990, LNAI 449, Springer-Verlag
FKI-116-89...Reinhold Letz, Johannes Schumann, Stefan Bayerl, Wolfgang Bibel:
             SETHEO: A High-Performance Theorem Prover
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-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-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-120-89...Reinhold Letz, Johannes Schumann: PARTHEO:  A High Performance
             Parallel Theorem Prover.
FKI-121-89...Johannes Schumann, N. Trapp, M. van der Koelen: SETHEO/PARTHEO,
             Users Manual.
FKI-122-89...Reinhold Letz, Stefan Bayerl, Johannes Schumann, Bertram
             Fronhoefer: The Logic Programming Language LOP.
FKI-123-89...Reinhold Letz: Classical Negation in Logic Programming.
FKI-124-90...Juergen H. Schmidhuber: A local learning algorithm for dynamic
             feedforward and recurrent networks.
FKI-125-90(revised)
             Juergen H. Schmidhuber: Networks adjusting networks. A revised
             and 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-126-90(revised)
             Juergen H. Schmidhuber: Making the world differentiable: On
             Using Self-Supervised Fully Recurrent Neural Networks for Dynamic
             Reinforcement Learning and Planning in Non-Stationary Environments
FKI-127-90...Gerhard Weiss: Artificial Neural Learning.
FKI-128-90...Juergen H. Schmidhuber, Rudolf Huber: Learning to generate focus
             trajectories for attentive vision.
FKI-129-90...Juergen H. Schmidhuber: Towards compositional learning with
             dynamic neural networks.
FKI-130-90...Andreas Strasser: Consistency-checking of legal contracts using a
             temporal model.
FKI-131-90...Peter Baumgartner: Combining horn clause logic with rewrite rules.
FKI-132-90...Gerhard Weiss: Combining neural and evolutionary learning:
             Aspects and approaches.
FKI-133-90...Peter Baumgartner, Siegfried Meggendorfer, Zong Yan Qiu:
             Software Specification Methods from the Viewpoint of Reusability
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-135-90...Daniel Hernandez: Relative Representation of Spatial Knowledge:
             The 2-D Case
FKI-136-90...Christian Freksa: Qualitative Spatial Reasoning
FKI-137-90...Marco Dorigo, Bernhard Schaetz: Mapping a Generator for
             Neural Network Simulators to a Transputer System
FKI-138-90...Petra Braeunling, Christian Freksa, Kai Zimmermann (eds.):
             The SpaceGarden Bibliography. Also available as BibTex source and
             Macintosh Hypercard Stack
FKI-139-90...Andreas Strasser: Probleme regelbasierter Repraesentation von
             Wissen in juristischen Expertensystemen
FKI-140-90...Patrick Thomas: Beyond Hebb Synapses: Biological Building Blocks
             for Unsupervised Learning in Artificial Neural Networks
FKI-141-90...Bertram Fronhoefer: Implementing Exeption in Inheritance by
             Concept Transforming Actions
FKI-142-90...Bertram Fronhoefer,Max Moser: Program Optimization by Analyzing
             Similar Repetitive Subcomputations
FKI-143-90...Wolfgang Ertel: Random Competition: A Simple, but Efficient Method
             for Parallelizing Inference Systems
FKI-144-90...Reinhold Letz, Klaus Mayr: Proof Schemata in Propositional Calculi
FKI-145-90...Peter Baumgartner: Modelling Software Reuse with Predicate Logic
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-147-91...Juergen Schmidhuber: Learning to Control Fast-Weight Memories: An
             Alternative to Dynamic Recurrent Networks
FKI-148-91...Juergen Schmidhuber: A Neural Sequence Chunker

************
List News:

      Well, I apologise and would like to explain about a few errors that some
people were nice enough to point out to me, I apologise that there is nothing
I can do about them, but I would like to explain.

      First, it seems that my mailer liked Calif. Technology's list so
much that it wanted all of you to share it's enjoyment; so it sent it twice
in the same message.  I'm sorry about that, I still am not quite sure what
happened, I'll try to stop that from happening again....

      Second, It appears as if the mailing program is a little off.  When I
re-setup this list, I put the names into a list, so I could just alias you
all and not have to send out individual mail.  So Guess What?  It appears
as some people have responded to me that this mailer has sent all the
members of the list all the other's addresses in the header.  My User
Coordinator told me that will change...when we get a new machine in July
roughly.. Then we'll have a news program so we can post directly from mail to
the News, and We'll be able to fully alias to our list.  Until then, for the
both of us, I apologise.  I know it is an inconvenience, and I emphasise.
We're all doing the best we can.

      And to those of you wrote saying that this is a good list/service,
I would personally like to thank you.  This is my first time working in this
field, and you guys are making it real easy for me, I appreciate that.  Thanx
for everything....

Bill Steele
Electronic Communications Consultant to
Dr. Laurence Leff
List Administrator, Technical Reports List
Western Illinois University