Skip to main content
Article thumbnail
Location of Repository

Cooperating Reasoning Processes: More than Just the Sum of their Parts

By Alan Bundy
Publisher: IJCAI Inc
Year: 2007
OAI identifier:

Suggested articles


  1. (1991). A science of reasoning. doi
  2. (2001). An earlier version is available as Research Memo
  3. (2006). An integrated approach to high integrity software verification. doi
  4. (2002). Automated Theory Formation in Pure Mathematics. doi
  5. (2004). Automatic generation of classification theorems for finite algebras”. doi
  6. (2004). Automatic generationof classification theorems for finite algebras”. doi
  7. (2005). Constructing induction rules for deductive synthesis proofs. doi
  8. Discovery and reasoning in mathematics. In doi
  9. (1991). Experiments with proof plans for induction. doi
  10. (1989). Explanation-Based Learning of Proof Plans.
  11. (1999). HR: Automatic concept formation in pure mathematics.
  12. (2001). OANTS – an open approach at combining interactive and automated theorem proving. In M. Kerber 11Lots of other groups have accumulated similar evidence, but surveying that is beyond the scope of the current paper
  13. (2006). On repairing reasoning reversals via representational refinements.
  14. (1996). Productive use of failure in inductive proof. doi
  15. (1996). Productiveuse of failurein inductiveproof.
  16. (2005). Proof planning for first-order temporal logic. doi
  17. (2001). Proof planning for strategy development.
  18. (2005). Rippling: Meta-level Guidance for Mathematical Reasoning, doi
  19. (1979). Solving mechanics problems using meta-level inference.
  20. (2001). The automation of proof by mathematical induction. doi
  21. (2004). The Dynamic Creation of Induction Rules Using Proof Planning.
  22. (2005). The TM system for repairing non-theorems. doi
  23. (2004). The use of data-mining for the automatic formation of tactics.
  24. (2004). The use of data-mining for the automaticformationof tactics.
  25. The use of explicit plans to guide inductive proofs. doi
  26. The Use of Planning Critics in Mechanizing Inductive Proofs. doi
  27. (1981). Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.