Sciweavers

1021 search results - page 8 / 205
» Concepts in Proof Planning
Sort
View
CADE
2003
Springer
14 years 9 months ago
IsaPlanner: A Prototype Proof Planner in Isabelle
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
Lucas Dixon, Jacques D. Fleuriot
MKM
2005
Springer
14 years 2 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
IJCAI
2007
13 years 10 months ago
Cooperating Reasoning Processes: More than Just the Sum of Their Parts
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning pro...
Alan Bundy
IJCAI
2003
13 years 10 months ago
Assertion Application in Theorem Proving and Proof Planning
Quoc Bao Vo, Christoph Benzmüller, Serge Aute...
ICCBR
2001
Springer
14 years 1 months ago
Case-Based Reasoning in the Care of Alzheimer's Disease Patients
Abstract. Planning the ongoing care of Alzheimer's Disease (AD) patients is a complex task, marked by cases that change over time, multiple perspectives, and ethical issues. G...
Cynthia R. Marling, Peter Whitehouse