Publications

Contents

• Books
• Dobbs Code Talk
• AI Expert Newsletter
• Journals, conferences, etc.
• Draft and unpublished work
• Popular writing
• Invited talks

Books

• The Logic Programming Tutor, Intellect 1992.
• The Transparent Prolog Machine, Intellect 1991.
• Prometheus - An Advanced Logic Based AI Toolkit, Intellect 1991.

Dobbs Code Talk

My Dobbs Code Talk postings are indexed here.

AI Expert Newsletter

• April 2006

• March 2006

• February 2006

• January 2006

• December 2005

• November 2005

• October 2005

• September 2005

• August 2005

• July 2005

• June 2005

• May 2005

• April 2005

• March 2005

• February 2005

• January 2005

• December 2004

• November 2004

Journals, conferences, etc

• Fun Boy Three Were Wrong: It Is What You Do, Not The Way That You Do It. In Proceedings of EuSpRIG 2007, Greenwich, 8-10 July 2007.
• It Ain't What You View, But The Way That You View It: documenting spreadsheets with Excelsior, semantic wikis, and literate programming. In Proceedings of EuSpRIG 2007, Greenwich, 8-10 July 2007.
• Rapid Spreadsheet Reshaping with Excelsior: multiple drastic changes to content and layout are easy when you represent enough structure. In Proceedings of EuSpRIG 2006, Cambridge, 7-9 July 2006. The presentation (the text of my talk) is How To Avoid Hours Of Tedious Spreadsheet Editing.
• Excelsior: bringing the benefits of modularisation to Excel. In Proceedings of EuSpRIG 2005, Greenwich, 6-8 July 2005. The presentation is here.
• The Lives Behind the Numbers On the Screen: Illustrating the Social Consequences of Economic Change By Telling Stories On the Web. In Computers in Higher Education Economics Review, Volume 17, 2005.
• Spreadsheet structure discovery with logic programming. In Proceedings of EuSpRIG 2004, Klagenfurt, 16-17 July 2004.
• JavaScript for Web-based models (with Graham Stark). In Computers in Higher Education Economics Review, Volume 16, 2004.
• Publishing and Using Spreadsheets on the Web (with Andy Ramsden). In Computers in Higher Education Economics Review, Volume 15, Issue 1, 2002.
• Ensuring Spreadsheet Integrity with Model Master In Proceedings of EuSpRIG 2001, Amsterdam 5-6 July 2001.
• The Virtual Economy (with Andy Beharrell, Keith Church and Graham Stark). In Computers in Higher Education Economics Review, Volume 13, Issue 1, 1999.
• Virtual Economy: an integrated economic teaching aid (with Andy Beharrell, Graham Stark and Nancy Wall). In Proceedings of CALECO98, Bristol 10-11 September 1998.
• Everything is not an object (with Petros S. Stefaneas). In Proceedings of 7TH HELLENIC CONFERENCE ON COMPUTING SCIENCE, Athens 4-6 December 1997.
• Model Master: an object-oriented spreadsheet front-end. In Proceedings of CALECO97, Bristol 25-26 September 1997.
• TOW: a system for teaching economics on the Web (with Graham Stark). In Proceedings of CALECO97, Bristol 25-26 September 1997.
• How to connect existing educational programs to the Web: a simple guide. In Computers in Higher Education Economics Review, Volume 11, Issue 2, 1997.
• Web-O-Matic/Rexx: a tool for building complex interactive Web applications by compiling HTML to Object Rexx . In Proceedings of 8TH REXX SYMPOSIUM, Heidelberg 22-24 April 1997.
• Web-O-Matic: using System Limit Programming in a declarative object-oriented language for building complex interactive Web applications . In Proceedings of DOCUMENT PROCESSING AND SGML, Workshop of project DAVID - Algebraic Document Processing Braga 2-4 September 1996.

Draft and unpublished work

