( en | de | ru )

 

Disambiguation of "Cunningham, Jim"

Author of the publication

copydeleteadd this publication to your clipboard
A Multi-Agent Framework for Inter-Organizational Applications.

, , and . ICMAS, page 435. The MIT Press, (1995)

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

Bryan Cunningham

Raymond 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)Distributed Modal Theorem Proving with KE., and . TABLEAUX, volume 1071 of Lecture Notes in Computer Science, page 160-176. Springer, (1996)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)Deriving agent-centred representations of protocols described using propositional statecharts., and . AAMAS, page 32. IFAAMAS, (2007)Rewrite Systems on a Lattice of Types., and . Acta Inf., 22 (2): 149-169 (1985)A Testbed for Animating Multi-Agent Systems., , and . PAAM, page 819-836. Practical Application Company Ltd., (1996)A formal framework for agent interaction semantics., , and . AAMAS, page 91-98. ACM, (2005)