( en | de | ru )

 

Disambiguierung von "Cunningham, Jim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Deriving agent-centred representations of protocols described using propositional statecharts.

, und . AAMAS, Seite 32. IFAAMAS, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

David Cunningham

Bryan Cunningham

Raymond Cunningham

Hamish Cunningham

jim halo

 

Weitere Publikationen von Autoren mit dem selben Namen

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