External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 29, Issue 1-4

    0 -- 0Bernhard Gramlich, Hélène Kirchner, Frank Pfenning. Editorial: Strategies in Automated Deduction
    1 -- 34Patricia Johann, Eelco Visser. Warm fusion in Stratego: A case study in generation of program transformation systems
    35 -- 64Carlos Castro, Peter Borovanský. The use of a strategy language for solving search problems
    65 -- 97Andrew Ireland, Jamie Stark. Proof planning for strategy development
    99 -- 138Louise A. Dennis, Alan Bundy, Ian Green. Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
    139 -- 181Myla Archer. TAME: Using PVS strategies for special-purpose theorem proving
    183 -- 222Dieter Hutter. Annotated reasoning
    223 -- 257Maria Paola Bonacina. A taxonomy of parallel strategies for deduction
    runs on