Alan Bundy

Preparing for the future of Artificial Intelligence

Alan Bundy, A. Bundy, 2016, AI & SOCIETY.

Theorem Proving in Higher Order Logics

Richard J. Boulton, Konrad Slind, Michael J. C. Gordon, 2004, Lecture Notes in Computer Science.

KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Valencia, Spain, October 25-28, 2010

Jos Lehmann, Alan Bundy, Michael Chan, 2010, KEOD.