Autor der Publikation

The REVISE Project: A Purpose Driven Method for Language Comparison.

, , , , , und . EKAW, Volume 1076 von Lecture Notes in Computer Science, Seite 66-81. Springer, (1996)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Managing Conflicts in Reflective Agents., und . Computational Conflicts, Springer, (2000)Agent-Based Analysis of Annual Energy Usages for Domestic Heating based on a Heat Pump., , und . ICT4S, Atlantis Press, (2014)Formalisation of a cooperation model based on joint intentions, , und . ATAL: Proc. ECAI'96 Workshop on Agent Theories, Architectures, and Languages, Volume 1193 von LNCS, Seite 141--155. Budapest, Hungary, (1997)Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness, und . Int'l J. of Cooperative Information Systems, 11 (1-2): 51--91 (2002)Compositional design of a generic design agent, , , und . Design Studies, 22 (5): 439--471 (September 2001)Modelling Interaction with Experts: The Role of a Shared Task Model., , und . ECAI, Seite 241-245. John Wiley and Sons, Chichester, (1996)Formal Specification of Multi-Agent Systems: A Real-World Case., , , und . ICMAS, Seite 25-32. The MIT Press, (1995)Compositional Verification of a Multi-Agent System for One-to-Many Negotiation., , , , , , und . Appl. Intell., 20 (2): 95-117 (2004)A requirement specification language for configuration dynamics of multiagent systems., , und . Int. J. Intell. Syst., 19 (3): 277-300 (2004)Formal semantics of meta-level architectures: Temporal epistemic reflection., , und . Int. J. Intell. Syst., 18 (12): 1293-1317 (2003)