Autor der Publikation

A Dynamic Clustering Algorithm for Mobile Objects.

, , und . PKDD, Volume 4702 von Lecture Notes in Computer Science, Seite 422-429. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Dynamic Clustering Algorithm for Mobile Objects., , und . PKDD, Volume 4702 von Lecture Notes in Computer Science, Seite 422-429. Springer, (2007)Knowledge Acquisition and modeling for corporate memory lessons learnt from experience. Proceedings of Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada, (November 1996)Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems., und . ICSOFT-EA, Seite 407-412. SciTePress, (2015)Formal Verification of Ethical Properties in Multiagent Systems., und . EDIA@ECAI, Volume 1668 von CEUR Workshop Proceedings, Seite 26-31. CEUR-WS.org, (2016)GDT4MAS: a formal model and language to specify and verify agent-based complex systems., und . Stud. Inform. Univ., 10 (3): 5-32 (2012)Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour., , und . DALT, Volume 3904 von Lecture Notes in Computer Science, Seite 124-140. Springer, (2005)Vérification formelle et éthique dans les SMA., , und . JFSMA, Seite 139-148. Cépaduès Éditions, (2016)Modèles et méthodes pour la conception des mémoires d'entreprise: le système DOLMEN : une application en métallurgie. (Models and methods for corporate memories's design. DOLMEN: a system in metallurgy).. Henri Poincaré University, Nancy, France, (1997)Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees., und . AOSE, Volume 3950 von Lecture Notes in Computer Science, Seite 124-138. Springer, (2005)Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve., und . JFSMA, Seite 139-148. Cépaduès Éditions, (2017)