|
|
Edinburgh Research Archive >
Search Results
Results 51-60 of 78.
Item hits:
| Issue Date | Title | Author(s) | Supervisor(s) | | May-1988 | The Use of Explicit Plans to Guide Inductive Proofs | Bundy, Alan | - |
| 1994 | Coloured rippling: An extension of a theorem proving heuristic | Yoshida, Tetsuya; Bundy, Alan; Green, Ian; Walsh, Toby; Basin, David | - |
| 1996 | Computing Abstraction Hierarchies by Numerical Simulation | Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T. | - |
| Aug-1993 | Rippling: A Heuristic for Guiding Inductive Proofs | Bundy, Alan; Stevens, A.; van Harmelen, F.; Ireland, A.; Smaill, A. | - |
| Jun-1986 | Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus | Bundy, Alan | - |
| 1996 | Experiments in Automating Hardware Verification using Inductive Proof Planning | Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David | - |
| 2010 | Scheme-Based Synthesis of Inductive Theories | Montano-Rivas, O.; McCasland, R.; Dixon, L.; Bundy, Alan | - |
| 2009 | Veriļ¬ed Planning by Deductive Synthesis in Intuitionistic Linear Logic | Dixon, L.; Bundy, Alan; Smaill, A. | - |
| 2010 | Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| 25-Jun-2012 | Scheme-based theorem discovery and concept invention | Montano-Rivas, Omar | McCasland, Roy; Bundy, Alan; Dixon, Lucas |
previous
1
2
3
4
5
6
7
8
next
|
