Frontiers of Combining Systems

1. Front Matter

   Pages N3-xi

   PDF

2. An Overview of Fibred Semantics and the Combination of Logics

   • Dov M. Gabbay

   Pages 1-55

3. Generalising Propositional Modal Logic Using Labelled Deductive Systems

   • Alessandra Russo

   Pages 57-73

4. A Topography of Labelled Modal Logics

   • David Basin, Seán Matthews, Luca Viganò

   Pages 75-92

5. Combining Classical and Intuitionistic Logic

   • Luis Fariñas del Cerro, Andreas Herzig

   Pages 93-102

6. A New Correctness Proof of the Nelson-Oppen Combination Procedure

   • Cesare Tinelli, Mehdi Harandi

   Pages 103-119

7. Cooperation of Decision Procedures for the Satisfiability Problem

   • Christophe Ringeissen

   Pages 121-139

8. Combining Finite Model Generation with Theorem Proving

   • John Slaney, Timothy Surendonk

   Pages 141-155

9. Reasoning Theories

   • Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott

   Pages 157-174

10. Natural Language Presentation and Combination of Automatically Generated Proofs

    • Bernd Ingo Dahn, Andreas Wolf

    Pages 175-192

11. Symbolic Computation: Computer Algebra and Logic

    • Bruno Buchberger

    Pages 193-219

12. Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems

    • Jacques Calmet, Karsten Homann

    Pages 221-234

13. Logic Tuple Spaces for the Coordination of Heterogenous Agents

    • Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti

    Pages 235-248

14. Integration Systems and Interaction Spaces

    • Christopher Landauer, Kirstie L. Bellman

    Pages 249-266

15. Combining Solvers in a Meta Constraint Logic Programming Architecture

    • Evelina Lamma, Michela Milano, Paola Mello

    Pages 267-283

16. Membership-Constraints and Complexity in Logic Programming with Sets

    • Frieder Stolzenburg

    Pages 285-302

17. Integrating Lists, Multisets, and Sets in a Logic Programming Framework

    • Agostino Dovier, Alberto Policriti, Gianfranco Rossi

    Pages 303-319

18. CLP(x) for Proving Program Properties

    • Fred Mesnard, Sébastien Horau, Alexandra Maillard

    Pages 321-338

19. First-Order Constrained Lambda Calculus

    • John N. Crossley, Luis Mandel, Martin Wirsing

    Pages 339-356

20. Unified Relational Framework for Programming Paradigm Combination

    • Naji Habra, Baudouin le Charlier

    Pages 357-375

- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. - In more developed regions, there are a high number of organs which are not utilized. This is true for heart, liver and lungs. Small waiting lists for these organs probably reflect an inadequate economic coverage for these organ transplant activities. - There is a long waiting list for cadaveric kidney transplants, which reflect poor procurement and transplant activity. - Lack of awareness by many physicians leads to the denouncing of brain deaths. In spite of these factors, we can say that there has been a significant growth in organ procuration and transplantation in 1993, after the regionalization of the INCUCAI. Conclusions Is there a shortage of organs in Argentina? There may be. But the situation in Argentina differs from that in Europe, as we have a pool of organs which are not utilized (donation refusal, operational deficits, lack of denouncing of brain deaths). Perhaps, in the future, when we are able to make good use of all the organs submitted for transplantation, we will be able to say objectively whether the number of organs is sufficient or not. Acknowledgements I would like to thank the University of Lyon and the Merieux Foundation, especially Professors Traeger, Touraine and Dr. Dupuy for the honour of being invited to talk about the issue of organ procurement.

• algorithms
• artificial intelligence
• automated deduction
• classification
• communication
• complexity
• computer algebra
• computer science
• logic
• modeling
• multi-agent system
• programming
• proving
• semantics

• LuFG Theoretical Computer Science, Technical University of Aachen, Germany

  Frans Baader

• CIS, University of Munich, Germany

  Klaus U. Schulz

Policies and ethics