Julian Richardson
TitleCited byYear
System description: Proof planning in higher-order logic with λClam
J Richardson, A Smaill, I Green
International Conference on Automated Deduction, 129-133, 1998
1261998
Semi-supervised word sense disambiguation with neural models
D Yuan, J Richardson, R Doherty, C Evans, E Altendorf
arXiv preprint arXiv:1603.07012, 2016
742016
Automating traceability for generated software artifacts
J Richardson, J Green
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
372004
An abstract formalization of correct schemas for program synthesis
P Flener, KK Lau, M Ornaghi, J Richardson
Journal of Symbolic Computation 30 (1), 93-127, 2000
372000
Symbolic verification with gap-order constraints
L Fribourg, J Richardson
International Workshop on Logic Programming Synthesis and Transformation, 20-37, 1996
351996
The strangest thing about software
T Menzies, D Owen, J Richardson
Computer 40 (1), 54-60, 2007
342007
Deductive synthesis of recursive plans in linear logic
S Cresswell, A Smaill, J Richardson
European Conference on Planning, 252-264, 1999
321999
Development of correct transformation schemata for Prolog programs
J Richardson, N Fuchs
International Workshop on Logic Programming Synthesis and Transformation …, 1997
271997
Applying adversarial planning techniques to Go
S Willmott, J Richardson, A Bundy, J Levine
Theoretical Computer Science 252 (1-2), 45-82, 2001
252001
Logic program synthesis in a higher-order setting
D Lacey, J Richardson, A Smail
International Conference on Computational Logic, 87-100, 2000
242000
An adversarial planning approach to Go
S Willmott, J Richardson, A Bundy, J Levine
International Conference on Computers and Games, 93-112, 1998
241998
Proofs about lists using ellipsis
A Bundy, J Richardson
International Conference on Logic for Programming Artificial Intelligence …, 1999
221999
Automatic certification of Kalman filters for reliable code generation
E Denney, B Fischer, J Schumann, J Richardson
2005 IEEE Aerospace Conference, 1-10, 2005
202005
Adversarial planning in complex domains
S Willmott, A Bundy, J Levine, J Richardson
University of Edinburgh, Department of Artificial Intelligence, 1998
171998
Word sense disambiguation with neural language models
D Yuan, R Doherty, J Richardson, C Evans, E Altendorf
arXiv preprint arXiv:1603.07012, 2016
162016
Xomo: Understanding development options for autonomy
T Menzies, J Richardson
COCOMO forum 2005, 2005
162005
Learning better IV&V practices
T Menzies, M Benson, K Costello, C Moats, M Northey, J Richardson
Innovations in Systems and Software Engineering 4 (2), 169-183, 2008
132008
Proof planning methods as schemas
J Richardson, A Bundy
J. Symbolic Computation 11, 1-000, 1999
121999
Continuations of proof strategies
J Richardson, A Smaill
Proc. 4th International Workshop on Strategies in Automated Deduction …, 2001
112001
Optimizing the V&V process for critical systems
JD Kiper, MS Feather, J Richardson
Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007
102007
The system can't perform the operation now. Try again later.
Articles 1–20