System description: MULTI a multi-strategy proof planner

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3632 LNAI, Issue , 2005, Pages 250-254

  Meier, Andreas ^a   Melis, Erica ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 26944491472     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11532231_18     Document Type: Conference Paper

References (12)

1. A. Bundy. The Use of Explicit Plans to Guide Inductive Proofs. In Proc. of CADE-9, pages 111-120, 1988.
2. A. Cohen, S. Murray, M. Pollet, and V. Sorge. Certifying solutions to permutation group problems. In Proc. of CADE-19, pages 258-273, 2003.
3. S. Colton. The HR program for theorem generation. In Proc. of CADE-18, pages 280-284, 2002.
4. L. Dixon and J.D. Fleuriot. IsaPlanner: A prototype proof planner in Isabelle. In Proc. of CADE-19, pages 279-283, 2003.
5. R. Engelmore and T. Morgan, editors. Blackboard Systems. Addison-Wesley, 1988.
6. The OMEGA Group. Proof Development with OMEGA. In Proc. of CADE-18, pages 144-149, 2002.
7. A. Meier and E. Melis. Failure reasoning in multiple-strategy proof planning. Electronic Notes in Theoretical Computer Science, To appear 2005.
8. A. Meier, M. Pollet, and V. Sorge, Comparing Approaches to Explore the Domain of Residue Classes. Journal of Symbolic Computation, 34(4):287-306, 2002.
9. A. Meier, V. Sorge, and S. Colton. Employing Theory Formation to Guide Proof Planning. In Proc. of Joint AISC and Calculemus 2002, pages 275-289, 2002.
10. E. Melis and A. Meier. Proof planning with multiple strategies. In Proc. of the First Intern. Conference on Computational Logic (CL2000), pages 644-659, 2000.
11. E. Melis and J. Siekmann. Knowledge-Based Proof Planning. Artificial Intelligence, 115(1):65-105, 1999.
12. J.D.C. Richardson, A. Smaill, and I.M. Green. System description: Proof planning in higher-order logic with λClam. In Proc. of CADE-15, pages 129-133, 1998.