Special issue of Annals of Mathematics and Artificial Intelligence (AMAI) on

STRATEGIES IN AUTOMATED DEDUCTION

Schedule:

Submission deadline:                      October 31, 1999 (passed)
Notification:                             April 15, 2000 (passed)
Submission deadline for revised versions: May 31, 2000 (passed)
Notification for revised versions:        August 2000 (passed)
Final versions:                           September 2000 (passed)
Publication of special issue:             February 2001

Accepted papers:

• Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
  by Louise A. Dennis, Alan Bundy and Ian Green
• A Taxonomy of Parallel Strategies for Deduction
  by Maria Paola Bonacina
• Proof Planning for Strategy Development
  by Andrew Ireland and Jamie Stark
• Annotated Reasoning
  by Dieter Hutter
• Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
  by Patricia Johann and Eelco Visser
• The Use of A Strategy Language for Solving Search Problems
  by Carlos Castro and Peter Borovansky
• TAME: PVS Strategies for Special Purpose Theorem Proving
  by Myla Archer

Guest editors:

Bernhard Gramlich     Helene Kirchner             Frank Pfenning
TU Wien	              LORIA-CNRS Nancy            CMU Pittsburgh
gramlich@logic.at     Helene.Kirchner@loria.fr    fp@cs.cmu.edu

Publication: