Andrew Ireland
Andrew Ireland
Professor of Computer Science, Heriot-Watt University
Bestätigte E-Mail-Adresse bei hw.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The computer modelling of mathematical reasoning
A Bundy
Academic Press, 1983
4741983
Rippling: A heuristic for guiding inductive proofs
A Bundy, A Stevens, F Van Harmelen, A Ireland, A Smaill
Artificial intelligence 62 (2), 185-253, 1993
3731993
Productive use of failure in inductive proof
A Ireland, A Bundy
Automated Mathematical Induction, 79-111, 1996
2401996
Rippling: meta-level guidance for mathematical reasoning
A Bundy, D Basin, D Hutter, A Ireland
Cambridge University Press, 2005
1992005
The use of planning critics in mechanizing inductive proofs
A Ireland
International Conference on Logic for Programming Artificial Intelligence …, 1992
1271992
Extensions to the rippling-out tactic for guiding inductive proofs
A Bundy, F Van Harmelen, A Smaill, A Ireland
International Conference on Automated Deduction, 132-146, 1990
971990
Invariant discovery via failed proof attempts
J Stark, A Ireland
International Workshop on Logic Programming Synthesis and Transformation …, 1998
601998
On the automatic discovery of loop invariants
A Ireland, J Stark
NASA Conference Publication, 137-152, 1997
461997
On the use of the constructive omega-rule within automated deduction
S Baker, A Ireland, A Smaill
International Conference on Logic for Programming Artificial Intelligence …, 1992
341992
Extensions to a generalization critic for inductive proof
A Ireland, A Bundy
International Conference on Automated Deduction, 47-61, 1996
321996
Proof plans for the correction of false conjectures
R Monroy, A Bundy, A Ireland
International Conference on Logic for Programming Artificial Intelligence …, 1994
321994
Automatic verification of functions with accumulating parameters
A Ireland, A Bundy
Journal of Functional Programming 9 (2), 225-245, 1999
291999
Proof planning for strategy development
A Ireland, J Stark
Annals of Mathematics and Artificial Intelligence 29 (1), 65-97, 2000
272000
Interactive proof critics
A Ireland, M Jackson, G Reid
Formal Aspects of Computing 11 (3), 302-325, 1999
241999
Towards a skeleton based parallelising compiler for SML
G Michaelson, A Ireland, P King
Proceedings of 9th International Workshop on Implementation of Functional …, 1997
241997
An integrated approach to high integrity software verification
A Ireland, BJ Ellis, A Cook, R Chapman, J Barnes
Journal of Automated Reasoning 36 (4), 379-410, 2006
232006
Reasoned modelling critics: turning failed proofs into modelling guidance
A Ireland, G Grov, M Butler
International Conference on Abstract State Machines, Alloy, B and Z, 189-202, 2010
192010
Increasing the versatility of heuristic based theorem provers
A Manning, A Ireland, A Bundy
International Conference on Logic for Programming Artificial Intelligence …, 1993
191993
Low-level programming in Hume: an exploration of the HW-Hume level
K Hammond, G Grov, G Michaelson, A Ireland
Symposium on Implementation and Application of Functional Languages, 91-107, 2006
182006
Rippling: A heuristic for guiding inductive proofs. Research Paper 567, Dept. of Artificial Intelligence, Edinburgh, 1991
A Bundy, A Stevens, F van Harmelen, A Ireland, A Smaill
Artificial Intelligence, 0
18
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20