#### Filter Results:

- Full text PDF available (183)

#### Publication Year

1971

2019

- This year (2)
- Last 5 years (27)
- Last 10 years (75)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

Productive Use of Failure in Inductive Proof Special edition of Journal of Automated Reasoning on In

- Andrew Ireland, Alan Bundy
- 1996

- Alan Bundy, David A. Basin, Dieter Hutter, Andrew Ireland
- Cambridge tracts in theoretical computer science
- 2005

Preface 1. An introduction to rippling 2. Varieties of rippling 3. Productive use of failure 4. A formal account of rippling 5. The scope and limitations of rippling 6. From rippling to a general… (More)

- Alan Bundy
- 1985

- Alan Bundy
- 2007

A remarkable intellectual revolution is happening all around us, but few people are remarking on it. Computational thinking is influencing research in nearly all disciplines, both in the sciences and… (More)

We describe a technique for synthesising logic (Prolog) programs from non-executable specifications. This technique is adapted from one for synthesising functional programs as total functions. Logic… (More)

A description is given of a technique called middle-out reasoning for the control of search in automatic theorem proving. The authors illustrate it use in the domain of automatic program synthesis.… (More)

- Alan Bundy, Lawrence Y. Byrd, George F. Luger
- IJCAI
- 1979

In this paper we shall describe a program (MECHO), written in Prolog[14], which solves a wide range of mechanics problems from statements in both predicate calculus and English. Mecho uses the… (More)

Inductive mathematical theorems have, as a rule, historically been quite difficult to prove - both for mathematics students a for auto- mated theorem provers. That said, there has been considerable… (More)

- Alan Bundy
- 1983

- Pavel Shvaiko, Fausto Giunchiglia, +11 authors Spyros Kotoulas
- 2006

Matching has been recognized as a plausible solution for the semantic heterogeneity problem in many traditional applications, such as schema integration, ontology integration, data warehouses, data… (More)