Jim Cunningham

Publication Activity (10 Years)

Years Active: 1976-2015
Publications (10 Years): 1

Top Topics

Student Participation

Decision Making

Educational Environment

Tutoring System

Top Venues

Publications

Jim Cunningham
Reimagining Khan Analytics for Student Coaches. EDM (2015)
Hywel R. Dunn-Davies, Jim Cunningham
Verifying realizability and reachability in recursive interaction protocol specifications. AAMAS (2) (2009)
Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally
Synchronization protocols for reliable communication in fully distributed agent systems. AAMAS (3) (2008)
Hywel R. Dunn-Davies, Jim Cunningham
Deriving agent-centred representations of protocols described using propositional statecharts. AAMAS (2007)
Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally
Modularity and Composition in Propositional Statecharts. Diagrams (2006)
Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally
Propositional Statecharts for Agent Interaction Protocols. Electron. Notes Theor. Comput. Sci. 134 (2005)
Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
A formal framework for agent interaction semantics. AAMAS (2005)
Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies. PROMAS (2003)
Luc Schneider, Jim Cunningham
Ontological Foundations of Natural Language Communication in Multiagent Systems. KES (2003)
Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
Ensuring consistency in the joint beliefs of interacting agents. AAMAS (2003)
Shamimabi Paurobally, Jim Cunningham
Verification of Protocols for Automated Negotiation. ECAI (2002)
Jim Cunningham
Towards an Axiomatic Theory of Consciousness. Log. J. IGPL 9 (2) (2001)
Jim Cunningham, Dov M. Gabbay
Editorial. Log. J. IGPL 9 (2) (2001)
Shamimabi Paurobally, Jim Cunningham
Specifying the Processes and States of Negotiation. AgentLink (2001)
Gulden Uchyigit, Bjørn Carlin, Ewald Quak, Jim Cunningham
Agents in the box. HCI (2) (1999)
Jim Cunningham, Shamimabi Paurobally, Athanassios Diacakis, Lorenz Lorenzen, Gabriel Gross, Stephen McConnell
Satisfying Requirements for Electronic Commerce. Trends in Distributed Systems for Electronic Commerce (1998)
Miguel Leith, Jim Cunningham
Representing and Reasoning with Events fron Natural Language. ECSQARU-FAPR (1997)
Jim Cunningham
Editorial. Log. J. IGPL 4 (3) (1996)
Jeremy V. Pitt, Jim Cunningham
Distributed Modal Theorem Proving with KE. TABLEAUX (1996)
Jeremy Pitt, Matthew Anderton, Jim Cunningham
Normalized Interactions between Autonomous Agents A Case Study in Inter-Organizational Project Management. Comput. Support. Cooperative Work. 5 (2/3) (1996)
Jeremy Pitt, Jim Cunningham
Theorem Proving and Model Building with the Calculus KE. Log. J. IGPL 4 (1) (1996)
Jim Cunningham, Lloyd Daniel Kamara, Jeremy Pitt
A Testbed for Animating Multi-Agent Systems. PAAM (1996)
Jeremy Pitt, Jim Cunningham
Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report. IEA/AIE (1995)
Matthew Anderton, Jim Cunningham, Jeremy Pitt
A Multi-Agent Framework for Inter-Organizational Applications. ICMAS (1995)
Jeremy Pitt, Jim Cunningham, Jong-Hyun Kim
Co-Operative Answering to Natural Language Email Queries. IEA/AIE (1994)
Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt
Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX (1992)
Will Atkinson, Jim Cunningham
Proving properties of a safety-critical system. Softw. Eng. J. 6 (2) (1991)
Jeremy V. Pitt, Jim Cunningham
Attributed Translation and the Semantics of Natural Language. WAGA (1990)
M. C. Costa, Jim Cunningham, J. Booth
Logical Animation. ICSE (1990)
A. J. J. Dick, Jim Cunningham
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. CADE (1986)
Jim Cunningham, A. J. J. Dick
Rewrite Systems on a Lattice of Types. Acta Informatica 22 (2) (1985)
Jim Cunningham, Silvana Zappacosta-Amboldi
Software Tools for First-Order Logic. Softw. Pract. Exp. 13 (11) (1983)
Jeff Kramer, Jim Cunningham
Invariants for Specifications. ICSE (1979)
Jim Cunningham, Jeff Kramer
An Exercise in Program Design Using SIMULA Class Invariants. Softw. Pract. Exp. 8 (3) (1978)
Jim Cunningham, M. E. J. Gilford
A Note on the Semantic Definition of Side Effects. Inf. Process. Lett. 4 (5) (1976)
Jim Cunningham, C. G. Pugh
A Language-independent System to Aid the Development of Structured Programs. Softw. Pract. Exp. 6 (4) (1976)