Welcome to Jim Cunningham's HomePage

Jim Cunningham
Senior Lecturer, Logic and Automated Reasoning
Department Of Computing
Imperial College Of Science, Technology And Medicine
180 Queen's Gate, London, SW7 2BZ, UK
rjc@doc.ic.ac.uk

• Research Interests/Projects

To be found under Medlar.




• A Selection of Publications
• Leith M F, Cunningham R J, Modelling Linguistic Events, (to appear) 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, (to appear) in proceedings of the first International Joint Conference on Qualitative and Quantitative Practical Reasoning, Bad Honnef, Germany, June 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