| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 156 |       | Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39(2): 1637-1646 (2012) |
| 152 | | Moa Johansson, Lucas Dixon, Alan Bundy: Conjecture Synthesis for Inductive Theories. J. Autom. Reasoning 47(3): 251-289 (2011) |
| 149 | | Moa Johansson, Lucas Dixon, Alan Bundy: Case-Analysis for Rippling and Inductive Proof. ITP 2010: 291-306 |
| 147 | | Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-Based Synthesis of Inductive Theories. MICAI (1) 2010: 348-361 |
| 145 | | Moa Johansson, Lucas Dixon, Alan Bundy: Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery. Verification, Induction, Termination Analysis 2010: 102-116 |
| 135 | | Moa Johansson, Alan Bundy, Lucas Dixon: Best-First Rippling. Reasoning, Action and Interaction in AI Theories and Systems 2006: 83-100 |
| 131 | | Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot: Constructing Induction Rules for Deductive Synthesis Proofs. Electr. Notes Theor. Comput. Sci. 153(1): 3-21 (2006) |
| 127 | | Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon: Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175 |
Selection of 8 from 157 records - Alan Bundy has 91 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page