![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jim Cunningham
Person information
- affiliation: Imperial College London, UK
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [c25]Jim Cunningham:
Reimagining Khan Analytics for Student Coaches. EDM 2015: 651-652
2000 – 2009
- 2009
- [c24]Hywel R. Dunn-Davies, Jim Cunningham:
Verifying realizability and reachability in recursive interaction protocol specifications. AAMAS (2) 2009: 1233-1234 - 2008
- [c23]Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally:
Synchronization protocols for reliable communication in fully distributed agent systems. AAMAS (3) 2008: 1539-1542 - 2007
- [c22]Hywel R. Dunn-Davies, Jim Cunningham:
Deriving agent-centred representations of protocols described using propositional statecharts. AAMAS 2007: 32 - 2006
- [c21]Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally:
Modularity and Composition in Propositional Statecharts. Diagrams 2006: 98-103 - 2005
- [j12]Sacha Brostoff, Martina Angela Sasse, David W. Chadwick
, R. James Cunningham, Uche M. Mbanaso, Sassa Otenko:
'R-What?' Development of a role-based access control policy-writing tool for e-Scientists. Softw. Pract. Exp. 35(9): 835-856 (2005) - [c20]Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings:
A formal framework for agent interaction semantics. AAMAS 2005: 91-98 - 2004
- [c19]Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally:
Propositional Statecharts for Agent Interaction Protocols. Euler 2004: 55-75 - 2003
- [c18]Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings:
Ensuring consistency in the joint beliefs of interacting agents. AAMAS 2003: 662-669 - [c17]Luc Schneider, Jim Cunningham:
Ontological Foundations of Natural Language Communication in Multiagent Systems. KES 2003: 1403-1410 - [c16]Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
:
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies. PROMAS 2003: 149-168 - 2002
- [c15]Shamimabi Paurobally, Jim Cunningham:
Verification of Protocols for Automated Negotiation. ECAI 2002: 43-47 - 2001
- [j11]Jim Cunningham, Dov M. Gabbay:
Editorial. Log. J. IGPL 9(2): 139-140 (2001) - [j10]Jim Cunningham:
Towards an Axiomatic Theory of Consciousness. Log. J. IGPL 9(2): 325-331 (2001) - [c14]Shamimabi Paurobally, Jim Cunningham:
Specifying the Processes and States of Negotiation. AgentLink 2001: 61-77
1990 – 1999
- 1999
- [c13]Gulden Uchyigit, Bjørn Carlin, Ewald Quak, Jim Cunningham:
Agents in the box. HCI (2) 1999: 157-161 - 1998
- [c12]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: 109-128 - 1997
- [c11]Miguel Leith, Jim Cunningham:
Representing and Reasoning with Events fron Natural Language. ECSQARU-FAPR 1997: 406-420 - 1996
- [j9]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): 201-222 (1996) - [j8]Jeremy Pitt, Jim Cunningham:
Theorem Proving and Model Building with the Calculus KE. Log. J. IGPL 4(1): 129-150 (1996) - [j7]Jim Cunningham:
Editorial. Log. J. IGPL 4(3): 353 (1996) - [c10]Jim Cunningham, Lloyd Daniel Kamara, Jeremy Pitt:
A Testbed for Animating Multi-Agent Systems. PAAM 1996: 819-836 - [c9]Jeremy V. Pitt, Jim Cunningham:
Distributed Modal Theorem Proving with KE. TABLEAUX 1996: 160-176 - [e1]Martina Angela Sasse, Jim Cunningham, Russel L. Winder:
People and Computers XI, Proceedings of HCI '96. Springer 1996, ISBN 3-540-76069-5 [contents] - 1995
- [c8]Matthew Anderton, Jim Cunningham, Jeremy Pitt:
A Multi-Agent Framework for Inter-Organizational Applications. ICMAS 1995: 435 - [c7]Jeremy Pitt, Jim Cunningham:
Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report. IEA/AIE 1995: 655-663 - 1994
- [c6]Jeremy Pitt, Jim Cunningham, Jong-Hyun Kim:
Co-Operative Answering to Natural Language Email Queries. IEA/AIE 1994: 273-281 - 1992
- [c5]Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt:
Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX 1992: 23-25 - 1991
- [j6]Will Atkinson
, Jim Cunningham:
Proving properties of a safety-critical system. Softw. Eng. J. 6(2): 41-50 (1991) - 1990
- [c4]M. C. Costa, Jim Cunningham, J. Booth:
Logical Animation. ICSE 1990: 144-149 - [c3]Jeremy V. Pitt, Jim Cunningham:
Attributed Translation and the Semantics of Natural Language. WAGA 1990: 284-297
1980 – 1989
- 1986
- [c2]A. J. J. Dick, Jim Cunningham:
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. CADE 1986: 272-280 - 1985
- [j5]Jim Cunningham, A. J. J. Dick:
Rewrite Systems on a Lattice of Types. Acta Informatica 22(2): 149-169 (1985) - 1983
- [j4]Jim Cunningham, Silvana Zappacosta-Amboldi:
Software Tools for First-Order Logic. Softw. Pract. Exp. 13(11): 1019-1025 (1983)
1970 – 1979
- 1979
- [c1]Jeff Kramer, Jim Cunningham:
Invariants for Specifications. ICSE 1979: 183-193 - 1978
- [j3]Jim Cunningham, Jeff Kramer:
An Exercise in Program Design Using SIMULA Class Invariants. Softw. Pract. Exp. 8(3): 355-369 (1978) - 1976
- [j2]Jim Cunningham, M. E. J. Gilford:
A Note on the Semantic Definition of Side Effects. Inf. Process. Lett. 4(5): 118-120 (1976) - [j1]Jim Cunningham, C. G. Pugh:
A Language-independent System to Aid the Development of Structured Programs. Softw. Pract. Exp. 6(4): 487-503 (1976)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint