Searching for "The Oyster-Clam System." – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
An Intelligent Tutoring System for Induction Proofs
- … tutoring system for the Oyster/Clam induction prover, we will both explore ways of improving human…
- Add To MetaCart
-
The Use of Pre-computed Models for the Guidance of Proof Search
- … of clauses in resolution-based theorem proving. Some theorem proving systems, e.g. the Oyster-Clam system…
- Cited by 1 (0 self) – Add To MetaCart
-
The Use of Proof Plans to Sum Series
- … all been implemented in the Oyster/Clam system and tested on a wide range of series problems. Most…
- Cited by 22 (14 self) – Add To MetaCart
-
An experimental comparison of rippling and exhaustive rewriting
- … proof. We already had such a prover in the Oyster-Clam system [7]. This system embodies rippling…
- Cited by 2 (2 self) – Add To MetaCart
-
A Science of Reasoning: Extended Abstract
- … in the Oyster-Clam system, [Bundy et al, 1990], and at Saarbrucken in the mega system, [Benzmuller et al, 1997…
- Cited by 3 (0 self) – Add To MetaCart
-
Planning and patching proof
- … grant GR/S01771. 2 Alan Bundy Has proof planning been implemented? Yes, in the Oyster/Clam system [Bundy…
- Cited by 3 (0 self) – Add To MetaCart
-
Proceedings Of The First Workshop On Logical Frameworks
- …, The King's Buildings, University of Edinburgh EH9 3JZ, UK. ffl Alan Smaill. The Oyster-Clam system…
- Add To MetaCart
-
Automating the Synthesis of Decision Procedures
- … procedure for the biconditional fragment of propositional logic in the Oyster-Clam system. Even…
- Add To MetaCart
-
Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics)
- … of beliefs (each set with its own signature). Analogously, in the area of theorem proving, the OYSTER/ CLAM…
- Cited by 143 (49 self) – Add To MetaCart
-
Valid Extensions of Introspective Systems: A Foundation for Reflective Theorem Provers
- … in [25] the approach to proof planning in the sense of Bundy [12], which has been realized in the Oyster/Clam…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
