Jim Cunningham

According to our database1, Jim Cunningham
  • authored at least 36 papers between 1976 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Reimagining Khan Analytics for Student Coaches.
Proceedings of the 8th International Conference on Educational Data Mining, 2015

2009
Verifying realizability and reachability in recursive interaction protocol specifications.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
Synchronization protocols for reliable communication in fully distributed agent systems.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Deriving agent-centred representations of protocols described using propositional statecharts.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006
Modularity and Composition in Propositional Statecharts.
Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2005
'R-What?' Development of a role-based access control policy-writing tool for e-Scientists.
Softw., Pract. Exper., 2005

Propositional Statecharts for Agent Interaction Protocols.
Electr. Notes Theor. Comput. Sci., 2005

A formal framework for agent interaction semantics.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2003
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies.
Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Ontological Foundations of Natural Language Communication in Multiagent Systems.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Ensuring consistency in the joint beliefs of interacting agents.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Verification of Protocols for Automated Negotiation.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

2001
Editorial.
Logic Journal of the IGPL, 2001

Towards an Axiomatic Theory of Consciousness.
Logic Journal of the IGPL, 2001

Specifying the Processes and States of Negotiation.
Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

1999
Agents in the box.
Proceedings of the Human-Computer Interaction: Communication, 1999

1998
Satisfying Requirements for Electronic Commerce.
Proceedings of the Trends in Distributed Systems for Electronic Commerce, 1998

1997
Representing and Reasoning with Events fron Natural Language.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
Theorem Proving and Model Building with the Calculus KE.
Logic Journal of the IGPL, 1996

Editorial.
Logic Journal of the IGPL, 1996

Normalized Interactions between Autonomous Agents A Case Study in Inter-Organizational Project Management.
Computer Supported Cooperative Work, 1996

Distributed Modal Theorem Proving with KE.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1995
Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report.
IEA/AIE, 1995

A Multi-Agent Framework for Inter-Organizational Applications.
Proceedings of the First International Conference on Multiagent Systems, 1995

1994
Co-Operative Answering to Natural Language Email Queries.
IEA/AIE, 1994

1992
Towards Tableau Theorem-Proving with Analytic Cut.
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1991
Proving properties of a safety-critical system.
Software Engineering Journal, 1991

1990
Attributed Translation and the Semantics of Natural Language.
Proceedings of the Attribute Grammars and their Applications, 1990

Logical Animation.
Proceedings of the 12th International Conference on Software Engineering, 1990

1986
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985
Rewrite Systems on a Lattice of Types.
Acta Inf., 1985

1983
Software Tools for First-Order Logic.
Softw., Pract. Exper., 1983

1979
Invariants for Specifications.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
An Exercise in Program Design Using SIMULA Class Invariants.
Softw., Pract. Exper., 1978

1976
A Language-independent System to Aid the Development of Structured Programs.
Softw., Pract. Exper., 1976

A Note on the Semantic Definition of Side Effects.
Inf. Process. Lett., 1976


  Loading...