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