Annals of Mathematics and Artificial Intelligence, Volume 29

Volume 29, Numbers 1-4, 2000

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