Preface: Special Issue of Selected Extended Papers of IJCAR 2010

Abstract

This special issue of the Journal of Automated Reasoning contains extended and revised versions of six selected papers presented at the 5th International Joint Conference on Automated Reasoning (IJCAR) held at the University of Edinburgh, UK, in July 2010, as part of the Federated Logic Conference (FLoC) 2010. IJCAR is the premier international joint conference on all topics in automated reasoning, including foundations, implementations, and applications. In 2010, IJCAR was the fusion of the International Conference on Automated Deduction (CADE), the International Symposium on Frontiers of Combining Systems (FroCoS), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). The six papers selected for this special issue underwent two thorough rounds of reviewing: first, the IJCAR 2010 program committee selected 28 regular papers and 12 system descriptions from 63 regular papers and 26 system descriptions that were submitted initially. From the 40 papers published in the conference proceedings [1], the editors then selected six of the best and most representative contributions to be invited for the present special issue. All of these papers were completely revised and contain substantial new results compared to the versions published in the conference proceedings. Each paper was also fully reviewed again by at least two reviewers according to the usual standards of the Journal of Automated Reasoning. The current special issue gives a fascinating snapshot of the breadth and depth of contemporary research in the field of automated reasoning. Applications and theory, classical and nonclassical logic are equally well represented.