• Make Category Theory Intuitive! November 2007.
• Why Use Prolog? June 2004.
• Compiling Spreadsheets to Prolog. June 2004.
• Stylechecking Spreadsheets with Model Master. June 2004.
• The Watchmaker and The Spreadsheet Factory: Compositional Spreadsheet Programming. May 2004.
• Virtual Economics As If People Mattered . November 2003.
• Spreadsheet algebra. July 2003.
• Traveller - a computerised buying and selling game. June 2003.
• Dynamic Web pages in Kawa. October 2001.
• Report on Progress with the Biz/Ed Virtual Learning Arcade Spreadsheet Models. August 2001.
• A story-generator for Virtual Economy. April 2001.
• Report on Progress with the Biz/Ed Virtual Learning Arcade Spreadsheet Models. February 2001.
• Artificial Intelligence and Prolog . November 2000.
• Report on visit to the University of Minho. June 2000.
• Generalisation as an adjunction. June 2000.
• Understanding object-oriented programming by using CafeOBJ. June 2000.
• Algebraic Web specification in CafeOBJ. May 2000.
• Using Java and the Web as a front-end to an agent-based Artificial Intelligence course. February 2000.
• Java servlets and Microsoft's bugs: how we programmed Virtual Economy. May 1999.
• Slide-show presentation of Model Master, with screen shots of the applet. December 1998.
• Live applet demonstration of Model Master. November 1998.
• Fortran format package. June 1998.
• Introduction to JJTree. May 1998.
• How to connect educational programs to the Web. April 1998.
• OxTALENT Open Morning Presentation. January 1998.
• Artificial Intelligence lectures, tutorials, and practicals. 1992-1998.
• Implementing morphological generation in the Editor's Assistant. April 1992.
• Introduction to Prolog for Mathematicians. March 1992.
• Prolog Software Library.

Popular writing

• Paris for Julian, 2009.
• AI Phone Home, 2008.
• Recipes, for Restore, 2003-2007.
• Wharf House Quotes. 2006.
• The Excelsior Dialogues. 2004.
• What Is The Girth Of This Sausage Roll?, an article for the St. Peter's Yearbook for July 2001.
• Interview on e-learning for To Vhma X-RAM magazine for July 2001.
• Beating the Bounds 1999, an article for the St. Peter's Yearbook for June 1999.
• Enterro Da Gata' 98, an article for the St. Peter's Yearbook for July 1998. (I was pleased to find a copy of that article in RAIO-X, the magazine of the University of Minho's maths and computation group, edited by Alberto Simões. Thanks Alberto!)
• Economics comes on-line, an article for the Economic Review for September 1997.
• Review of Cognitive Carpentry and Artificial Minds, a review of two AI books from the Times Higher Education Supplement of Friday 17th May 1996.
• Economics on the Internet, an article on the IFS models from Guardian On-Line magazine of Thursday 23rd November 1995.
• Unrolling the Loop in the Primordial Soup, an article on Tierra from Guardian On-Line magazine of Thursday 9th January 1992.

Invited talks

• Reducing spreadsheet errors with sheaves and System Limit Programming
  Oxford Brookes University lunchtime seminar, October 1999.
• Virtual Economy: an integrated system for teaching economics on the Web
  Oxford University Institute of Economics and Statistics, June 1999.
• The Inadequate Babelfish, robot sheep, and the Chinese Room
  St Peter's College MCR lecture, May 1999.
• Java servlets and Microsoft's bugs: how we programmed Virtual Economy
  Institute for Fiscal Studies seminar, May 1999.
• Virtual Economy
  BBC Business Breakfast Show, March 1999.
• Virtual Economy
  Institute for Fiscal Studies VE Launch, 27th February 1999.
• Introduction to the JavaCC parser-generator
  Departamento de Informática, Universidade do Minho, Braga, Portugal, October 1998.
• Virtual Economy: an integrated system for teaching economics on the Web
  Escola de Economia e Gestão, Universidade do Minho, Braga, Portugal, October 1998.
• TOW: a system for teaching labour-supply economics on the Web
  Escola de Economia e Gestão, Universidade do Minho, Braga, Portugal, May 1998.
• How to connect educational programs to the Web
  Departamento de Informática, Universidade do Minho, Braga, Portugal, April 1998.
• OxTALENT Open Morning Presentation
  OxTALENT, Oxford, January 1998.
• Connecting economic models to the Web
  Coventry University Business School, November 1997.
• Teaching AI via autonomous agents
  Sofia University AI Department, Bulgaria, October 1993.
• Introduction to Prolog for mathematicians
  Essen University Mathematics Department, Germany, May 1992.