This web site is devoted to an emerging research field perhaps better described in the words of the organizers of FroCoS'96, the first international workshop dedicated to "Frontiers of Combining Systems". Here is an excerpt of the FroCoS'96 call for papers.
In various areas of logic, computation, language processing, and artificial intelligence there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques for the combination and integration of special systems has been initiated in many areas,...

Currently, these pages are biased towards the combination of constraint solving methods, and the integration of specialized reasoners into deductive calculi.
Contributions from the other areas above are welcome and strongly encouraged.

Combination Methods in Automated Reasoning
Copyright © 1996-2002