Jim Cunningham - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2015

Reimagining Khan Analytics for Student CoachesJim Cunningham. edm 2015: 651-652 [doi]

2009

Verifying realizability and reachability in recursive interaction protocol specificationsHywel R. Dunn-Davies, Jim Cunningham. atal 2009: 1233-1234 [doi]

2008

Synchronization protocols for reliable communication in fully distributed agent systemsHywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally. atal 2008: 1539-1542 [doi]

2007

Deriving agent-centred representations of protocols described using propositional statechartsHywel R. Dunn-Davies, Jim Cunningham. atal 2007: 32 [doi]

2006

Modularity and Composition in Propositional StatechartsHywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally. diagrams 2006: 98-103 [doi]

2005

Propositional Statecharts for Agent Interaction ProtocolsHywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally. ENTCS, 134:55-75, 2005. [doi]

A formal framework for agent interaction semanticsShamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings. atal 2005: 91-98 [doi]

2003

Developing Agent Interaction Protocols Using Graphical and Logical MethodologiesShamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings. promas 2004: 149-168 [doi]

Ensuring consistency in the joint beliefs of interacting agentsShamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings. atal 2003: 662-669 [doi]

Ontological Foundations of Natural Language Communication in Multiagent SystemsLuc Schneider, Jim Cunningham. kes 2003: 1403-1410 [doi]

2002

Verification of Protocols for Automated NegotiationShamimabi Paurobally, Jim Cunningham. ecai 2002: 43-47

2001

Towards an Axiomatic Theory of ConsciousnessJim Cunningham. igpl, 9(2):325-331, 2001. [doi]

EditorialJim Cunningham, Dov M. Gabbay. igpl, 9(2):139-140, 2001. [doi]

Specifying the Processes and States of NegotiationShamimabi Paurobally, Jim Cunningham. agentlink 2001: 61-77 [doi]

1999

Agents in the boxGulden Uchyigit, Bjørn Carlin, Ewald Quak, Jim Cunningham. hci 1999: 157-161

1998

Satisfying Requirements for Electronic CommerceJim Cunningham, Shamimabi Paurobally, Athanassios Diacakis, Lorenz Lorenzen, Gabriel Gross, Stephen McConnell. ifip 1998: 109-128 [doi]

1997

Representing and Reasoning with Events fron Natural LanguageMiguel Leith, Jim Cunningham. ecsqaru 1997: 406-420

1996

1995

A Multi-Agent Framework for Inter-Organizational ApplicationsMatthew Anderton, Jim Cunningham, Jeremy Pitt. icmas 1995: 435

Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress ReportJeremy Pitt, Jim Cunningham. ieaaie 1995: 655-663 [doi]

1994

Co-Operative Answering to Natural Language Email QueriesJeremy Pitt, Jim Cunningham, Jong-Hyun Kim. ieaaie 1994: 273-281 [doi]

1992

Towards Tableau Theorem-Proving with Analytic CutJim Cunningham, Marcello D Agostino, Jeremy V. Pitt. tableaux 1992: 23-25

1991

Proving properties of a safety-critical systemWill Atkinson, Jim Cunningham. iee, 6(2):41-50, 1991. [doi]

1990

Logical AnimationM. C. Costa, Jim Cunningham, J. Booth. ICSE 1990: 144-149

Attributed Translation and the Semantics of Natural LanguageJeremy V. Pitt, Jim Cunningham. waga 1990: 284-297

1986

Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated ReasoningA. J. J. Dick, Jim Cunningham. cade 1986: 272-280

1985

Rewrite Systems on a Lattice of TypesJim Cunningham, A. J. J. Dick. ACTA, 22(2):149-169, 1985.

1983

Software Tools for First-Order LogicJim Cunningham, Silvana Zappacosta-Amboldi. SPE, 13(11):1019-1025, 1983.

1979

Invariants for SpecificationsJeff Kramer, Jim Cunningham. ICSE 1979: 183-193

1978

An Exercise in Program Design Using SIMULA Class InvariantsJim Cunningham, Jeff Kramer. SPE, 8(3):355-369, 1978.

1976

A Language-independent System to Aid the Development of Structured ProgramsJim Cunningham, C. G. Pugh. SPE, 6(4):487-503, 1976.

A Note on the Semantic Definition of Side EffectsJim Cunningham, M. E. J. Gilford. ipl, 4(5):118-120, 1976.

Sign in or sign up to see more results.

runs on WebDSL