Frontiers of Combining Systems

Frontiers of Combining Systems : First International Workshop, Munich, March 1996

Edited by  , Edited by 

List price: US$109.99

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


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

Product details

  • Hardback | 388 pages
  • 167.6 x 238.8 x 27.9mm | 204.12g
  • Dordrecht, Netherlands
  • English
  • 1996 ed.
  • 6 Illustrations, black and white; XI, 388 p. 6 illus.
  • 0792342712
  • 9780792342717

Back cover copy

Combination of formal systems and algorithms, their logical and algebraic background, as well as the general architecture of complex and interacting Systems has recently become a very active research area. The first international workshop 'Frontiers of Combining Systems' created a common forum for the different research activities on this topic in the fields of Logic, Computer Science, and Artificial Intelligence. Its main intention was to stimulate an interdisciplinary discussion that focuses on different aspects of the combination problem. This volume contains research papers that cover the combination of logics, the combination of constraint solving techniques and decision procedures, the combination of deductive systems, the integration of data structures into Constraint Logic Programming formalisms, and logic modeling of multi-agent systems. These problems are addressed on different conceptual levels: from the investigation of formal properties of combined systems using methods of logic and mathematics to the consideration of physical connections and communication languages relevant for combination of software tools.
show more

Table of contents

Preface. An Overview of Fibred Semantics and the Combination of Logics; D.M. Gabbay. Generalising Propositional Modal Logic Using Labelled Deductive Systems; A. Russo. A Topography of Labelled Modal Logics; D. Basin, et al. Combining Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional; L. Farinas del Cerro, A. Herzig. A New Correctness Proof of the Nelson-Oppen Combination Procedure; C. Tinelli, M. Harandi. Cooperation of Decision Procedures for the Satisfiability Problem; C. Ringeissen. Combining Finite Model Generation with Theorem Proving: Problems and Prospects; J. Slaney, T. Surendonk. Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems; F. Giunchiglia, et al. Natural Language Presentation and Combination of Automatically Generated Proofs; B.I. Dahn, A. Wolf. Symbolic Computation: Computer Algebra and Logic; B. Buchberger. Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems; J. Calmet, K. Homann. Logic Tuple Spaces for the Coordination of Heterogeneous Agents; E. Denti, et al. Integration Systems and Interaction Spaces; C. Landauer, K.L. Bellman. Combining Constraint Solvers in a Meta CLP Architecture; E. Lamma, et al. Membership-Constraints and Complexity in Logic Programming with Sets; F. Stolzenburg. Integrating Lists, Multisets, and Sets in a Logic Programming Framework; A. Dovier, et al. CLP(chi) for Proving Program Properties; F. Mesnard, et al. First-Order Constrained Lambda Calculus; J.N. Crossley, et al. Unified Relational Framework for Programming Paradigm Combination; N. Habra, B. le Charlier. Model Checking ACTL Constrained Processes; Xiao Jun Chen.
show more