( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A formal framework for agent interaction semantics.

, , и . AAMAS, стр. 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.

David Cunningham

Bryan Cunningham

Raymond Cunningham

Hamish Cunningham

jim halo

 

Другие публикации лиц с тем же именем

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