Dr Chris Walton


I am currently employed as lead researcher at Metaforic, a software security company.
I am also an honorary member of staff in Informatics at the University of Edinburgh.
You can find the details about my book, my previous research work, and my research papers on this page.
Please feel free to contact me about any of this work at the following email address:

email

Agency and The Semantic Web

In 2006, I completed my first book, entitled Agency and the Semantic Web. My intention was to produce a textbook that would help students, programmers, and researchers to understand how traditional AI techniques from Multi-Agent Systems (MAS) and Knowledge Representation (KR) can be readily applied to the emerging Semantic Web. The book was published by Oxford University Press (OUP) in October 2006, and can be obtained from the following places:

A sample chapter from the book is available on the OUP website. Please contact me if you find any mistakes, code errors, or inaccuracies in the book. I will also be interested to hear from you if you are using the book as a course textbook.


Agency and the Semantic Web

Previous Research Projects

OpenKnowledge

In 2006, I completed a 1-year programme of research on the OpenKnowledge (OK) project. As part of this research, I wrote a book entitled Agency and the Semantic Web.


AKT

In 2005, I completed a 2-year programme of research on the Advanced Knowledge Technologies (AKT) project. As part of this research I developed an Open Source tool called MagentA.


SLIE

In 2003, I completed a 3-year research project on Sustainable Lifecycles for Information Ecosystems (SLIE).


Standard ML

My PhD research was on functional programming, specifically the Standard ML programming language. My PhD thesis (completed in 2001) is entitled Abstract Machines for Dynamic Computation.


MagentA

I previously developed a tool, called MagentA, for performing Web-service composition using Multi-Agent techniques. This tool has now been superseded by the OpenKnowledge architecture. However, I have placed a copy of the source code here for historical reasons.

The MagentA tool requires the installation of JWSDP Version 1.5 and J2SE v1.4.2 SDK. The source code can be downloaded below:

The MagentA source is licensed under the GNU GPL. Please note that this is a pre-release for interested parties only and there are many known issues with this code. A number of papers which describe the MagentA system can be found in the publications section below. There is also a poster available which provides an overview of the MagentA architecture.


Publications

2007
D. Robertson, A. Barker, P. Besana, A. Bundy, J. Chen-Burger, D. Dupplaw, F. Giunchiglia, F. van Harmelen, F. Hassan, S. Kotoulas, D. Lambert, G. Li, J. McGinnis, F. McNeill, N. Osman, A. Perreau de Pinninck Bas, R. Siebes, C. Sierra and C. Walton. Models of Interaction as a Grounding for Peer-to-Peer Knowledge Sharing. LNCS Advances in Web Semantics, 2007. (PDF document to appear)

S. Joseph, A. Perreau de Pinninck, D. Robertson, C. Sierra, and C. Walton. Interaction Model Language Definition. Proceedings of the 1st workshop on Agent Organizations: Models and Simulations (AOMS@IJCAI07), Hyderabad, India, January 2007. (PDF Document to appear).

X. Quan, C. Walton, D. Gerloff, J. Sharman, and D. Robertson. Peer-to-Peer Experimentation in Protein Structure Prediction: an Architecture, Experiment and Initial Results. Proceedings of the International Workshop on Distributed, High-Performance, and Grid Computing in Computational Biology (GCCB07), Eliat, Israel, January 2007. (PDF Document to appear).

2006
C. Walton. Agency and the Semantic Web. Oxford University Press, October 2006, ISBN 0199292485.

C. Walton. Model Checking for Multi-Agent Systems. Journal of Applied Logic (Special Issue on Logic-Based Agent Verification), 2006. (PDF Document, 28 pages, 202K).

A. Grando, and C. Walton. Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems. To be presented at the 10th International Workshop on Cooperative Information Agents (CIA2006), Edinburgh, UK, September 2006. (PDF Document, 15 pages, 190K).

A. Grando, and C. Walton. MAPa: a Language for Modelling Conversations in Agent Environments. Proceedings of the Intelligent Information Processing and Web Mining Conference 2006 (IIPWM06), Ustron, Poland, June 2006. (PDF Document, 5 pages, 77K).

