Publications Home » Authors » Mr Jim Cunningham
Authors
Mr Jim Cunningham
16 publications for this author.
Book Chapter
- Temporal Agents
- Jim Cunningham
- Kent A. Peakock & Andrew D. Irvine (eds), Mistakes of Reason : Essays in Honour of John Woods
- pp.380–397
- University of Toronto Press
- 2005
Journal Articles
- Aspect and Interval Tense Logic
- Miguel Leith, Jim Cunningham
- Linguistics and Philosophy
- Volume 24, Issue 3, pp.331–381
- June, 2001
- Towards an Axiomatic Theory of Consciousness
- Jim Cunningham
- Logic Journal of the IGPL
- Volume 9, Issue 2, pp.341–347
- March, 2001
- Theorem Proving and Model Building with the Calculus KE
- Jeremy Pitt, Jim Cunningham
- Journal of the IGPL
- Volume 4, Issue 1, pp.129–150
- 1996
- An Exercise in Program Design Using Simula Class Invariants
- Jeff Kramer, Jim Cunningham
- Software: Practice and Experience
- Volume 8
- 1978
Journal Special Issue Article
- Propositional Statecharts for Agent Interaction Protocols
- Hywel Dunn Davies, Jim Cunningham
- pp.55–75
- June, 2005
Conference and Workshop Papers
- Specifying the Semantics of Interaction Protocols
- Jim Cunningham
- InterSymp-2005, Multi-agent Systems Symposium, Baden August 2005
- 2006
- Specifying the Semantics of Agent Interaction Protocols
- Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
- Fourth International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS'05)
- July, 2005
- A Prefix Notation and Unification Algorithm for Encoding Modal Logics
- Adrian Williams, Jim Cunningham
- DSIC-II/12/03
- pp.81–92
- Universidad Politechnica de Valencia
- June, 2003
- Ensuring consistency in the joint beliefs of interacting agents
- Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
- 2nd International Joint Conference on Autonomous Agents and Multi-agent Systems, Melbourne, Australia
- pp.662–669
- ACM
- 2003
- Developing agent interaction protocols using graphical and logical methodologies
- Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
- 1st international workshop on programming multi-agent systems, Melbourne, Australia, 2003
- pp.149–168
- Springer-Verlag
- 2003
- Ontological foundations of natural language communication in multiagent systems
- Luc. Schneider, Jim Cunningham
- 7th international conference on knowledge-based intelligent information and engineering systems (KES 2003), University of Oxford, Oxford, England
- pp.1403–1410
- Springer-Verlag
- 2003
- Ontological issues in agent ownership (reasoning about agent ownership)
- Alexander Yip, Jim Cunningham
- Proceedings of the law and electronic agents workshop (LEA'03)
- pp.113–126
- Norwegian Research cente for Computers and Law
- 2003
- Verification of protocols for automated negotiation
- Shamimabi Paurobally, Jim Cunningham
- 15th European conference on artificial intelligence, Claude Bernard University, Lyon, France, 2002
- pp.43–47
- I O S Press
- 2002
- Specifying the processes and states of negotiation
- Shamimabi Paurobally, Jim Cunningham
- Frank Dignum, Charles Sierra (Eds) Agent Mediated Electronic Commerce: The European Agentlink Perspective
- Volume 1991, pp.61–77
- Springer
- 2001
- Distributed Modal Theorem Proving with the system KE
- Jeremy Pitt, Jim Cunningham
- Fifth International Workshop on Theorem Proving with Semantic Tableaux and Related Methods, Palermo
- pp.3–540
- 1996
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.