Publications 1996-1998
- Automating the synthesis of decision
procedures in
constructive metatheory
A. Armando, J. Gallacher, A. Smaill, A.
Bundy
1998 electronic
copy
- Generating natural language descriptions of
plans for the game of bridge
M. Ashby
- A prototype interface between CLAM and HOL
R. Boulton, A. Bundy, C. Slind, M. Gordon
electronic
copy
- Proof Planning
A. Bundy
electronic
copy
- Prospects
for artificial
intelligence
A. Bundy
electronic
copy
- Incidence calculus
A. Bundy
electronic
copy
- Calculating
criticalities
F. Giunchiglia, R. Sebastiani, T. Walsh
electronic
copy
- Computing
abstraction
hierarchies by numerical simulation
A. Bundy, F. Giunchiglia, R. Sebastiani, T. Walsh
electronic
copy
- Abstract proof checking: an example motivated
by an incompleteness
theorem
A. Bundy, F. Giunchiglia, A. Villafiorita, T. Walsh
electronic
copy
- The automation of
proof by mathematical induction
A. Bundy
electronic
copy
- Experiments in automating hardware
verification using inductive proof planning
F. Cantu, A. Bundy, A. Smaill, D. Basin
electronic
copy
- Proof
planning for
automating hardware verification
F. Cantu
electronic
copy
- The
use of classification in automated mathematical concept formation
S. Colton, S. Cresswell, A. Bundy
electronic
copy
- Using
a generalisation
critic to find bisimulations for coinductive proofs
L. Dennis, A. Bundy, I. Green
electronic
copy
- Search
in games with
incomplete information:A case study using bridge card play
I. Frank, D. Basin
electronic
copy
- Search
in games with
incomplete information:Search
and
planning under incomplete information:A study using bridge card play
I. Frank
electronic
copy
- The
diagonalization
method in automatic proof
J. Gow
electronic
copy
- Lightweight
formalisation in support of requirements engineering
J. Hesketh, D. Robertson, N. Fuchs, A. Bundy
electronic
copy
- Drawing
inferences
about defender hands in bridge
Hutton-Squire
electronic
copy
- Extensions
to a generalization critic for inductive proof
A. Ireland, A. Bundy
electronic
copy
- Productive
use of
failure in inductive proof
A. Ireland, A. Bundy
electronic
copy
- Automatic
verification of functions with accumulating parameters
A. Ireland, A. Bundy
electronic
copy
- On the
automatic discovery of loop invariants
A. Ireland, J. Stark
electronic
copy
- A collaborative approach to theorem proving
A. Ireland, P. Jackson, G. Reid
electronic
copy
- HCI techniques for theorem proving
P. Jackson
electronic
copy
- The evaluation
of a semi-automatic theorem prover (part ii)
P. Jackson
electronic
copy
- Automation of
diagrammatic reasoning
M. Jamnik, A. Bundy, I. Green
electronic
copy
- Automation of
diagrammatic proofs in mathematics
M. Jamnik, A. Bundy, I. Green
electronic
copy
- A comparison of
decision procedures in Presburger arithmetic
M. Janicic, I. Green, A. Bundy
electronic
copy
- Middle-out
reasoning for synthesis and induction
I. Kraan, D. Basin, A. Bundy
electronic
copy
- Constructing
probabilistic ATMS using extended incidence calculus
W. Liu, A. Bundy
electronic
copy
- Making theorem
provers more accessible
H. Lowe, H. Duncan
electronic
copy
- The evaluation
of a semi-automatic theorem prover
H. Lowe
electronic
copy
- The use of
theorem provers in the teaching and practice of formal methods
H. Lowe
electronic
copy
- The use of proof
planning for co-operative theorem proving
H. Lowe, A. Bundy, E. McLean
electronic
copy
- Lessons from
experience: Making theorem provers more co-operative
H. Lowe, M. Cumming, M. Smyth, A. Varey
electronic
copy
- Proof planning
and configuration
H. Lowe, M. Pechoucek, A. Bundy
electronic
copy
- Proof planning
for maintainable configuration systems
H. Lowe, M. Pechoucek, A. Bundy
electronic
copy
- Recursive
program optimization through inductive proof transformation
P. Madden, A. Bundy, A. Smaill
electronic
copy
- Assigning
Incidences to formulae
D. McBryan
electronic
copy
- Planning and
proof planning
E. Melis, A. Bundy
electronic
copy
- Internal analogy
in theorem proving
E. Melis, J. Whittle
electronic
copy
- Analogy as a
control strategy in inductive theorem proving
E. Melis, J. Whittle
electronic
copy
- External analogy
in inductive theorem proving
E. Melis, J. Whittle
electronic
copy
- Proof planning
with logic presentations
S. Negrete
electronic
copy
- The use of proof
planning for configuring a compressor
M. Pechoucek
electronic
copy
- Proof planning
and industrial configuration
M. Pechoucek, H. Lowe, A. Bundy
electronic
copy
- The
representation of the rippling heuristic
in proof planning using coloured annotations
G. Reid
electronic
copy
- An
information-based GRE logic problem solver
Rood
electronic
copy
- Temporal logic
and constraint logic programming
J. Singer
electronic
copy
- Higher-order
annotated terms for proof search
A. Smaill, I. Green
electronic
copy
- An editor for
helping novices to learn standard ML
J. Whittle, A. Bundy, H. Lowe
electronic
copy
- Supporting
programming by analogy in the learning of functional programming
languages
J. Whittle, A. Bundy, H. Lowe
electronic
copy
- Adversarial
planning techniques applied to the game of GO
S. Willmott
electronic
copy
- An experimental
comparisonof rippling and exhaustive rewriting
A. Bundy, I. Green
electronic
copy
- Proof planning
the verification of CCS programs
R. Monroy-Borja
electronic
copy