C. Walton, and A. Grando. The MAPa Language of Agent Dialogues. Proceedings of the Fifth International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS06), Hakodate, Japan, May 2006. (PDF Document, 3 pages, 84K).

N. Osman, D. Robertson, and C. Walton. Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. Proceedings of the Fifth International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS06), Hakodate, Japan, May 2006. (PDF Document, 3 pages, 128K).

A. Bundy, F. McNeill, and C. Walton. On Repairing Reasoning Reversals via Representational Refinements. Proceedings of the 19th International FLAIRS (Florida Artificial Intelligence Research Society) Conference, Melbourne Beach, Florida, May 2006. (PDF Document, 10 pages, 357K).

2005
C. Walton. Agent Protocols for Peer-To-Peer Architectures. Presented at EUMAS 2005, Brussels, Belgium, December 2005. (PDF Document, 8 pages, 125K).

N.  Osman, D.  Robertson, and C. Walton. Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems. Presented at EUMAS 2005, Brussels, Belgium, December 2005. (PDF Document, 12 pages, 354K).

J.  McGinnis, D.  Robertson, and C. Walton. Protocol Synthesis with Dialogue Structure Theory Presented at EUMAS 2005, Brussels, Belgium, December 2005. (PDF Document, 11 pages, 99K).

C. Walton. Protocols for Web Service Invocation. Proceedings of the AAAI Fall Symposium on Agents and the Semantic Web (ASW05), Arlington, Virginia, USA, November 2005. (PDF Document, 6 pages, 127K).

