Alan Bundy, PhD
Affiliations: | University of Edinburgh, Edinburgh, Scotland, United Kingdom |
Website:
http://homepages.inf.ed.ac.uk/bundy/Google:
"Alan Bundy"Parents
Sign in to add mentor| Reuben Goodstein | grad student | 1971 | University of Leicester (Philosophy Tree) | |
| (source: https://en.wikipedia.org/wiki/Reuben_Goodstein) | ||||
Children
Sign in to add trainee| Chris Mellish | grad student | Edinburgh | |
| Martha Palmer | grad student | 1985 | Edinburgh |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| McCasland RL, Bundy A, Smith PF. (2017) MATHsAiD: Automated mathematical theory exploration Applied Intelligence. 47: 585-606 |
| Raggi D, Bundy A, Grov G, et al. (2016) Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version) Mathematics in Computer Science. 10: 429-457 |
| Bundy A, Sasnauskas G, Chan M. (2015) Solving guesstimation problems using the Semantic Web: Four lessons from an application Semantic Web. 6: 197-210 |
| Bundy A. (2013) The interaction of representation and reasoning. Proceedings. Mathematical, Physical, and Engineering Sciences / the Royal Society. 469: 20130194 |
| Lehmann J, Chan M, Bundy A. (2013) A Higher Order Approach to Ontology Evolution in Physics Journal On Data Semantics. 2: 163-187 |
| Lehmann J, José Varzinczak I, Bundy A. (2012) Reasoning with context in the semantic web Journal of Web Semantics. 12: 1-2 |
| Montano-Rivas O, McCasland R, Dixon L, et al. (2012) Scheme-based theorem discovery and concept invention Expert Systems With Applications. 39: 1637-1646 |
| Johansson M, Dixon L, Bundy A. (2011) Conjecture synthesis for inductive theories Journal of Automated Reasoning. 47: 251-289 |
| Bundy A. (2011) Automated theorem provers: A practical tool for the working mathematician? Annals of Mathematics and Artificial Intelligence. 61: 3-14 |
| Monroy R, Bundy A, Green I. (2009) On Process Equivalence = Equation Solving in CCS Journal of Automated Reasoning. 43: 53-80 |