( en | de | ru )

 

Disambiguation of "Cunningham, Jim"

Author of the publication

copydeleteadd this publication to your clipboard
A formal framework for agent interaction semantics.

, , and . AAMAS, page 91-98. ACM, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Cunningham

Raymond Cunningham

Bryan Cunningham

Hamish Cunningham

jim halo

 

Other publications of authors with the same name

A Multi-Agent Framework for Inter-Organizational Applications., , and . ICMAS, page 435. The MIT Press, (1995)Deriving agent-centred representations of protocols described using propositional statecharts, and . AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, page 1--3. New York, NY, USA, ACM, (2007)Towards Tableau Theorem-Proving with Analytic Cut., , and . TABLEAUX, page 23-25. (1992)Representing and Reasoning with Events fron Natural Language., and . ECSQARU-FAPR, volume 1244 of Lecture Notes in Computer Science, page 406-420. Springer, (1997)Deriving agent-centred representations of protocols described using propositional statecharts., and . AAMAS, page 32. IFAAMAS, (2007)Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning., and . CADE, volume 230 of Lecture Notes in Computer Science, page 272-280. Springer, (1986)Distributed Modal Theorem Proving with KE., and . TABLEAUX, volume 1071 of Lecture Notes in Computer Science, page 160-176. Springer, (1996)Co-Operative Answering to Natural Language Email Queries., , and . IEA/AIE, page 273-281. ACM, (1994)Verifying realizability and reachability in recursive interaction protocol specifications., and . AAMAS (2), page 1233-1234. IFAAMAS, (2009)A formal framework for agent interaction semantics., , and . AAMAS, page 91-98. ACM, (2005)