Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!BOGECNVE.BITNET!MFLLL From: MFLLL@BOGECNVE.BITNET Newsgroups: comp.doc.techreports Subject: (none) Message-ID: <910324215850645-MTABOGECNVE*MFLLL@BOGECNVE.BITNET> Date: 25 Mar 91 04:04:30 GMT Sender: daemon@ucbvax.BERKELEY.EDU Organization: The Internet Lines: 237 Approved: trlist@smu.edu 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