@article{Alexoudi2003,
	title = {English Summaries of Mathematical Proofs},
	author = {Marianthi Alexoudi and Claus Zinn and Alan Bundy},
	pages = {11},
	year = {\~{}2003},
	biburl = {http://www.bibsonomy.org/bibtex/2c49a5984915229e97b800fb99609cbb1/fraktalek},
	abstract = {Automated theorem proving is becoming more important as the volume of applications in industrial and practical research areas increases. Due to the formalism of theorem provers and the massive amount of information included in machine-oriented proofs, formal proofs are difficult to understand without specific training. A verbalisation system, ClamNL, was developed to generate English text from formal representations of inductive proofs, as produced by the Clam proof planner. The aim was to generate natural language proofs that resemble the presentation of proofs found in mathematical textbooks and that contain only the mathematically interesting parts of the proof.},
	posted-at = {2008-11-13 14:13:52}, priority = {2}, citeulike-article-id = {3508711},
	keywords = {kiwi }
}

@inproceedings{SageLangley83,
	title = {Modeling cognitive development on the balance scale task},
	address = {Karlsruhe, Germany},
	author = {S. Sage and P. Langley},
	booktitle = {Proceedings of the Eighth International Joint Conference on Artificial
	Intelligence (Vol. 1)},
	editor = {A. Bundy},
	pages = {94-96},
	year = {1983},
	biburl = {http://www.bibsonomy.org/bibtex/2275b19470a9a75eae38821da3d7cadd1/brian.mingus},
	description = {CCNLab BibTeX},
	keywords = {devo, yuko }
}

@inproceedings{conf/aisc/Bundy08,
	title = {Automating Signature Evolution in Logical Theories.},
	author = {Alan Bundy},
	booktitle = {AISC/MKM/Calculemus},
	crossref = {conf/aisc/2008},
	editor = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk},
	pages = {333-338},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#Bundy08},
	volume = {5144},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2ce612e0ae8c9268f06f40a86043b4785/dblp},
	description = {dblp},
	date = {2008-08-04}, ee = {http://dx.doi.org/10.1007/978-3-540-85110-3_29}, isbn = {978-3-540-85109-7},
	keywords = {dblp }
}

@inproceedings{BGS:LiLHPP,
	title = {{LISP}-in-{LISP}: High Performance and Portability},
	address = {Karlsruhe, West Germany},
	author = {Rodney A. Brooks and Richard P. Gabriel and Guy L. {Steele Jr.}},
	booktitle = {International Joint Conference on Artificial Intelligence},
	crossref = {IJCAI83},
	editor = {Alan Bundy},
	month = {August},
	pages = {845--849},
	publisher = {William Kaufman},
	url = {http://www.dreamsongs.com/Files/ijs1.pdf},
	volume = {2},
	year = {1983},
	biburl = {http://www.bibsonomy.org/bibtex/25cd2214ca41787aa396ec568c6ab88c3/gron},
	keywords = {Lisp Me:MastersThesis }
}

@inproceedings{conf/wollic/BundyC08,
	title = {Towards Ontology Evolution in Physics.},
	author = {Alan Bundy and Michael Chan},
	booktitle = {WoLLIC},
	crossref = {conf/wollic/2008},
	editor = {Wilfrid Hodges and Ruy J. G. B. de Queiroz},
	pages = {98-110},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2008.html#BundyC08},
	volume = {5110},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2e059466bac3cdf3f59285d17521f9296/dblp},
	description = {dblp},
	date = {2008-06-30}, ee = {http://dx.doi.org/10.1007/978-3-540-69937-8_10}, isbn = {978-3-540-69936-1},
	keywords = {dblp }
}

@article{Bundy1989,
	title = {Pressure-temperature phase diagram of elemental carbon},
	author = {F. P. Bundy},
	day = {15},
	journal = {Physica A: Statistical and Theoretical Physics},
	month = {Mar},
	number = {1},
	pages = {169--178},
	url = {http://www.sciencedirect.com/science/article/B6TVG-46G3FT9-2T/1/710b7157322932b5f49c177752e97ec6},
	volume = {156},
	year = {1989},
	biburl = {http://www.bibsonomy.org/bibtex/24681b67a1ebbde1985ad1c94b674a0d0/smicha},
	description = {Physica A},
	keywords = {imported }
}

@article{journals/ejc/Bundy08,
	title = {Sharp groups, two-weight codes and maximal arcs.},
	author = {David M. Bundy},
	journal = {Eur. J. Comb.},
	number = {1},
	pages = {140-147},
	url = {http://dblp.uni-trier.de/db/journals/ejc/ejc29.html#Bundy08},
	volume = {29},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2b27056f39854af75cb9829fbeb879c4a/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.ejc.2006.12.002}, date = {2008-02-15},
	keywords = {dblp }
}

@techreport{Bundi:1989,
	title = {The Researcher's Bible},
	author = {Alan Bundy and Ben du Boulay and Jim Howe and Gordon Plotkin},
	institution = {DAI, University of Edinburgh},
	note = {Revised version of a 1985 report},
	number = {4},
	type = {DAI Teaching Paper},
	url = {http://www/dai.ed.ac.uk/homes/bundy/how-tos/resbible.ps.gz},
	year = {1989},
	biburl = {http://www.bibsonomy.org/bibtex/26357778a3121a67426517cf78a300132/diego_ma},
	abstract = {Gettind a Ph.D. or M.Phil is hard work. This document gives advice about various aspects of the task. Section 1 describes the problem --- what is a thesis? Section 2 sets out te formal requirements of gaining a thesis. Sections 3 and 4 describe some of the pitfalls and hurdles which students have encountered. Sections 5 and 6 advise about choosing and then executing a research project. Sections 7, 8 and 9 deal with two of the three R's: reading and writing. Section 10 describes the examination process for a research degree, and how to cope with it. Finally, section 11 lists jurnals which accept A.I. material.},
	keywords = {research }
}

@inproceedings{ecai92,
	title = {An Adaptation of Proof-Planning to Declarer Play in Bridge},
	author = {Ian Frank and David A. Basin and Alan Bundy},
	booktitle = {European Conference on Artificial Intelligence},
	pages = {72-76},
	url = {citeseer.ist.psu.edu/frank92adaptation.html},
	year = {1992},
	biburl = {http://www.bibsonomy.org/bibtex/210ef617d7c63919155eb7d5bd5e32b83/ramaz},
	keywords = {imported }
}

@article{journals/ijswis/McNeillB07,
	title = {Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution.},
	author = {Fiona McNeill and Alan Bundy},
	journal = {Int. J. Semantic Web Inf. Syst.},
	number = {3},
	pages = {1-35},
	url = {http://dblp.uni-trier.de/db/journals/ijswis/ijswis3.html#McNeillB07},
	volume = {3},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/257ac59add03265cab31016d7d605e9f0/dblp},
	description = {dblp},
	ee = {http://www.igi-pub.com/articles/details.asp?ID=7377}, date = {2007-11-14},
	keywords = {dblp }
}