Search results
-
2017
Smart Machines are Not a Threat to Humanity
Bundy, A., Feb 2017, In: Communications of the ACM. 60, 2, p. 40-42 3 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2016
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Lin, Y., Grov, G. & Arthan, R., 15 Dec 2016, In: Journal of Formalized Reasoning. 9, 2, p. 69-130 62 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Automating change of representation for proofs in discrete mathematics (extended version)
Raggi, D., Bundy, A., Grov, G. & Pease, A., Oct 2016, In: Mathematics in Computer Science. 10, 4, p. 429–457 29 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2015
The Theory Behind TheoryMine
Bundy, A., McCasland, R., Cavallo, F., Dixon, L. & Johansson, M., Jul 2015, In: IEEE Intelligent Systems. 30, 4, p. 64-69 6 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2013
European Collaboration on Automated Reasoning
Bundy, A., 22 Nov 2013, In: AI Communications. 27, 1, p. 25-35 11 p.Research output: Contribution to journal › Article › peer-review
-
Solving Guesstimation Problems Using the Semantic Web: Four Lessons from an Application
Bundy, A., Sasnauskas, G. & Chan, M., 10 Oct 2013, In: Semantic Web: Interoperability, Usability, Applicability. p. 1-14 14 p.Research output: Contribution to journal › Article › peer-review
File -
The interaction of representation and reasoning
Bundy, A., 8 Sept 2013, In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 469, 2157, 20130194.Research output: Contribution to journal › Article › peer-review
File