Searching for "The Oyster-Clam System." – sorted by Relevance.
-
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

