Reports Available from ECRC [ECRC--TR--LP-60] Mireille Ducasse and Anna-Maria Emde. Opium 3.1 - User Manual A High-level Debugging Environment for Prolog. 1991. [ECRC--TR--LP-61] E. Yardeni, T. Fruehwirth, and E. Shapiro. Polymorphi- cally Typed Logic Programs. 1991. [ECRC--TR--DPS-81] U. Baron, S. Bescos, and S. Delgado. The ElipSys Logic Programming Language. 17. 01. 1991. [ECRC--TR--DPS-82] Sergio Delgado, Michel Dorochevsky, and Kees Schuerman. A Shared Environment Parallel Logic Programming System On Distributed Memory Architectures. 18. 01. 1991. [ECRC--TR--DPS-83] Andre Veron, Jiyang Xu, and Kees Schuerman. Virtual Memory Support for OR-Parallel Logic Programming Systems. 05. 03. 1991. [ECRC--TR--DPS-85] Michel Dorochevsky. Garbage Collection in the OR- Parallel Logic Programming. 15. 03. 1991. [ECRC--TR--DPS-100] Alan Sexton. KCM Kernel Implementation Report. 22. 05. 1991. [ECRC--TR--DPS-103] Michel Dorochevsky. Key Features of a Prolog Module System. 08. 03. 1991. [ECRC--TR--DPS-104] Michel Dorochevsky, Kees Schuerman, and Andre Veron. ElipSys: An Integrated Platform for Building Large Decision Support Systems. 29. 01. 1991. [ECRC--TR--DPS-105] Jiyang Xu and Andre Veron. Types and Constraints in the Parallel Logic Programming System ElipSys. 15. 03. 1991. [ECRC--TR--DPS-107] Olivier Thibault. Design and Evaluation of a Symbolic Processor. 13. 06. 1991. [ECRC--TR--DPS-112] Michel Dorochevsky, Jacques Noye, and Olivier Thibault. Has Dedicated Hardware for Prolog a Future ? 14. 09. 1991. [ECRC--91--1] Norbert Eisinger and Hans Juergen Ohlbach. Deduction Systems Based on Resolution. 29. 10. 1991. [ECRC--91--2] Michel Kuntz. The Gist of GIUKU: Graphical Interactive Intelligent Utilities for Knowledgeable Users of Data Base Systems. 4. 11. 1991. [ECRC--91--3] Michel Kuntz. An Introduction to GIUKU: Graphical Interactive Intelligent Utilities for Knowledgeable Users of Data Base Systems. 4. 11. 1991. [ECRC--91--4] Michel Kuntz. Enhanced Graphical Browsing Techniques for Collections of Structured Data. 4. 11. 1991. [ECRC--91--5] Michel Kuntz. A Graphical Syntax Facility for Knowledge Base Languages. 4. 11. 1991. [ECRC--91--6] Michel Kuntz. A Versatile Browser-Editor for NF2 Relations. 4. 11. 1991. [ECRC--91--7] Norbert Eisinger, Nabiel Elshiewy, and Remo Pareschi. Distributed Artificial Intelligence - An Overview. 1991. 1 [ECRC--91--8] Norbert Eisinger. An Approach to Multi-Agent Problem- Solving. 11. 11. 1991. [ECRC--91--9] Klaus H. Ahlers, Michael Fendt, Marc Herrmann, Isabelle Hounieu, and Philippe Marchal. TUBE Implementor's Manual. 21. 11. 1991. [ECRC--91--10] Klaus H. Ahlers, Michael Fendt, Marc Herrmann, Isabelle Hounieu, and Philippe Marchal. TUBE Programmer's Manual. 21. 11. 1991. [ECRC--91--11] Michael Dahmen. A Debugger for Constraints in Prolog. 26. 11. 1991. [ECRC--91--12] Jean-Marc Andreoli and Remo Pareschi. Communication as Fair Distribution of Knowledge. 26. 11. 1991. [ECRC--91--13] Jean-Marc Andreoli, Remo Pareschi, and Marc Bourgois. Dynamic Programming as Multiagent Programming. 26. 11. 1991. [ECRC--91--14] Volker Kuechenhoff. On the Efficient Computation of the Difference Between Consecutive Database States. 5. 12. 1991. [ECRC--91--15] Sylvie Bescos and Michael Ratcliffe. Secondary Structure Prediction of rRNA Molecules Using ElipSys. 16. 12. 1991. [ECRC--91--16] Michael Dahmen. Abstract Debugging of Coroutines and Constraints in Prolog. 30. 12. 1991. [ECRC--92--1] Thierry Le Provost and Mark Wallace. Constraint Satisfaction Over the CLP Scheme. 30. 1. 1992. [ECRC--92--2] Gerard Comyn, M. Jarke, and Suryanarayana M. Sripada. Proceedings of the 1st Compulog Net meeting on Knowledge Bases (CNKBS'92). 30. 1. 1992. [ECRC--92--3] Jesper Larsson Traeff and Steven David Prestwich. Meta- programming for reordering Literals in Deductive Databases. 30. 1. 1992. [ECRC--92--4] Beat Wuethrich. Update Realizations Drawn from Knowledge Base Schemas -1z and Executed by Dialog. 4. 2. 1992. [ECRC--92--5] Lone Leth. A New Direction in Functions as Processes. 25. 2. 1992. [ECRC--92--6] Steven David Prestwich. The PADDY Partial Deduction System. 23. 3. 1992. [ECRC--92--7] Andrei Voronkov. Extracting Higher Order Functions from First Order Proofs. 23. 3. 1992. [ECRC--92--8] Andrei Voronkov. On Computability by Logic Programs. 23. 3. 1992. [ECRC--92--9] Beat Wuethrich. Towards Probabilistic Knowledge Bases. 02. 4. 1992. [ECRC--92--10] Petra Bayer. Update Propagation for Integrity Checking, Ma- terialized View Maintenance and Production Rule Triggering. 08. 4. 1992. [ECRC--92--11] Mireille Ducasse. Abstract views of Prolog executions in Opium. 15. 4. 1992. 2 [ECRC--92--12] Alexandre Lefebvre. Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases. 30. 4. 1992. [ECRC--92--13] Udo W. Lipeck and Rainer Manthey (Hrsg.). Kurzfassungen des 4. GI-Workshops ``Grundlagen von Datenbanken'', Barsinghausen, 9.-12.6.1992. 12. 05. 1992. [ECRC--92--14] Lone Leth and Bent Thomsen. Some Facile Chemistry. 26. 05. 1992. [ECRC--92--15] Jacques Noye (Ed.). Proceedings of the International KCM User Group Meeting,Munich, 7 and 8 October 1991. 03. 06. 1992. [ECRC--92--16] Frederick Knabe. A Distributed Protocol for Channel-Based Communication with Choice. 10. 06. 1992. [ECRC--92-17] Benoit Baurens, Petra Bayer, Luis Hermosilla, and Andrea Sikeler. Publication Management: A Requirements Analysis. 03. 07. 1992. [ECRC--92-18] Thom Fruehwirth. Constraint Simplification Rules. 28. 07. 1992. [ECRC--92-19] Mark Wallace. Compiling Integrity Checking into Update Procedures. 29. 07. 1992. [ECRC--92-20] Petra Bayer. Data and Knowledge for Medical Applications: A Case Study. 30. 07. 1992. [ECRC--92-21] Michel Dorochevsky and Andre Veron. Binding Techniques and Garbage Collection for OR-Parallel CLP Systems. 11. 08. 1992. [ECRC--92-22] Shan-Wen Yan. Efficiently Estimating Relative Grain Size for Logic Programs on Basis of Abstract Interpretation. 25. 08. 1992. [ECRC--92-23] Jean-Marc Andreoli, Paolo Ciancarini, and Remo Pareschi. Interaction Abstract Machines. 25. 08. 1992. [ECRC--92-24] Jean-Marc Andreoli and Remo Pareschi. Associative Communica- tion and its Optimization via Abstract Interpretation. 25. 08. 1992. [ECRC--92-25] Jean-Marc Andreoli, Lone Leth, Remo Pareschi, and Bent Thomsen. On the Chemistry of Broadcasting. 25. 08. 1992. [ECRC--92-26] Marc Bourgois, Jean-Marc Andreoli, and Remo Pareschi. Extending Objects with Rules, Composition and Concurrency : the LO Experience. 25. 08. 1992. [ECRC--92-27] Benoit Dageville and Kam-Fai Wong. SIM: A C-based SIMulation Package. 28. 09. 1992. [ECRC--92-28] Beat Wuethrich. On the Efficient Distribution-free Learn- ing of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases. 29. 09. 1992. [ECRC--92-29] Andrei Voronkov. Logic Programming with Bounded Quantifiers. 29. 09. 1992. [ECRC--92-30] Eric Monfroy. Groebner Bases: Strategies and Applications. 30. 09. 1992. 3 [ECRC--92-31] Eric Monfroy. Specification of Geometrical Constraints. 30. 09. 1992. [ECRC--92-32] Bent Thomsen, Lone Leth, and Alessandro Giacalone. Some Issues in the Semantics of Facile Distributed Programming. 22. 10. 1992. [ECRC--92-33] Mireille Ducasse. An Extendable Trace Analyser to Support Automated Debugging. 04. 12. 1992. [ECRC--92-34] Jorge Bocca and Luis Hermosilla. A Preliminary Study of the Performance of MegaLog. 20. 12. 1992. [ECRC--93--1] Benoit Dageville and Kam-Fai Wong. Supporting Thousands of Threads Using a Hybrid Stack Sharing Scheme. 18. 01. 1993. [ECRC--93--2] Steven Prestwich. ElipSys Programming Tutorial. 18. 01. 1993. [ECRC--93--3] Beat Wuethrich. Learning Probabilistic Rules. 28. 01. 1993. [ECRC--93--4] Eric Monfroy. A Survey of Non-Linear Solvers. 02. 02. 1993. [ECRC--93--5] Thom Fruehwirth, Alexander Herold, Volker Kuechenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, and Mark Wallace. Constraint Logic Programming - An Informal Introduction. 02. 02. 1993. [ECRC--93--6] ECLiPSe User Manual. 23. 03. 1993. [ECRC--93--7] Petra Bayer, Alexandre Lefebvre, and Laurent Vieille. Architecture and Design of the EKS Deductive Database System. 29. 03. 1993. [ECRC--93--8] Petra Bayer and John Fox. State-Of-The-Art Report on Reactive Processing in Database Technology and in Artificial Intelligence. 29. 03. 1993. [ECRC--93--9] Mike Freeston. On the Generalised Indexing of Complex Structures. 04. 05. 1993. [ECRC--93--10] Bent Thomsen. Polymorphic Sorts and Types for Concurrent Functional Programs. 17. 06. 1993. [ECRC--93--11] Norbert Eisinger. A Multi-Agent Diary Manager coordinated with LO. 07. 07. 1993. [ECRC--93--12] Steven D. Prestwich. Parallel Speedup Anomalies and Program Development. 17. 09. 1993. [ECRC--93--13] Gabriel M. Kuper. Aggregation in Constraint Databases. 20. 09. 1993. [ECRC--93--14] Shan-Wen Yan. A General-purpose Abstract Interpreter and Its Application to Cost Analysis of Logic Programs. 27. 09. 1993. [ECRC--93--15] Luis H. Hermosilla. A Requirement Analysis for Supporting Temporal Reasoning in Geographic Information Systems. 27. 09. 1993. [ECRC--93--16] Mireille Ducasse. Opium: A high-level debugging environment for Prolog. 29. 10. 1993. [ECRC--93--17] Andrea Sikeler. Mapping a Complex Object-Oriented Data Model to a Low-Level Object Manager. 02. 12. 1993. 4 [ECRC--93--18] Nabiel Elshiewy. MAKBIS: Coordinated Access to Heterogeneous and Autnonomous Information Systems. 03. 12. 1993. [ECRC--93--19] The ElipSys Team. ElipSys User Manual. 13. 12. 1993. [ECRC--93--20] Bent Thomsen, Lone Leth, Sanjiva Prasad, Tsung-Min Kuo, Andre Kramer, Fritz Knabe, and Alessandro Giacalone. Facile Antigua Release Programming Guide. 14. 12. 1993. [ECRC--93--21] Marc Bourgois, Jean-Marc Andreoli, and Remo Pareschi. Concurrency and Communication: Choices in Implementing the Coordination Language LO. 15. 12. 1993. [ECRC--93--22] Foto Afrati, Nicole Bidoit, and Suryanarayana Sripada. Proceedings of the 2nd Compulog Net Area Meeting on Knowledge Base Systems, CNKBS'93. 16. 12. 1993. [ECRC--93--23] Liang-Liang Li, Kees Schuerman, Andre Veron, Mike Reeve, and Alex Herold. ElipSys - An OR-Parallel Constraints Logic Programming System. 22. 12. 1993. [ECRC--94--1] Norbert Eisinger, Nabiel Elshiewy, and Willem Jonker. The State of the Art in Federated Databases. 25. 01. 1994. [ECRC--94--2] Roberto M. Amadio and Otmane Ait-Mohamed. An Analysis of pi-calculus Bisimulations. 28. 01. 1994. [ECRC--94--3] Roberto M. Amadio. Translating Core Facile. 04. 02. 1994. [ECRC--94--4] Jean-Pierre Talpin. The Calumet Experiment - Part I: An Implementation of Group-Communication Protocols in Facile. 07. 02. 1994. [ECRC--94--5] Thom Fruehwirth. Temporal reasoning with constraint handling rules. 16. 02. 1994. [ECRC--94--6] Thom Fruehwirth and Philippe Hanschke. Terminological reasoning with constraint handling rules. 16. 02. 1994. [ECRC--94--7] Steven Prestwich and Tony Kusalik. Programmer-Oriented Visualisation of Parallel Logic Program Execution. 25. 02. 1994. [ECRC--94--8] Ross T. Whitaker and David T. Chen. Embedded Active Surface for Volume Visualization. 11. 03. 1994. [ECRC--94--9] Pascal Brisset and Thom Fruehwirth. ECLiPSe Extensions User Manual. [ECRC--94--10] Sanjiva Prasad. Cut Elimination for LU with Mingle. 06. 04. 1994. [ECRC--94--11] Sanjiva Prasad. The Positive Intuitionistic Fragment of LU. 06. 04. 1994. [ECRC--94--12] Philippe Bonnet and Stephane Bressan. Utilisation et Implantation de l'Interface Conceptuelle d'un systeme de Base de Donnees Deductif et Oriente Objet. 15. 04. 1994. [ECRC--94--13] Stavros S. Cosmadakis and Gabriel M. Kuper. Expressiveness of First-Order Constraint Languages. 18. 04. 1994. [ECRC--94--14] Klaus H. Ahlers, Chris Crampton, Douglas Greer, Eric Rose, and Mihran Tuceryan. Augmented Vision: A Technical Introduction to the Grasp 1.2 System. 19. 04. 1994. 5 [ECRC--94--15] Carmen Gervet. Conjunto: Constraint Logic Programming with Finite Set Domains. 29. 04. 1994. [ECRC--94--16] David E. Breen, Donald H. House, and Michael J. Wozny. Predicting the Drape of Woven Cloth Using Interacting Particles. 18. 05. 1994. [ECRC--94--17] Shyam Mudambi and Joachim Schimpf. Parallel CLP on Heterogeneous Networks. 19. 05. 1994. [ECRC--94--18] Roberto Amadio and Sanjiva Prasad. Localities and Failures. 24. 05. 1994. [ECRC--94--19] David E. Breen, Donald H. House, and Michael J. Wozny. A Particle-Based Model for Simulating the Draping Behavior of Woven Cloth. 27. 05. 1994. 6