4th International Workshop on Strategies in Automated
Deduction (STRATEGIES 2001)
held in conjunction with IJCAR 2001
in Siena, Italy, June 18, 2001
Accepted Papers
Regular Papers
- Termination of Rewriting with Local Strategies
Olivier Fissore, Isabelle Gnaedig and Hélène Kirchner
- A Logic for Rewriting Strategies
Richard B. Kieburtz
- A Proof-Planning Framework with Explicit Abstractions
Based on Indexed Formulas
Serge Autexier
- A Pragmatic Approach to Reuse in Tactical Theorem Proving
Axel Schairer, Serge Autexier and Dieter Hutter
- An Algorithm for Guiding Clausal Temporal Resolution
M. Carmen Fernandez Gago, Michael Fisher and Clare Dixon
- Continuations of Proof Strategies
Julian Richardson and Alan Smaill
- Goal-Driven Inference Search in Classical Propositional Logic
Alexander Lyaletski and Andrey Paskevich
- Strategies for Interactive Proof and Program Development
in Martin-Löf Type Theory (extended abstract)
Marcin Benke
- Regular Form of Derivations in Calculi with both Equality
and non-Equality Predicates (withdrawn)
Anatoli Degtyarev
Position Papers
- Proof Planning for Strategy Development
Andrew Ireland
- Strategies in Automated Theorem Proving
David Crocker
- A Strategy for Free-Variable Tableaux for Variant of
Quantified Modal Logics (withdrawn)
Virginie Thion