( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A New Model Checking Approach for Verifying Agent Communication Protocols.

, , и . CCECE, стр. 1586-1590. IEEE, (2006)

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.

Marian Moulin

Guilhem Moulin

Christophe Moulin

Alexander Moulin

Norbert Moulin

 

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

Revisiting the Concept of Geospatial Data Interoperability within the Scope of Human Communication Processes., , , и . T. GIS, 7 (2): 243-265 (2003)Une approche par compétition d'agents pour la résolution de l'encombrement spatial lors de la génération automatique des cartes Nafaâ Jabeur*., , и . Technique et Science Informatiques, 22 (4): 162-173 (2003)Sesei: A CG-Based Filter for Internet Search Engines, , и . Conceptual Structures for Knowledge Creation and Communication (Proceedings ICCS 2003), том 2746 из LNAI, Springer-Verlag, Berlin Heidelberg, (2003)Strategic Planning for Expert Systems.. IEEE Expert, 5 (2): 69-75 (1990)The Actem Model for Decision Modelling in a Scene Management System.. IEA/AIE (Vol. 2), стр. 965-974. ACM, (1988)Surface-marker-based dialog modelling: A progress report on the MAREDI project., , и . Nat. Lang. Eng., 9 (4): 325-363 (2003)Using Multi-agent Geo-simulation Techniques for the Detection of Risky Areas for Trains., , , и . Simul., 86 (12): 763-775 (2010)An overview of software agent-oriented frameworks., и . ACM Comput. Surv., 32 (1es): 19 (2000)Interoperability of Distributed and Heterogeneous Systems Based on Software Agent-Oriented Frameworks., и . CIA, том 1202 из Lecture Notes in Computer Science, стр. 248-259. Springer, (1997)Using World Structures for Factoring Knowledge., и . Workshop on Conceptual Graphs, том 754 из Lecture Notes in Computer Science, стр. 13-33. Springer, (1992)