Frontiers of Combining Systems
Research Studies Press (2000)
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.
|Keywords||Logic, Symbolic and mathematical Computer science|
|Categories||categorize this paper)|
|Buy the book||$24.00 used (78% off) $28.25 new (74% off) Amazon page|
|Call number||QA9.A1.F77 2000|
Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises.Mauricio Ayala-Rincon
Comparing Expressiveness of Set Constructor Symbols.Agostino Dovier, Carla Piazza & Alberto Policriti
Integrating Computer Algebra and Reasoning Through the Type System of Aldor.Erik Poll & Simon Thompson
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Zooming in, Zooming Out.Patrick Blackburn & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (1):5-31.
Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings. [REVIEW]Alessandro Armando (ed.) - 2002 - Springer.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?