Jim Cunningham

37 papers A* 2A 5B 4C 3Journal 11Unranked 11

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