On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner

QR Code

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner

We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. We use this framework to motivate the comparison of thr...

Full description

Bibliographic Details
Main Authors:	Dennis, Louise Abigail, Jamnik, Mateja, Pollet, Martin
Other Authors:	Carette, Jacques
Format:	Conference or Workshop Item
Published:	Elsevier 2005
Online Access:	https://eprints.nottingham.ac.uk/298/

Similar Items

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

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

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

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

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)

GNSS Integer Ambiguity Estimation and Evaluation: LAMBDA and Ps-LAMBDA
by: Li, Bofeng, et al.
Published: (2013)

Shopping application: Price comparison and shopping planner
by: Yuen, Jiang Kee
Published: (2018)

A comparison of TCAR, CIR and LAMBDA GNSS ambiguity resolution
by: Teunissen, Peter, et al.
Published: (2003)

The Lambda Method for the GNSS Compass
by: Teunissen, Peter
Published: (2006)

Optimization of the wavelength of lambda sensor
by: Hadi, Manap, et al.

Measurement of the Lambda(b) polarization and angular parameters in Lambda(b) -> J/psi Lambda decays from pp collisions at root s=7 and 8 TeV
by: Sirunyan, A. M., et al.
Published: (2018)

Wedding planner system
by: Sarah Damia, Ahmad Shukri
Published: (2019)

Intelligent budget planner
by: Tan, Seng Kiat
Published: (2011)

E-event planner
by: Mohd. Zahariman, Nur Amalina
Published: (2005)

The town planners’ perspective: development plan towards sustainable coastal management in Malaysia
by: Asmawi, M. Zainora, et al.
Published: (2008)

High Dimensional Integer Ambiguity Resolution: A First Comparison between LAMBDA and Bernese
by: Li, Bofeng, et al.
Published: (2011)

Mobile student study planner
by: Chai, Jia Yuan
Published: (2020)

Wedding planner in a box
by: Peraganathan, Megalah, et al.
Published: (2017)

Training Tourism Planners; Case Study Of The Tourism Planning Programme At Universiti Teknologi Malaysia
by: Hamzah, Amran, et al.
Published: (2012)

An on-line path planner for industrial manipulators
by: Padula, Fabrizio, et al.
Published: (2013)

Stand-alone student planner system
by: Then, Nyet Kim
Published: (2005)

Mobile geobased budget planner and calculator
by: Lo, Joon Hoe
Published: (2020)

M-learning application for un-typed lambda calculus
by: Meza, Daniel
Published: (2014)

Performance of the LAMBDA method for fast GPS ambiguity resolution.
by: Teunissen, Peter, et al.
Published: (1997)

Lambda-Based Prioritisation In Multichannel Optical Ip Network
by: Yahya, Wan Salman
Published: (2003)

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

Omega network hash construction
by: Chuah, Chai Wen
Published: (2009)

Comparison of heavy metals in razor clams (solen sp.) of Asajaya and Muara Tebas
by: Connie, anak Jios.
Published: (2005)

Development of a mobile financial planner application
by: Fariz Izham,
Published: (2020)

Development of wedding planner prototype / Mazlinda Ismail
by: Ismail, Mazlinda
Published: (2005)

Generation difference in hiring financial planners in Malaysia
by: Mansori, Shaheen
Published: (2017)

Student's E-Planner / Noorizatul Ikhsan Malaki
by: Noorizatul Ikhsan, Malaki
Published: (2003)

Wedding planner application using augmented reality
by: Leong, Jia Xuan
Published: (2021)

The Development of Mobile Itinerary Planner for Kampar Tourism
by: Tong, Guo Wei
Published: (2021)

Effect of omega6 : omega3 fatty acid ratios on semen quality of Malaysian village roosters.
by: Khatibjoo, Ali, et al.
Published: (2011)

Banyak kebaikan, ada Omega-3
by: UMP, LIB
Published: (2016)

AUSTRALIAN PLANNER SEPTEMBER 1994: TORONTO-PARADIGM REGAINED
by: Kenworthy, Jeffrey, et al.
Published: (2012)

On P-Adic lambda-model on the cayley tree II: Phase transitions
by: Mukhamedov, Farrukh, et al.
Published: (2015)

Determination of chlorophyrifos lambda cyhalothrin and cypermethrin in Pedu lake / Hermawati Tambeng
by: Tambeng, Hermawati
Published: (2000)