Publications
40 results found
Pitt J, Cunningham RJ, 1996, Theorem Proving and Model Building with the Calculus KE, Journal of the IGPL, Vol: 4, Pages: 129-150, ISSN: 0945-9103
Pitt J, Anderton M, Cunningham RJ, 1996, Normalized Interactions between Autonomous Agents: A Case Study in Inter-Organisational Project Management, Computer Supported Cooperative Work: The Journal of Collaborative Computing, Vol: 5, Pages: 201-222, ISSN: 0925-9724
Cunningham RJ, Putt J, Hochstrasser B, et al., 1996, Collaborative Project and Programme Management: Where Can New Technology Help?, Proceedings of International Conference on Management of Collaborative European Programmes and Projects in Research, Education and Training
Cunningham RJ, Kamara L, Pitt J, 1996, A Simulator for Rational Robotic Agents, Proceedings of International Workshop on Advanced Robotics and Intelligent Machines, U. of Salford, Manchester, Publisher: IEE Press
Pitt J, Cunningham RJ, 1996, Distributed Modal Theorem Proving with the system KE, Fifth International Workshop on Theorem Proving with Semantic Tableaux and Related Methods, Palermo, Pages: 3-540
Pitt J, Cunningham RJ, 1995, Making Requirements Specifications Accessible via Logic, Language and Graphics, Proceedings IEA/AIE 95, Eighth Int'l Conf. on Industrial & Engineering Applications of AI & Expert Systems, Publisher: Gordon & Breach
Anderton M, Cunningham RJ, Pitt J, 1995, A Multi Agent Framework for Interorganisational Application, ICMAS'95, Publisher: AAAI Press
Pitt J, Anderton M, Cunningham RJ, 1995, Normalized Interactions between Autonomous Agents: A Case Study in Inter-Organizational Project Management, Proceedings COOP'95, International Workshop on the Design of Cooperative Systems, Juan-Les-Pins, INRIA, France
Pitt J, Cunningham RJ, Kim JH, 1994, Co-operative Answering to Natural Language Email Queries, Proceedings of IEA/AIE 94, Seventh Int Conf. on Industrial & Engineering Applications of AI & Expert Systems, Publisher: Gordon & Breach
Kramer J, Cunningham J, 1978, An Exercise in Program Design Using Simula Class Invariants, Software: Practice and Experience, Vol: 8
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.