|
|
Edinburgh Research Archive >
Browsing by Author Bundy, Alan
Showing results 1 to 20 of 73
| Issue Date | Title | Author(s) | Supervisor(s) | | Jul-1987 | AI Bridges and Dreams | Bundy, Alan | - |
| Apr-2010 | The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project | Grov, Gudmund,; Bundy, Alan; Jones, Cliff B; Ireland, Andrew | - |
| Oct-2003 | Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL | Steel, G.; Maidl, M.; Bundy, Alan | - |
| 1987 | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics | Wallen, Lincoln A. | Bundy, Alan |
| 1999 | Automatic Concept Formation in Pure Mathematics | Colton, Simon; Bundy, Alan; Walsh, Toby | - |
| Dec-2004 | An Automatic Translator from KIF to PDDL | McNeill, F.; Bundy, Alan; Walton, C. | - |
| Jul-1999 | Automating Diagrammatic Proofs of Arithmetic Arguments | Jamnik, Mateja | Bundy, Alan; Green, Ian |
| 1997 | Automation of Diagrammatic Reasoning | Jamnik, Mateja; Bundy, Alan; Green, Ian | - |
| Apr-1999 | The Automation Of Proof By Mathematical Induction | Bundy, Alan | - |
| 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. | - |
Showing results 1 to 20 of 73
|
