# Welcome to Jim Cunningham's HomePage

| #### Jim Cunningham, Reader Emeritus, and Senior Research Fellow, Department of Computing, Imperial College Of Science, Technology and Medicine. 180 Queen's Gate, London, SW7 2BZ, UK rjc@doc.ic.ac.uk

(I have deleted some out of date links but not intended some currently broken ones - Dec 2008)

- Interests
  An eclectic interest in the practical applications of symbolic reasoning processes in order to enhance the capabilities of machines and the level of human interaction with them.
  Founder of the Interdepartmental Research Group on Communicating Agents (Comma). I am still collaborating with students and colleagues in research on protocols, and on agents with natural language capability.
  Post 2000 teaching included courses in Natural Language Processing, Software Design (Human Computer Interaction), Modal and Temporal Logic, and Multi-Agent Systems.
- A Selection of Publications
  - Jim Cunningham, Ontological Help for a Lexical Semantics of Basic English, Fourth International Workshop on Human-Compute Conversation, Bellagio, 2008
  - Jaspreet Shaheed and Jim Cunningham, Agents making moral decisions, ECAI2008 workshop on Artificial Intelligence in Games (AIG'08), Patras, 2008.
  - Hywel Dunn-Davies, Jim Cunningham, and Shamimabi Paurobally, Synchronization Protocols for Reliable Communication in Fully Distributed Agent Systems, Proceedings of AAMAS07, Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems,, Lisbon, 2008.
  - Shamimabi Paurobally, Jim Cunningham, and Nicolas Jennings, A Formal Framework for Agent Interaction Semantics, in Frank Dignum et al. (Eds), Proceedings of AAMAS05, The Fourth International Joint Conference on Autonomous agents and Multi-Agent Systems, Utrecht 2005, ACM ISBN:1-59593-094-9, pp 91-98
  - Jaspreet Shaheed, Alexander Yip and Jim Cunningham, A Top-Level Language-Biased Legal Ontology, in Jos Lehmann, et al. (Eds), LOAIT - Legal Ontologies and Artificial Intelligence Techniques, Bologna 2005, IAAIL Workshop Series No 4, Bologna 2005, Wolf Legal Publishers ISBN ISBN 90-5850-504-89 pp 13-24
  - H.R. Dunn-Davies, R.J. Cunningham, and S. Paurobally, Propositional Statecharts for Agent Interaction Protocols, Electronic Notes in Theoretical Computer Science, (Elsevier) Vol. 134, p55-75
  - Alexander Yip and Jim Cunningham, Legal Event Reasoning for Software Agents, in Claudia Cevenini (Ed) The Law of Electronic Agents, Proceedings of the LEA 04 workshop, CIRSFID, Universita degli Studi di Bologna, June 2004 ISBN 88-88120-54-8
  - Luc Schneider, Jim Cunningham, Ontological Foundations of Natural Language Communication in Multi-Agent Systems, in Vasile Palade, Robert J.Howlett, Lakhmi Jain (Eds) Knowledge Based Intelligent Information and Engineering Systems, Springer LNAI-2773, 2003 pp 1403-1410
  - Alexander Yip, Jim Cunningham, Ontological Issues in Agent Ownership, in Anja Oskamp, Emily M. Weitzenbšck (Ed) LEA 2003: The Law and Electronic Agents, Norwegian Research cente for Computers and Law, Oslo NO-0130, Complex 5/03 ISBN 82-7726-071-9, ISSN 0806-1912, 2003 pp 113-126
  - Adrian Williams, Jim Cunningham, A Prefix Notation and Unification Algorithm for Encoding Modal Logics, in J. Levy etal. (eds) Proc. RDP UNIF03 17th International workshop on Unification, U.P. Valencia, Spain, 2003 pp 81-92
  - Shamima Paurobally, Jim Cunningham, Achieving Common Interaction protocols in Open Environments, in Proc. AAMAS03 Agentcities Workshop: Challenges in open agent environments, 2003
  - Shamima Paurobally, Jim Cunningham, Nicholas Jennings, Developing agent Interaction Protocols Using Graphical and Logical Methodologies, in Proc. AAMAS03 PROMAS Workshop on Programming Multi-Agent Systems, 2003
  - Shamima Paurobally, Jim Cunningham, Nicholas Jennings, Ensuring Consistency in the Joint Beliefs of Interacting Agents, in Jeffrey S. Rosenschein et al. (eds) Proc AAMAS03: The Second International Joint Conference on Autonomous Agents & Multiagent Systems ACM, NY ISBN 1-58113-683-8, pp662-669
  - Alexander Yip, Jim Cunningham, Some Issues in Agent Ownership, in G.Sartor (ed) Selected Revised Papers from Workshop on the Law of Electronic Agents , CIRSFID, Universita di Bologna 2002, pp 13-22
  - Shamima Paurobally, Jim Cunningham, Verification of Protocols for Negotiation between Agents, in Frank van Harmelen (Ed) Proceedings of ECAI2002, IOS Press, 2002 pp 43-47
  - Jim Cunningham, Temporal Agents, in Kent Peacock and Andrew Irvine (eds), Proc. Conference on Mistakes of Reason in honor of John Woods University of Lethbridge, 2002
  - Miguel Leith, Jim Cunningham, Aspect and Interval tense Logic, Linguistics and Philosophy 24(3):331-381, June 2001
  - Jim Cunningham, Towards an Axiomatic Theory of Consciousness, Logic Journal of the IGPL, 9(2):341-347 March 2001
  - Shamima Paurobally, Jim Cunningham, Specifying the States and Processes of Negotiation, in Frank Dignum, Charles Sierra (Eds) Agent Mediated Electronic Commerce: The European agentlink Perspective, Springer LNAI-1991, 2001 pp 61-77
  - Uchyigit, G., Carlin,B., Quak,E., Cunningham,J., "Agents in the Box", Proceedings 8th International Conference on Human Computer Interaction, August 1999, Vol.2, pp 157-161
  - Jim Cunningham, Shamimabi Pauobally, Athanassios Diakakis, Lorenz Lorenzen, Gabrial Gross, and Stephen McConnell, Satisfying Requirements for Electronic Commerce, in W. Lammersdorf and M. Merz (eds), Trends in Distributed Systems for Electronic Commerce (Proceedings TREC`98, Hamburg), Springer LNCS 1402 pp 109-128,1998
  - Leith M F, Cunningham R J, Modelling Linguistic Events, in proceedings of the International Conference on Temporal Logic, Manchester, July 1997
  - Leith M F, Cunningham R J, Representing and Reasoning with Events from Natural Language, in Gabbay et al. (eds) Qualitative and Quantitative Practical Reasoning (EQUARU/FAPR 97, Bad Honnef), Springer LNAI 1244 1997
  - Pitt J V, Cunningham R J, Distributed Modal Theorem Proving with KE, Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, eds. P. Miglioli, U. Moscato, D. Mundici and M. Ornaghi, 1996
  - Cunningham R J, Kamara L D, Pitt J V A Testbed for Animating Multi-Agent Systems , in proceedings of the Practical Application of Intelligent Agents and Multi-Agent Technology, 1996
  - Pitt J V, Cunningham R J, Theorem Proving and Model Building with the Calculus KE, Journal of the IGPL, 1996
  - Pitt J V, Anderton M T, Cunningham R J, Normalized Interactions between Autonomous Agents: A Case Study in Inter-Organizational Project Management, in the proceedings of the International Workshop on the Design of Cooperative Systems, Juan-Les-Pins, France", 1995
  - Pitt J V, Cunningham R J, Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report, 8th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, eds. G. Forsyth and M. Ali, 1995.
  - Cunningham R J, Pitt J V, Hochstrasser B, Anderton M T, Collaborative Project and Programme Management: Where Can New Technology Help? Proc. International conference on Management of Collaborative European Programmes and Projects in Research, Education and Training , Oxford, 1995
  - Pitt J V, Cunningham R J, Blending the Balkans: One Approach to Integrating and Combining Inference Engines , CEC Esprit Project Medlar (Esprit 6471), 1995
  - Cunningham R J, Multi-modal Mind Design, Proc. CIKM '94 Workshop on Intelligent Information Agents, eds. Labrou Y and Finin T, University of Maryland Baltimore County, USA, 1994
  - Pitt J V, Cunningham R J, Kim Jong Hyun, Co-operative Answering to Natural Language Email Queries, OAL (CEC Esprit 6283) Deliverable D4, 1993
  - Cunningham R J, Hochstrasser B, Pitt J V, Advanced Functions in Inter-organisational Project Managerment, Proc. of the IEE Colloquium on Artificial Intelligence in Enterprise Modelling, Digest No. 1993/078, IEE, 1993
  - Cunningham R J, D'Agostino M, Pitt J V, Towards Tableau Theorem proving with Analytic Cut, Lautenbach Workshop on Theorem Proving with Analytic Tableaux and Related Methods, eds. Fronhofer B, Hahnle R, and Kaufl T, Interner Bericht 8/92, Institut fur Informatik, Komplexitat und Deduktionssysteme, Universitat Karlsruhe, 1992
  - Pitt J V, Cunningham R J Grammars, Deductive Systems, and Parsing , ESRC LORE Project Research Report 92/1, Department of Computing, Imperial College, 1992
  - Cunningham R J, Pitt J V, Van den Bergh K,An Automated Reasoning Approach to Natural Languge Understanding, Discipline Filosofiche 92/2, Fouri Thema, 1992

#### This page is brought to you by Jim Cunningham