- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| c9 |      | |
| 1996 | ||
| j1 | | Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reasoning 16(1-2): 113-145 (1996) |
| 1995 | ||
| c8 |  | Ina Kraan, Peter Baumann: Logical Frameworks as a Basis for Verification Tools: A Case Study. KBSE 1995: 36-43 |
| c7 | | |
| 1994 | ||
| c6 | | Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins: Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE 1994: 826-830 |
| 1993 | ||
| c5 | | Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Logic Program Synthesis. ICLP 1993: 441-455 |
| c4 | | David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews: A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171 |
| 1992 | ||
| c3 | | Bradley L. Richards, Ina Kraan, Benjamin Kuipers: Automatic Abduction of Qualitative Models. AAAI 1992: 723-728 |
| c2 | | Ina Kraan, David A. Basin, Alan Bundy: Logic Program Synthesis via Proof Planning. LOPSTR 1992: 1-14 |
| 1991 | ||
| c1 | | Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh: Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR 1991: 27-45 |
| 1 | David A. Basin | |
| 2 | Peter Baumann | |
| 3 | Alan Bundy | |
| 4 | Jane Hesketh | |
| 5 | Benjamin Kuipers | |
| 6 | Seán Matthews | |
| 7 | Bradley L. Richards | |
| 8 | Alan Smaill | |
| 9 | Geraint A. Wiggins |
Data released under the ODC-BY 1.0 license — See also our legal information page