Frontiers of Combining Systems
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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||$22.00 used (80% off) $34.91 new (67% off) Amazon page|
|Call number||QA9.A1.F77 2000|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
Mauricio Ayala-Rincon, Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises.
Franz Baader & Cesare Tinelli, Combining Equational Theories Sharing Non-Collapse-Free Constructors.
Alexander Bockmayr & Friedrich Eisenbrand, Combining Logic and Optimization in Cutting Plane Theory.
Agostino Dovier, Carla Piazza & Alberto Policriti, Comparing Expressiveness of Set Constructor Symbols.
Paqui Lucio, Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic.
Erik Poll & Simon Thompson, Integrating Computer Algebra and Reasoning Through the Type System of Aldor.
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
D. M. Gabbay (1996). Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics. Journal of Symbolic Logic 61 (4):1057-1120.
Alessandro Armando (ed.) (2002). Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings. [REVIEW] Springer.
Dov M. Gabbay (1999). Fibring Logics. Clarendon Press.
Patrick Blackburn & Maarten de Rijke (1997). Zooming in, Zooming Out. Journal of Logic, Language and Information 6 (1):5-31.
Walter Carnielli & Marcelo E. Coniglio, Combining Logics. Stanford Encyclopedia of Philosophy.
M. Ben-Ari (1993). Mathematical Logic for Computer Science. Prentice Hall.
Siegfried Gottwald (2008). Mathematical Fuzzy Logics. Bulletin of Symbolic Logic 14 (2):210-239.
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
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?