Skip to main content
SpringerLink
Log in
Book cover

Frontiers of Combining Systems

First International Workshop, Munich, March 1996

  • Book
  • © 1996

Overview

Editors:
  1. Frans Baader

    1. LuFG Theoretical Computer Science, Technical University of Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus U. Schulz

    1. CIS, University of Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Applied Logic Series (APLS, volume 3)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 chapters)

  1. Front Matter

    Pages N3-xi
    Download chapter 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
Back to top

Keywords

About this book

- 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.

Editors and Affiliations

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

    Frans Baader

  • CIS, University of Munich, Germany

    Klaus U. Schulz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation