810667
9780863802522
The International workshop "Frontiers on Combining Systems" is the only forum that is exclusively devoted to research efforts in this interdisciplinary area. This volume contains the proceedings from the second installment of the workshop.The contributions range from theorem proving, rewriting, and logic to systems and constraints. While there is a clear emphasis on automated tools and logics, the contributions to this volume show that there exists a rapidly expanding body of solutions of particular instances of the combination problem, and at the same time, that the issue of developing general frameworks for integrating formalisms and systems is taking on an increasingly important position on the international research agenda.The idea of combining formal systems and algorithms has been attracting interest in areas as diverse as constraint logic programming, automated deduction, verification, information retrieval, computational logistics, artificial intelligence, and logic.As any interesting real world system is a complex composite entity, decomposition its descriptive requirements (for design, verification, or maintenance purposes) into simpler, more restricted tasks is appealing as it is often the only plausible way of tackling complex modeling problems. A core body of notions, questions, and results is beginning to emerge in the area, and we are beginning to understand the computational and logical impact of combining methods and algorithms.Gabbay, Dov M. is the author of 'Frontiers of Combining Systems 2' with ISBN 9780863802522 and ISBN 0863802524.
[read more]