A Comparison of two Proof Critics: Power vs. Robustness

QR Code

A Comparison of two Proof Critics: Power vs. Robustness

Proof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through. We consider the proof of the $quot;whisky problem$quot;, a challenge problem from the d...

Full description

Bibliographic Details
Main Authors:	Dennis, Louise Abigail, Bundy, Alan
Other Authors:	Carreno, V. A.
Format:	Conference or Workshop Item
Published:	Springer 2002
Online Access:	https://eprints.nottingham.ac.uk/321/

Similar Items

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs
by: Dennis, Louise Abigail, et al.
Published: (1999)

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction
by: Dennis, Louise Abigail, et al.
Published: (2000)

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
by: Dennis, Louise Abigail
Published: (2004)

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
by: Dennis, Louise Abigail, et al.
Published: (2005)

What can be learned from failed proofs of non-theorems?
by: Dennis, Louise Abigail, et al.
Published: (2005)

Robustness of convergence proofs in numerical methods in unconstrained optimization
by: Goh, B., et al.
Published: (2014)

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
by: Dennis, Louise Abigail, et al.
Published: (2001)

Integrating SVC and HOL with the PROSPER Toolkit
by: Stevenson, Alan, et al.
Published: (2000)

Student attitudes to plagiarism and collusion within computer science
by: Dennis, Louise Abigail
Published: (2005)

Cascade applications of robust MIL-96 metal organic frameworks in environmental remediation: Proof of concept
by: Azhar, M., et al.
Published: (2018)

A Power Comparison Of Robust Test Statistics Based On Adaptive Estimators.
by: Keselman, H. J., et al.
Published: (2004)

The Power of Electronic Video Recording Proof in Crime Possession of Sharp Weapons
by: Abdulajid, Syawal
Published: (2019)

Power ultrasonic assisted mixing and proofing during bread making process
by: Che Pa, Nasrul Fikry
Published: (2014)

Interactive proof systems
by: Makarin, Rusydi Hasan, et al.
Published: (2011)

Zero-knowledge-proof
by: Alshaikhli, Imad Fakhri Taha, et al.
Published: (2011)

Error Proofing In Manufacturing.
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Error Proofing In Manufacturing
by: Nadarajah, Sivakumar
Published: (2006)

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
by: Zimmer, Juergen, et al.
Published: (2002)

The NumbersWithNames Program
by: Colton, Simon, et al.
Published: (2002)

System Description: Embedding Verification into Microsoft Excel
by: Collins, Graham, et al.
Published: (2000)

Advertisers' tactics and attitude towards advertisements: a comparison of two ethnicities
by: Dennis, Achil
Published: (2002)

TAM vs. PCI: An Analysis on the Theoretical Model Parsimony and Robustness across Cultures
by: Yew-Siang, Poong, et al.
Published: (2008)

Datatype-generic termination proofs
by: Backhouse, Roland, et al.
Published: (2008)

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

Burdens of proof and the case for unevenness
by: Aijaz, Imran, et al.
Published: (2013)

Background of zero-knowledge proof
by: Alshaikhli, Imad Fakhri Taha, et al.
Published: (2011)

No proof vaccine linked to deaths
by: Krishnan, Dhesegaran Bala
Published: (2021)

Comparison of optimum finite element method vs. differential quadrature method in two-dimensional heat transfer problem
by: Fakir, Md. Moslemuddin, et al.
Published: (2008)

Future-Proofing the WA Economy: A roadmap to industrial diversification and regional growth
by: Bond-Smith, Steven, et al.
Published: (2019)

Rippling in PVS
by: Adams, Andrew A., et al.
Published: (2003)

A single 30 min treadmill exercise session is suitable for 'proof-of-concept studies' in adult mdx mice: A comparison of the early consequences of two different treadmill protocols.
by: Crabb, Hannah, et al.
Published: (2012)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

Time to future-proof plants in storage
by: Walck, J., et al.
Published: (2009)

Mission ahead: future - proofing education
by: Sani, Rozana
Published: (2020)

Research on vaccine in proof of concept stage
by: New Sarawak Tribune
Published: (2021)

Approach for power allocation in two-tier femtocell networks based on robust non-cooperative game
by: Liu, Z., et al.
Published: (2017)

Extended conventional finite element method vs. differential quadrature method comparison in two-dimensional heat transfer problem
by: Fakir, Md. Moslemuddin, et al.
Published: (2008)

The pharmacokinetics and toxicity of morning vs. evening tobramycin dosing for pulmonary exacerbations of cystic fibrosis: a randomised comparison
by: Prayle, A.P., et al.
Published: (2015)