Sydney, August 10 / 11, 2008
in connection with IJCAR 2008
Organisers:Simon Colton (Imperial College London)
Dieter Hutter (DFKI Bremen)
Christoph Lüth (DFKI Bremen)
Alison Pease (University of Edinburgh)
Volker Sorge (University of Birmingham)
ContactIf you need further information do not hesitate
to contact us by sending an e-mail to email@example.com
Large-scale reasoning can be a daunting task, so in the past this problem has been broken down into smaller parts to be attacked independently. This has allowed us to build powerful theorem provers, model generators, constraint and SAT solvers, computer algebra systems etc. In recent years, there has been a surge of interest in the question of how to combine reasoning systems so that the whole is more than the sum of the parts (see e.g. Alan Bundy's keynote talk "Cooperating Reasoning Processes: More than just the Sum of their Parts", IJCAR 2007).
This workshop aims to bring together researchers interested in all aspects of the combination of systems.
On the one hand we are interested in system architectures and implementations that maintain overall proof progress, support the selection of suitable provers, keep the databases of individual provers in a consistent state and allow for an incremental or evolutionary development of complex proofs.
On the other hand, we are interested in the practical integration of existing reasoning methods that lead to systems that are more powerful than the sum of their parts or that are applicable to problems outside the scope of traditional automated reasoning approaches, like conjecture refutation, theorem discovery, problem reformulation, etc.
We therefore encourage the submission of papers describing the successful application of integrated heterogeneous reasoning systems to various intelligent tasks as well as the tools and formalisms for heterogeneous evolutionary proof support.
TopicsPapers should address issues related to combining and integrating reasoning systems, including but not limited to the following areas:
Submissions are divided into three categories:
Submission of papers is via EasyChair.
The final versions of the accepted papers will be published in the workshop proceedings and distributed at the workshop. These informal proceedings will also be made accessible on the web.
We plan either a Journal special issue or a book compilation based on extended versions of selected contributions to the workshop.