Organisers:

Important dates

Contact

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.

Topics

• Foundations
  • Models and approaches to combine reasoning systems and their limitations
  • Types of communication and interaction between reasoning systems
  • Models and methodologies for collaborative reasoning
  • Heterogeneous logics and their proof support
• Database and the Evolution of Proofs
  • Common repository for reasoning systems
  • Exchange of (strategic) knowledge between reasoning systems
  • Document management and evolutionary proof development
  • Change management and reuse of (heterogeneous) proof work
• Interaction between Systems
  • Heuristics and criteria to distribute proof work to individual systems
  • Translation of problems between systems for better proof support
  • Lemma speculation to adapt problems to the scope of efficient reasoning systems
  • Ontologies and classification of reasoning processes
• Applications of Combined Reasoning Systems
  • Standard problems such as theorem proving, model generation, machine learning, etc.
  • Pre-processing of AI problems
  • Flexible solving of ill-formed problems
  • Intelligent tasks which cannot be automated by stand-alone systems
• Novel Approaches to Combining Reasoning Systems
  • Multi-agent systems approaches
  • Approaches based on cognitive science models of human reasoning
  • Approaches based on philosophical case studies
  • Parallel processing of reasoning problems
  • Combinations involving inductive, deductive and abductive reasoning methods

Submission

Submissions are divided into three categories:

• Research papers (up to 15 pages) describing original and novel research
• Papers describing Work in progress (up to 6 pages)
• Position papers (up to 3 pages) describing the background and actual research of the author(s).

Submission of papers is via EasyChair.

Publication

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.