Rippling: A heuristic for guiding inductive proofs

, , , &
Artificial Intelligence 62 (2):185-253 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(93)90079-q

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Connection-driven inductive theorem proving.Christoph Kreitz & Brigitte Pientka - 2001 - Studia Logica 69 (2):293-326.
The Synthesis of Logic Programs From Inductive Proofs.Alan Bundy, Smaill & Geraint A. Wiggins - 1990 - Department of Artificial Intelligence, University of Edinburgh.
Rippling: Meta-Level Guidance for Mathematical Reasoning.Alan Bundy, David Basin, Dieter Hutter & Andrew Ireland - 2006 - Bulletin of Symbolic Logic 12 (3):498-499.
Bundy Alan, Basin David, Hutter Dieter and Ireland Andrew. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv+ 202 pp. [REVIEW]Joe Hurd - 2006 - Bulletin of Symbolic Logic 12 (3):498-499.
Wittgenstein Sobre as Provas Indutivas.André Porto - 2009 - Dois Pontos 6 (2).
The basic inductive schema, inductive truisms, and the research-guiding capacities of the logic of inductive generalization.Diderik Batens - 2004 - Logique Et Analyse 185:188.
Using Failure to Guide Inductive Proof.Andrew Ireland & Alan Bundy - 1992 - Department of Artificial Intelligence, University of Edinburgh.
What inductive explanations could not be.John Dougherty - 2018 - Synthese 195 (12):5473-5483.
Non-Formal Properties of Real Mathematical Proofs.Jean Paul van Bendegem - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:249-254.
Logics for Qualitative Inductive Generalization.Diderik Batens - 2011 - Studia Logica 97 (1):61 - 80.
“The Gaze Heuristic:” Biography of an Adaptively Rational Decision Process.Robert P. Hamlin - 2017 - Topics in Cognitive Science 9 (2):264-288.
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators.Toshiyasu Arai - 2004 - Journal of Symbolic Logic 69 (3):830-850.
Heuristic, methodology or logic of discovery? Lakatos on patterns of thinking.Olga Kiss - 2006 - Perspectives on Science 14 (3):302-317.
Payoff dominance and the stackelberg heuristic.Andrew M. Colman & Michael Bacharach - 1997 - Theory and Decision 43 (1):1-19.
Probabilistic Proofs and the Collective Epistemic Goals of Mathematicians.Don Fallis - 2011 - In Hans Bernhard Schmid, Daniel Sirtes & Marcel Weber (eds.), Collective Epistemology. Heusenstamm, Germany: Ontos. pp. 157-175.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,389,208)

6 months
3 (#980,137)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Induction and Skolemization in saturation theorem proving.Stefan Hetzl & Jannik Vierling - 2023 - Annals of Pure and Applied Logic 174 (1):103167.
Supporting the formal verification of mathematical texts.Claus Zinn - 2006 - Journal of Applied Logic 4 (4):592-621.
Proving theorems by reuse.Christoph Walther & Thomas Kolbe - 2000 - Artificial Intelligence 116 (1-2):17-66.

Add more citations

References found in this work

Add more references