#### Filter Results:

- Full text PDF available (41)

#### Publication Year

1989

2018

- This year (1)
- Last 5 years (12)
- Last 10 years (28)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Andrew Ireland
- Journal of Automated Reasoning
- 1996

Proof by mathematical induction gives rise to various kinds of eureka steps, e.g., missing lemmata and generalization. Most inductive theorem provers rely upon user intervention in supplying theâ€¦ (More)

- Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
- Artif. Intell.
- 1993

We describe rippling: a tactic for the heuristic control of the key part of proofs by mathematical induction. This tactic signiicantly reduces the search for a proof of a wide variety of inductiveâ€¦ (More)

- Andrew Ireland
- LPAR
- 1992

Proof plans provide a technique for guiding the search for a proof in the context of tactical style reasoning. We propose an extension to this technique in which failure may be exploited in theâ€¦ (More)

- Judith A. Blake, Miriam Dolan, +133 authors Monte Westerfield
- Nucleic Acids Research
- 2013

The Gene Ontology (GO) Consortium (GOC, http://www.geneontology.org) is a community-based bioinformatics resource that classifies gene product function through the use of structured, controlledâ€¦ (More)

- Siani Baker, Andrew Ireland, Alan Smaill
- LPAR
- 1992

The cut elimination theorem for predicate calculus states that every proof may be replaced by one which does not involve use of the cut rule. This theorem no longer holds when the system is extendedâ€¦ (More)

- Andrew Ireland, Alan Bundy
- J. Funct. Program.
- 1999

- Andrew Ireland, Mike Jackson, Gordon Reid
- Formal Aspects of Computing
- 1999

The key to a successful proof often lies within the analysis of failed proof attempts. Motivated by this observation we have developed and evaluated an interface to an inductive theorem prover whichâ€¦ (More)

- Andrew Ireland, Gudmund Grov, Maria Teresa Llano, Michael J. Butler
- Sci. Comput. Program.
- 2013

The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major barrier to the widerâ€¦ (More)

- Bill J. Ellis, Andrew Ireland
- IFM
- 2004

- Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
- Journal of Automated Reasoning
- 2006

Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high integrity software, forâ€¦ (More)