|
|
Edinburgh Research Archive >
Browsing by Author Bundy, Alan
Showing results 10 to 29 of 73
| Issue Date | Title | Author(s) | Supervisor(s) | | 2010 | Case-Analysis for Rippling and Inductive Proof | Bundy, Alan; Dixon, Lucas; Johansson, Moa | - |
| 1994 | Coloured rippling: An extension of a theorem proving heuristic | Yoshida, Tetsuya; Bundy, Alan; Green, Ian; Walsh, Toby; Basin, David | - |
| Jun-1994 | A Comprehensive Comparison between Generalized Incidence Calculus and the Dempster-Shafer Theory of Evidence | Bundy, Alan; Liu, W. | - |
| 2010 | Computational models of ontology evolution in legal reasoning | Priddle-Higson, Andrew | Bundy, Alan; McNeill, Fiona |
| 2010 | Conjecture Synthesis for Inductive Theories | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| Aug-1996 | Constructing Probabilistic ATMS Using Extended Incidence Calculus | Bundy, Alan; Liu, W. | - |
| 6-Jan-2007 | Cooperating Reasoning Processes: More than Just the Sum of their Parts | Bundy, Alan | - |
| 1981 | Coping with Uncertainty: Noun Phrase Interpretation and Early Semantic Analysis | Mellish, Christopher Stuart | Bundy, Alan |
| Jun-1986 | Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus | Bundy, Alan | - |
| 2000 | Cross Domain Mathematical Concept Formation | Steel, Graham; Colton, Simon; Bundy, Alan; Walsh, Toby | - |
| Jul-2004 | Diagnosing and Repairing Ontological Mismatches | McNeill, F.; Bundy, Alan; Walton, Ch. | - |
| 1985 | Discovery and Reasoning in Mathematics | Bundy, Alan | - |
| Jul-2004 | The Dynamic Creation of Induction Rules Using Proof Planning | Gow, Jeremy | Bundy, Alan; Green, Ian; Fleuriot, Jacques |
| 2010 | Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| 1-Jul-2007 | Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution | McNeill, Fiona; Bundy, Alan | - |
| Jul-1989 | The ECO Program Construction System: Ways of Increasing its Representational Power and their Effects on the User Interface | Robertson, D.; Uschold, M.; Bundy, Alan; Muetzelfeldt, R. | - |
| 1996 | Experiments in Automating Hardware Verification using Inductive Proof Planning | Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David | - |
| 1990 | Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs | Bundy, Alan; van Harmelen, F.; Smaill, A.; Ireland, A. | - |
| 2010 | Formalising Term Synthesis for Isacosy | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| 1993 | A general technique for automatically optimizing programs through the use of proof plans (Extended Abstract) | Madden, P.; Bundy, Alan; Hesketh, Jane; Green, Ian | - |
Showing results 10 to 29 of 73
|
