IJCAR-Workshop 2001

Future Directions in Automated Reasoning


Call for Participation
18 June 2001
Siena, Italy

Programme Committee:

Alessandro Armando Università di Genova
Michael Beeson San Jose State University
Christoph Benzmüller Universität des Saarlandes
Alan Bundy The University of Edinburgh
Simon Colton The University of Edinburgh
Fausto Giunchiglia Università di Trento
Mateja Jamnik The University of Birmingham
Manfred Kerber The University of Birmingham
Martin Pollet Universität des Saarlandes

Call for Papers:

The original Call for Papers is available as

gzipped PostScript

Important Dates:

Deadline for submissions of abstracts
29 March 2001

Notification of acceptance/rejection
30 April 2001

Final version due
14 May 2001

Early registration:
15 May 2001

18 June 2001

Relevant Links


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:

  • interaction vs automation
  • proof planning
  • making more use of second and higher-order representations and unification
  • a multi-agent approach to reasoning
  • combining the best features of different systems
  • improved algorithms for finding proofs by induction
  • creating and utilizing databases of proved results
  • concept formation
  • model-based reasoning
  • machine-learning approaches
  • multiple representations and re-representations of problems and reasons
  • connections between calculation and logical reasoning


 9:00- 9:15   WELCOME
 9:15-10:30 Invited Talk:
Ursula Martin
Research mathematics: can computational logic make a difference?
10:30-11:00   COFFEE BREAK
11:00-11:30 Alan M. Frisch, Ian Miguel, Toby Walsh Generating Implied Constraints via Proof Planning
(ps.gz, pdf)
11:30-12:00 Christoph Benzmüller, Manfred Kerber A Challenge for Mechanized Deduction
(ps.gz, pdf)
12:00-12:30 Simon Colton Automated Theorem Discovery: A Future Direction for Theorem Provers
(ps.gz, pdf)
12:30-14:00   LUNCH BREAK
14:00-14:30 Peter Baumgartner Automated Deduction Techniques for the Management of Personalized Documents
(ps.gz, pdf)
14:30-15:00 Christoph Benzmüller, Andreas Meier, Erica Melis, Martin Pollet, Jörg Siekmann, Volker Sorge Proof Planning: A Fresh Start?
(ps.gz, pdf)
15:00-15:30 Andreas Meier, Carla P. Gomes, Erica Melis Extending the Reach of Proof Planning by Randomization and Restart Techniques
(ps.gz, pdf)
15:30-16:00   COFFEE BREAK
16:00-16:30 Johann Schumann, Peter Robinson [] or SUCCESS is Not Enough: Current Technology and Future Directions in Proof Presentation
(ps.gz, pdf)
16:30-18:00 Panel Session:
Peter Andrews, Alessandro Armando, Christoph Benzmüller, Jim Cunningham, William Farmer, Michael Fisher, Heiko Mantel
Future Directions in Automated Reasoning

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