Author: Alan Bundy
Publications
Co-authors
Productive Colleagues
Publications
Colton, Simon, Bundy, Alan, Walsh, Toby (2000): On the Notion of Interestingness in Automated Mathematical Discovery. In International Journal of Human-Computer Studies, 53 (3) pp. 351-375.
Lui, Weiru, Bundy, Alan (1994): A Comprehensive Comparison between Generalized Incidence Calculus and the Dempster-Shafer . In International Journal of Human-Computer Studies, 40 (6) pp. 1009-1032.
Robertson, Dave, Bundy, Alan, Uschold, Mike, Muetzelfeldt, Robert (1989): The ECO Program Construction System: Ways of Increasing its Representational Power and The. In International Journal of Man-Machine Studies, 31 (1) pp. 1-26.
Winterstein, Daniel, Bundy, Alan, Gurr, Corin A., Jamnik, Mateja (2002): Using Animation in Diagrammatic Theorem Proving. In: Hegarty, Mary, Meyer, Bernd, Narayanan, N. Hari (eds.) Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference April 18-20, 2002, Callaway Gardens, GA, USA. pp. 46-60. https://link.springer.de/link/service/series/0558/bibs/2317/23170046.htm
Winterstein, Daniel, Bundy, Alan, Gurr, Corin A., Jamnik, Mateja (2004): An Experimental Comparison of Diagrammatic and Algebraic Logics. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 432-434. https://link.springer.de/link/service/series/0558/bibs/2980/29800432.htm
Winterstein, Daniel, Bundy, Alan, Jamnik, Mateja (2000): A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. In: Anderson, Michael, Cheng, Peter C-H., Haarslev, Volker (eds.) Diagrams 2000 - Theory and Application of Diagrams - First International Conference September 1-3, 2000, Edinburgh, Scotland, UK. pp. 286-299. https://link.springer.de/link/service/series/0558/bibs/1889/18890286.htm
Winterstein, Daniel, Bundy, Alan, Jamnik, Mateja (2004): On Differences between the Real and Physical Plane. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 29-31. https://link.springer.de/link/service/series/0558/bibs/2980/29800029.htm
Willmott, Steven, Richardson, Julian, Bundy, Alan, Levine, John (1999): An Adversarial Planning Approach to Go. In: Herik, H. Jaap Van Den, Iida, Hiroyuki (eds.) Computers and Games, First International Conference, CG98, Tsukuba, Japan, November 11-12, 1998, Proceedings , 1999, . pp. 93-112. https://link.springer.de/link/service/series/0558/bibs/1558/15580093.htm