Follow
Julian Richardson
Title
Cited by
Cited by
Year
Semi-supervised word sense disambiguation with neural models
D Yuan, J Richardson, R Doherty, C Evans, E Altendorf
arXiv preprint arXiv:1603.07012, 2016
1862016
System description: Proof planning in higher-order logic with λClam
J Richardson, A Smaill, I Green
Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998
1321998
Automating traceability for generated software artifacts
J Richardson, J Green
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
452004
The strangest thing about software
T Menzies, D Owen, J Richardson
Computer 40 (1), 54-60, 2007
422007
Symbolic verification with gap-order constraints
L Fribourg, J Richardson
International Workshop on Logic Programming Synthesis and Transformation, 20-37, 1996
421996
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
352000
Deductive synthesis of recursive plans in linear logic
S Cresswell, A Smaill, J Richardson
Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99 …, 2000
342000
Applying adversarial planning techniques to Go
S Willmott, J Richardson, A Bundy, J Levine
Theoretical Computer Science 252 (1-2), 45-82, 2001
322001
An adversarial planning approach to Go
S Willmott, J Richardson, A Bundy, J Levine
Computers and Games: First International Conference, CG’98 Tsukuba, Japan …, 1999
291999
Development of correct transformation schemata for Prolog programs
J Richardson, N Fuchs
Logic Program Synthesis and Transformation: 7th International Workshop …, 1998
271998
Automatic certification of Kalman filters for reliable code generation
E Denney, B Fischer, J Schumann, J Richardson
2005 IEEE Aerospace Conference, 1-10, 2005
242005
Logic program synthesis in a higher-order setting
D Lacey, J Richardson, A Smail
International Conference on Computational Logic, 87-100, 2000
242000
Proofs about lists using ellipsis
A Bundy, J Richardson
International Conference on Logic for Programming Artificial Intelligence …, 1999
241999
Word sense disambiguation with neural language models
D Yuan, R Doherty, J Richardson, C Evans, E Altendorf
arXiv preprint arXiv:1603.07012, 2016
202016
Xomo: Understanding development options for autonomy
T Menzies, J Richardson
COCOMO forum 2005, 2005
182005
Learning better IV&V practices
T Menzies, M Benson, K Costello, C Moats, M Northey, J Richardson
Innovations in Systems and Software Engineering 4, 169-183, 2008
162008
Adversarial planning in complex domains
S Willmott, A Bundy, J Levine, J Richardson
University of Edinburgh, Department of Artificial Intelligence, 1998
141998
Making sense of requirements, sooner
T Menzies, J Richardson
Computer 39 (10), 112-114, 2006
122006
Traceability through automatic program generation
J Richardson, J Green
2nd International Workshop on Traceability in Emerging Forms of Software …, 2003
122003
Proof planning methods as schemas
J Richardson, A Bundy
J. Symbolic Computation 11, 1-000, 1999
121999
The system can't perform the operation now. Try again later.
Articles 1–20