Autor der Publikation

Formal Development of Reactive Agent-Based Systems.

, , , und . Encyclopedia of Information Science and Technology (II), Idea Group, (2005)

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

Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs., und . Euro-Par, Vol. I, Volume 1123 von Lecture Notes in Computer Science, Seite 694-703. Springer, (1996)A multi-agent framework to assist networked learning., , und . J. Comput. Assist. Learn., 15 (3): 201-210 (1999)Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours.. SETN, Volume 2308 von Lecture Notes in Computer Science, Seite 461-472. Springer, (2002)Towards a Complete Covering of SBML Functionalities, , , , , und . Membrane Computing, Volume 4860 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (2007)A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems., , und . WASA, Volume 752 von CEUR Workshop Proceedings, Seite 37-44. CEUR-WS.org, (2011)Communicating X-machines: a practical approach for formal and modular specification of large systems., , und . Inf. Softw. Technol., 45 (5): 269-280 (2003)Emotional Agents Make a (Bank) Run., , und . EUMAS/AT, Volume 12520 von Lecture Notes in Computer Science, Seite 171-187. Springer, (2020)Membrane Computing, , , , , und . Volume 4860 von Lecture Notes in Computer Science, Kapitel Towards a Complete Covering of SBML Functionalities, Seite 353-366. Springer Berlin / Heidelberg, (2007)OASys: an AND/OR parallel logic programming system., , und . Parallel Comput., 25 (3): 321-336 (1999)The Invalidity of Validating Emotional Multi-Agent Systems Simulations., und . BCI, Seite 8:1-8:8. ACM, (2017)