Frontiers of Combining Systems 2

Front Cover
Dov M. Gabbay, Maarten de Rijke
Research Studies Press, 2000 - Computers - 407 pages
0 Reviews
The International workshop 'Frontiers of Combining Systems' is the only forum that is exclusively devoted to research efforts in this interdisciplinary area. This volume contains selected, edited papers 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 intergrating 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 linguistics, artificial intelligence, and logic. As any interesting real world system is a complex composite entity, decomposing 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 modelling 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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Enno Ohlebusch Technische Fakultat University of Bielefeld P O Box
1
ChurchRosser Property for Conditional Rewriting Systems with Builtin
17
Combining WS1S and
39
Copyright

21 other sections not shown

Common terms and phrases

References to this book

Bibliographic information