Jim Cunningham

Proceedings of the 8th International Conference on Educational Data Mining, 2015

2009

Verifying realizability and reachability in recursive interaction protocol specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Modularity and Composition in Propositional Statecharts.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2005

A formal framework for agent interaction semantics.

[BibT_eX]

[DOI]

Nicholas R. Jennings

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Propositional Statecharts for Agent Interaction Protocols.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Euler Diagrams, 2004

2003

Developing Agent Interaction Protocols Using Graphical and Logical Methodologies.

[BibT_eX]

[DOI]

Nicholas R. Jennings

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Ontological Foundations of Natural Language Communication in Multiagent Systems.

[BibT_eX]

[DOI]

Luc Schneider

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

Ensuring consistency in the joint beliefs of interacting agents.

[BibT_eX]

[DOI]

Nicholas R. Jennings

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Verification of Protocols for Automated Negotiation.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001

Editorial.

[BibT_eX]

[DOI]

Dov M. Gabbay

Log. J. IGPL, 2001

Towards an Axiomatic Theory of Consciousness.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

Specifying the Processes and States of Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Agent Mediated Electronic Commerce, The European AgentLink Perspective., 2001

1999

Agents in the box.

[BibT_eX]

Proceedings of the Human-Computer Interaction: Communication, 1999

1998

Satisfying Requirements for Electronic Commerce.

[BibT_eX]

[DOI]

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

1997

Representing and Reasoning with Events fron Natural Language.

[BibT_eX]

[DOI]

Miguel Leith

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996

Theorem Proving and Model Building with the Calculus KE.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

Editorial.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

Normalized Interactions between Autonomous Agents A Case Study in Inter-Organizational Project Management.

[BibT_eX]

[DOI]

Matthew Anderton

Comput. Support. Cooperative Work., 1996

Distributed Modal Theorem Proving with KE.

[BibT_eX]

[DOI]

Jeremy V. Pitt

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

A Testbed for Animating Multi-Agent Systems.

[BibT_eX]

Lloyd Daniel Kamara

Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1996

1995

Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1995

A Multi-Agent Framework for Inter-Organizational Applications.

[BibT_eX]

Matthew Anderton

Proceedings of the First International Conference on Multiagent Systems, 1995

1994

Co-Operative Answering to Natural Language Email Queries.

[BibT_eX]

[DOI]

Jong-Hyun Kim

Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994

1992

Towards Tableau Theorem-Proving with Analytic Cut.

[BibT_eX]

Marcello D'Agostino

Jeremy V. Pitt

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1991

Proving properties of a safety-critical system.

[BibT_eX]

[DOI]

Will Atkinson

Softw. Eng. J., 1991

1990

Attributed Translation and the Semantics of Natural Language.

[BibT_eX]

[DOI]

Jeremy V. Pitt

Proceedings of the Attribute Grammars and their Applications, 1990

Logical Animation.

[BibT_eX]

[DOI]

M. C. Costa

J. Booth

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.

[BibT_eX]

[DOI]

A. J. J. Dick

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Rewrite Systems on a Lattice of Types.

[BibT_eX]

[DOI]

A. J. J. Dick

Acta Informatica, 1985

1983

Software Tools for First-Order Logic.

[BibT_eX]

[DOI]

Silvana Zappacosta-Amboldi

Softw. Pract. Exp., 1983

1979

Invariants for Specifications.

[BibT_eX]

[DOI]

Jeff Kramer

Proceedings of the 4th International Conference on Software Engineering, 1979

1978

An Exercise in Program Design Using SIMULA Class Invariants.

[BibT_eX]

[DOI]

Jeff Kramer

Softw. Pract. Exp., 1978

1976

A Language-independent System to Aid the Development of Structured Programs.

[BibT_eX]

[DOI]

C. G. Pugh

Softw. Pract. Exp., 1976

A Note on the Semantic Definition of Side Effects.

[BibT_eX]

[DOI]