An Architecture for Proof Planning Systems

QR Code

An Architecture for Proof Planning Systems

This paper presents a generic architecture for proof planning systems in terms of an interaction between a customisable proof module and search module. These refer to both global and local information contained in reasoning states.

Bibliographic Details
Main Author:	Dennis, Louise Abigail
Other Authors:	Kaelbling, L. P.
Format:	Conference or Workshop Item
Published:	IJCAI Inc, 2005
Online Access:	https://eprints.nottingham.ac.uk/299/

Similar Items

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

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)

A Comparison of two Proof Critics: Power vs. Robustness
by: Dennis, Louise Abigail, et al.
Published: (2002)

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)

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

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

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

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)

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)

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

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

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)

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

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)

Islam, architecture & urban planning
by: Omer, Spahic
Published: (2009)

A proof of concept on real-time air quality monitoring system
by: Selvarajah, Ruban, et al.
Published: (2017)

3D facial analysis for rare disease diagnosis and treatment monitoring: Proof-Of-Concept plan for hereditary angioedema.
by: Jamuar, Saumya, et al.
Published: (2023)

Future-proofing 'Next Generation' infrastructure assets
by: Love, Peter, et al.
Published: (2018)

Study on Blast Proof Composite Plate Structures
by: Ahmad Mohamed, Hassan, et al.
Published: (2023)

'Tampa' Proof: Australian Fiction 2002-2003.
by: Genoni, Paul
Published: (2003)

Another proof of wiener's short secret exponent
by: Asbullah, Muhammad Asyraf, et al.
Published: (2019)

The development of proofs in analytical mathematics for undergraduate students
by: Ali, Maselan, et al.
Published: (2018)

Development of blended cements for water proofing application
by: Radin Sumadi, Salihuddin, et al.
Published: (2008)

University E-voting System Utilizing Blockchain Technology and Zero-Knowledge Proofs
by: Lim, Aun Xian
Published: (2022)

Temporary waqf and perpetual benefit: a mathematical proof
by: Azrai Azaimi Ambrose, Azniza Hartini, et al.
Published: (2019)

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

Standard of proof required to prove fraud in civil cases
by: Shair Mohamad, Mohd Akram
Published: (2011)