Call for Papers:
Important Dates: Deadline for submissions of abstracts
29 March 2001
Notification of acceptance/rejection
30 April 2001
Final version due
14 May 2001
15 May 2001
18 June 2001
Relevant Links IJCAR-2001
Workshop Proceedings The individual contributions can be found as gzipped PostScript and PDF files following links in the schedule, the introductory pages here (ps.gz, pdf), the full proceedings here (ps.gz, pdf). The copyright is with the authors.
Automated reasoning systems have formed the core of many AI software systems since the formation of the field. The efficiency of the systems has significantly improved not only since these days but also in the last couple of years. Very hard problems which were out of scope a few years ago can now be solved either fully automatically or in an interactive way. However, more than 40 years after the foundation of the field and at least 30 years after the formulation of the dream to build artificial mathematical assistants, it is still in many ways frustrating to use automated reasoning systems. In this workshop we want to take a principled look at what is missing in state-of-the-art systems and which developments would be most beneficial for the field.
We are interested in contributions, which discuss and show limitations of current approaches to automated reasoning and/or present ideas how these limitations can be overcome. In particular we are interested in challenge examples together with an analysis why they are difficult for current systems and how they may be solved in the future. We explicitly ask for constructive discussions and ideas how weaknesses of existing approaches can be remedied.
Areas of Interest: We ask for submissions to all aspects of fundamental improvements of automated reasoning systems, in particular to (but not limited to) the following list of topics:
Page maintained by Manfred Kerber, The University of Birmingham, School of Computer Science, Birminghm B15 2TT, England, Tel: +44-121-414 4787, e-mail: M.Kerber@cs.bham.ac.uk .Last update: 26 June 2001