1
lar.gif
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
2
http://medlar.doc.ic.ac.uk/
Research Interests/Projects
To be found under Medlar .
3
NIL
A Selection of Publications
4
mle.ps.gz
Leith M F, Cunningham R J, Modelling Linguistic Events , (to appear) in proceedings of the International Conference on Temporal Logic, Manchester, July 1997
5
rar.ps.gz
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
6
ftp://medlar/pub/llar/jvp/dmtp.ps.gz
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
7
paam96.ps
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
8
ftp://medlar/pub/llar/jvp/TP+MWwKE.ps.gz
Pitt J V, Cunningham R J, Theorem Proving and Model Building with the Calculus KE , Journal of the IGPL, 1996
9
ftp://medlar/pub/llar/jvp/RSAviaLLG.ps.gz
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
10
ftp://medlar/pub/llar/jvp/RSAviaLLG.ps.gz
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.
11
NIL
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
12
ftp://medlar/pub/llar/jvp/csf.ps.gz
Pitt J V, Cunningham R J, Blending the Balkans: One Approach to Integrating and Combining Inference Engines , CEC Esprit Project Medlar (Esprit 6471), 1995
13
mmmd.ps.gz
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
14
ftp://medlar.doc.ic.ac.uk/pub/llar/jvp/CoopAns.ps.gz
Pitt J V, Cunningham R J, Kim Jong Hyun, Co-operative Answering to Natural Language Email Queries , OAL (CEC Esprit 6283) Deliverable D4, 1993
15
ftp://medlar.doc.ic.ac.uk/pub/llar/jvp/AdvFncInIOPM.ps.gz
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
16
ftp://medlar.doc.ic.ac.uk/pub/llar/jvp/AnylCut.ps.gz
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
17
ftp://medlar.doc.ic.ac.uk/pub/llar/jvp/GDSP.ps.gz
Pitt J V, Cunningham R J Grammars, Deductive Systems, and Parsing , ESRC LORE Project Research Report 92/1, Department of Computing, Imperial College, 1992
18
mailto:rjc@doc.ic.ac.uk
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