Julian Richardson
Julian Richardson
Blue Prism
Bestätigte E-Mail-Adresse bei blueprism.com - Startseite
Zitiert von
Zitiert von
System description: Proof planning in higher-order logic with λClam
J Richardson, A Smaill, I Green
International Conference on Automated Deduction, 129-133, 1998
Semi-supervised word sense disambiguation with neural models
D Yuan, J Richardson, R Doherty, C Evans, E Altendorf
arXiv preprint arXiv:1603.07012, 2016
The strangest thing about software
T Menzies, D Owen, J Richardson
Computer 40 (1), 54-60, 2007
Automating traceability for generated software artifacts
J Richardson, J Green
Proceedings. 19th International Conference on Automated Software Engineering …, 2004
Symbolic verification with gap-order constraints
L Fribourg, J Richardson
International Workshop on Logic Programming Synthesis and Transformation, 20-37, 1996
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
Deductive synthesis of recursive plans in linear logic
S Cresswell, A Smaill, J Richardson
European Conference on Planning, 252-264, 1999
An adversarial planning approach to Go
S Willmott, J Richardson, A Bundy, J Levine
International Conference on Computers and Games, 93-112, 1998
Applying adversarial planning techniques to Go
S Willmott, J Richardson, A Bundy, J Levine
Theoretical Computer Science 252 (1-2), 45-82, 2001
Development of correct transformation schemata for Prolog programs
J Richardson, N Fuchs
International Workshop on Logic Programming Synthesis and Transformation …, 1997
Logic program synthesis in a higher-order setting
D Lacey, J Richardson, A Smail
International Conference on Computational Logic, 87-100, 2000
Proofs about lists using ellipsis
A Bundy, J Richardson
International Conference on Logic for Programming Artificial Intelligence …, 1999
Automatic certification of Kalman filters for reliable code generation
E Denney, B Fischer, J Schumann, J Richardson
2005 IEEE Aerospace Conference, 1-10, 2005
Word sense disambiguation with neural language models
D Yuan, R Doherty, J Richardson, C Evans, E Altendorf
arXiv preprint arXiv:1603.07012, 2016
Xomo: Understanding development options for autonomy
T Menzies, J Richardson
COCOMO forum 2005, 2005
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
Adversarial planning in complex domains
S Willmott, A Bundy, J Levine, J Richardson
University of Edinburgh, Department of Artificial Intelligence, 1998
Proof planning methods as schemas
J Richardson, A Bundy
J. Symbolic Computation 11, 1-000, 1999
Making sense of requirements, sooner
T Menzies, J Richardson
Computer 39 (10), 112-114, 2006
Continuations of proof strategies
J Richardson, A Smaill
Proc. 4th International Workshop on Strategies in Automated Deduction …, 2001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20