Publications
40 results found
Cunningham J, 2006, Specifying the Semantics of Interaction Protocols, InterSymp-2005, Multi-agent Systems Symposium, Baden August 2005
Paurobally S, Cunningham J, Jennings N, 2005, Specifying the Semantics of Agent Interaction Protocols, Fourth International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS'05)
Dunn Davies H, Cunningham J, 2005, Propositional Statecharts for Agent Interaction Protocols, Pages: 55-75
Cunningham J, 2005, Temporal Agents, Kent A. Peakock & Andrew D. Irvine (eds), Mistakes of Reason : Essays in Honour of John Woods, Publisher: University of Toronto Press, Pages: 380-397, ISBN: 9780802038661
Paurobally S, Cunningham J, Jennings NR, 2003, Ensuring consistency on the joint beliefs of interacting agents, 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems, Pages: 662-669
Yip A, Cunningham J, 2003, Ontological issues in agent ownership (reasoning about agent ownership), Proceedings of the law and electronic agents workshop (LEA'03), Publisher: Norwegian Research cente for Computers and Law, Pages: 113-126
Williams A, Cunningham J, 2003, A prefix notation and unification algorithm for encoding modal logics, Proceedings of RDP UNIF03 17th international workshop on unification, U.P. Valencia, Spain, 2003, Pages: 81-92
Paurobally S, Cunningham J, 2003, Achieving common interaction protocols in open environments, Proceedings of AAMAS03 agentcities workshop: challenges in open agent environments, 2003
Paurobally S, Cunningham J, Jennings NR, 2003, Developing agent interaction protocols using graphical and logical methodologies, Berlin, 1st international workshop on programming multi-agent systems, Melbourne, Australia, 2003, Publisher: Springer-Verlag, Pages: 149-168
Schneider L, Cunningham J, 2003, Ontological foundations of natural language communication in multiagent systems, Berlin, 7th international conference on knowledge-based intelligent information and engineering systems (KES 2003), University of Oxford, Oxford, England, Publisher: Springer-Verlag, Pages: 1403-1410
Cunningham J, 2002, Temporal agents, Proceedings of conference on mistakes of reason in honor of John Woods University of Lethbridge, 2002
Yip A, Cunningham J, 2002, Some issues in agent ownership, Selected revised papers from workshop on the law of electronic agents, CIRSFID, Universita di Bologna, 2002, Pages: 13-22
Paurobally S, Cunningham J, 2002, Verification of protocols for automated negotiation, Amsterdam, 15th European conference on artificial intelligence, Claude Bernard University, Lyon, France, 2002, Publisher: I O S Press, Pages: 43-47
Leith M, Cunningham J, 2001, Aspect and interval tense logic, LINGUISTICS AND PHILOSOPHY, Vol: 24, Pages: 331-381, ISSN: 0165-0157
- Author Web Link
- Cite
- Citations: 1
Cunningham J, 2001, Towards an Axiomatic Theory of Consciousness, Logic Journal of the IGPL, Vol: 9, Pages: 325-331, ISSN: 1367-0751
Paurobally S, Cunningham J, 2001, Specifying the processes and states of negotiation, Berlin, Agent mediated electronic commerce : the European AgentLink perspective, Publisher: Springer, Pages: 61-77
Cunningham RJ, Gabbay DM, 2000, Proceedings of the FAPR2000, International Conference on Formal and Applied Practical Reasoning, Imperial College London
Cunningham RJ, Meyer JJ, 2000, Agentlink Workshop on Practical Reasoning Agents, Proceedings of the FAPR2000, Imperial College London, ISSN: 1469-4166
Paurobally S, Cunningham RJ, 2000, Negotiating Agents Searching for Successful Paths on a Layered Framework, Proceedings of the FAPR2000, ISSN: 1469-4166
Cunningham RJ, 2000, Towards an Axiomatic Theory of Consciousness, Proceedings FAPR2000 ,International Conference of Formal and Applied Practical Reasoning, Imperial College London, ISSN: 1469-4166
Paurobally S, Cunningham RJ, 1999, Negotiation Processes in Electronic Commerce, Workshop on Modal and Temporal Logics Based Planning for Open Networked Multi-media Systems, AAAI Fall Symposium Series, Pages: 1-10
Uchyigit G, Carlin B, Quak E, et al., 1999, Agents in the box, 8th International Conference on Human Computer Interaction, Pages: 157-161
Nissler J, Thoma V, Machate J, et al., 1999, Design of Software Agents from a User Perspective, International Journal of Computers and Telecommunications
Leith M, Cunningham RJ, 1998, Modelling Linguistic Events, Proceedings of International Conference on Temporal Logic, Publisher: Kluwer
Cunningham RJ, Kamara L, 1998, Modelling Multi-modal Agent systems, Proceedings of AISC'98, Plattsburg State University of New York
Cunningham RJ, Paurobally S, Diacakis A, et al., 1998, Satisfying Requirements for Electronic Commerce, TREC98 Conference in Hamburg, Publisher: Springer
Leith M, Cunningham RJ, 1997, Representing and Reasoning with Events from Natural Language, Proceedings of the first International Joint Conference on Qualitative and Quantitative Practical Reasoning, Publisher: Springer
Stathis K, Sergot MJ, 1996, Games as a Metaphor for Interactive Systems, People and Computers XI (Proc. HCI'96, London, August), Publisher: Springer-Verlag, Pages: 19-33
Cunningham RJ, Kamara LD, Pitt JV, 1996, A Testbed for Animating Multi-Agent Systems, Proceedings PAAM'96: Practical Applications of Intelligent Agents and Multi-Agent Systems, Publisher: The Practical Application Company Ltd, Pages: 819-836
Sasse A, Cunningham RJ, Winder R, 1996, People and Computers X, Proceedings of HCI'96, Publisher: Springer-Verlag
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.