F. Hassan, D. Robertson, and C. Walton. Addressing Constraint Failures in Agent Interaction Protocol. Proceedings of the 8th Pacific Rim International Workshop on Multi-Agent Systems (PRIMA'05), Kuala Lumpur, Malaysia, September 2005. (PDF Document, 15 pages, 115K).

C. Walton. Uniting Agents and Web Services. AgentLink News, Issue 18 (pages 26-28), August 2005. (PDF Document, 6.7M).

C. Walton. Typed Protocols for Peer-to-Peer Service Composition. Proceedings of the 2nd International Workshop on Peer to Peer Knowledge Management (P2PKM 2005), San-Diego, USA, July 2005. (PDF Document, 8 pages, 94K).

F. McNeill, A. Bundy, and C. Walton. Planning from Rich Ontologies through Translation between Representations. Proceedings of the 2005 International Conference on Automated Planning and Scheduling (ICAPS05), Monterey, California, June 2005. (Gzipped Postscript, 9 pages, 38K).

2004
F. McNeill, A. Bundy, and C. Walton. Planning with Ontological Knowledge. Proceedings of the 2004 UK Planning and Scheduling Special Interest Group (PlanSIG2004), Cork, Ireland, December 2004. (Gzipped Postscript, 12 pages, 74K).

Y. Kalfoglou, H. Alani, M. Schorlemmer, and C. Walton. On the Emergent Semantic Web and Overlooked Issues. Proceedings of the 3rd International Semantic Web Conference (ISWC2004), Hiroshima, Japan, November 2004. (PDF Document, 15 pages, 92K). Also published in LNCS Volume 3298 (2004).

C. Walton and A. Barker. An Agent-based e-Science Experiment Builder. Proceedings of the 1st International Workshop on Semantic Intelligent Middleware for the Web and the Grid, Valencia, Spain, August 2004. (PDF Document, 15 pages, 293K).

C. Walton. Model Checking Agent Dialogues. Proceedings of the 2004 Workshop on Declarative Agent Languages and Technologies (DALT), New York, USA, July 2004. (PDF Document, 16 pages, 146K). An extended version is also available in LNAI Volume 3476 (2005), DALT Selected Papers.

C. Walton. Model Checking Multi-Agent Web Services. Proceedings of the 2004 Spring Symposium on Semantic Web Services, Stanford, California, USA, March 2004. (PDF Document, 8 pages, 102K).

C. Walton. Multi-Agent Dialogue Protocols. Proceedings of the 8th International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, USA, January 2004. (Gzipped Postscript, 9 pages, 75K).

2003
F. McNeill, A. Bundy, C. Walton and M. Schorlemmer. Plan Execution Failure Analysis using Plan Deconstruction Proceedings of the 2003 UK Planning and Scheduling Special Interest Group (PlanSIG2003), Glasgow, UK, December 2003. (PDF Document, 2 pages, 74K).

J. P. McGinnis, D. Robertson, and C. Walton. Using Distributed Protocols as an Implementation of Dialogue Games. Presented at EUMAS 2003, Oxford, UK, December 2003. (PDF Document, 12 pages, 122K).

C. Walton. Dialogue Protocols for Multi-Agent Systems. Published as Informatics Technical Report EDI-INF-RR-0183, University of Edinburgh, September 2003. (Gzipped Postscript, 10 pages, 82K).

C. Walton, V. Biris-Brilhante, S. Phelps, and D. Robertson. Review of SLIE Framework and Experiments. SLIE Technical Paper, June 2003. (Gzipped Postscript, 47 pages, 671K).

2002
C. Walton, and D. Robertson. Flexible Multi-Agent Protocols. Presented at UKMAS 2002, Liverpool, UK, December 2002. Published as Informatics Technical Report EDI-INF-RR-0164, University of Edinburgh, December 2002. (Gzipped Postscript, 12 pages, 68K).

C. Walton. The Open Source Software Ecosystem. Published in: Carles Sierra and Jaume Augusti editors, IIIA Communications, Institut d'Investigacion en Intel.ligencia Artificial, IIIA, Barcelona, 2002. (Gzipped Postscript, 18 pages, 91K).

2001
W. Vasconcelos, D. Robertson, J. Augusti, C.  Sierra, M. Wooldridge, S. Parsons, C. Walton, and J. Sabater. A Lifecycle for Models of Large Multi-Agent Systems. Proceedings of the the 2nd International Workshop on Agent Oriented Software Engineering (AOSE-2001), Montreal, Canada, May 2001. Lecture Notes in Computer Science 2222. Springer-Verlag. (PDF Document, 21 pages, 191K).

C. Walton. Abstract Machines for Dynamic Computation. PhD Thesis, University of Edinburgh, 2001. (Gzipped Postscript, 256 pages, 636K).

PhD Papers (<2001)
C. Walton. An Abstract Machine for Memory Management. Proceedings of the First Scottish Functional Programming Workshop, Stirling, Aug 1999. Also published in: Trends in Functional Programming, Chapter 10 (pages 88-96), Intellect, 2000. (Gzipped PostScript, 10 pages, 43K).

C. Walton. Abstract Machines for Memory Management. Technical Report ECS-LFCS-99-410, Laboratory for Foundations of Computer Science, Informatics, University of Edinburgh, June 1999. (Gzipped PostScript, 41 pages, 173K).

C. Walton, D. Kirli, and S. Gilmore. An Abstract Machine Model of Dynamic Module Replacement. Future Generation Computer Systems, 1999. Published in a special issue devoted to the proceedings of the Workshop on Principles of Abstract Machines 1998. (Gzipped PostScript, 25 pages, 121K bytes).

C. Walton, D. Kirli, and S. Gilmore. An Abstract Machine for Module Replacement Proceedings of the Workshop on Principles of Abstract Machines, Pisa, Italy, June 1998. (Gzipped PostScript, 15 pages, 83K).

S. Gilmore, D. Kirli, and C. Walton. Dynamic ML without Dynamic Types. Technical Report ECS-LFCS-97-378, Laboratory for Foundations of Computer Science, Informatics, University of Edinburgh, 1997. Gzipped PostScript, 16 pages, 73K).

C. Walton, and B. J. McAdam. The C-LEMMA Memory Interface on the Cray T3D. Technical Report ECS-LFCS-97-362, Laboratory for Foundations of Computer Science, Informatics, University of Edinburgh, 1997. (Gzipped PostScript, 34 pages, 128K).


Copyright © Chris Walton 2007