Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

28 résultats
Page :
triés par
Image document

Towards a framework to deal with ethical conflicts in autonomous agents and multi - agent systems

 Aline Belloni , Alain Berger , Vincent Besson , Olivier Boissier , Grégory Bonnet , et al.
CEPE 2014 Well-Being, Flourishing, and ICTs, Jun 2014, Paris, France. paper 8
Communication dans un congrès emse-01059503v1

Specifying Properties of MAS: Towards " on the fly " Debugging Architecture

 Denis Méron , Bruno Mermet , Gaële Simon , Sylvain Sauvage
First International Workshop on Safety and Security in Multiagent Systems (Sasamas'04, AAMAS'04), 2004, United States
Communication dans un congrès hal-00256160v1

Specifying, Verifying and Implementing a MAS : A Case study

 Bruno Mermet , Gaële Simon , Arnaud Saval , Bruno Zanuttini
5th International Workshop on Programing Multi-Agent Systems (ProMAS 2007), 2007, pp.15
Article dans une revue hal-00172791v1

Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve

 Bruno Mermet , Gaële Simon
Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2017), Jul 2017, Caen, France
Communication dans un congrès hal-01566956v1
Image document

How Variables Graphs May Help to Correct Erroneous MAS Specifications

 Bruno Mermet , Gaële Simon
Intelligent Systems (Intellisys), Sep 2023, Amsterdam, France
Communication dans un congrès hal-04199918v1
Image document

Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-Agents

 B Mermet , Gaële Simon
JFSMA 2022: 30èmes Journées Francophones sur les Systèmes Multi-Agents, Jun 2022, Saint-Etienne, France. Cépaduès, 2022, JFSMA 2022. SMA et Smart Cities
Poster de conférence hal-03788977v1

An agent Compositional Proof System

 Bruno Mermet , Dominique Fournier , Gaële Simon
From Agent Theory to Agent Implementation (AT2AI-5), 2006, Vienne, Austria. pp.11-21
Communication dans un congrès hal-00502139v1
Image document

{GDT4MAS}: an extension of the GDT model to specify and to verify MultiAgent Systems

 Bruno Mermet , Gaële Simon
Proc. 8th International Conference on Autonomous Agent and Multiagent Systems (AAMAS 2009), 2009, Hungary. pp.505-512
Communication dans un congrès hal-00955906v1
Image document

Specifying recursive agents with GDTs

 Bruno Mermet , Gaële Simon
Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2011, 23 (2), pp.273-301
Article dans une revue hal-00955953v1

A Dynamic Clustering Algorithm for Mobile Objects

 Dominique Fournier , Gaële Simon , Bruno Mermet
Knowledge Discovery in Databases: PKDD 2007, 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, 2007, Poland. pp.422-429
Communication dans un congrès hal-00502114v1
Image document

Side effects of agents are not just Random

 Bruno Mermet , Gaële Simon
Engineering Multi Agent Systems (EMAS 2014), May 2014, France. pp.253--271
Communication dans un congrès hal-00994855v1
Image document

Dealing with ethical conflicts in autonomous agents and multi-agent systems

 Aline Belloni , Alain Berger , Olivier Boissier , Grégory Bonnet , Gauvain Bourgne , et al.
1st International Workshop on Artificial Intelligence and Ethics at the 29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, United States
Communication dans un congrès emse-01099705v1
Image document

Formal Verication of Ethical Properties in Multiagent Systems

 Bruno Mermet , Gaële Simon
1st Workshop on Ethics in the Design of Intelligent Agents, Aug 2016, La Haye, Netherlands
Communication dans un congrès hal-01708133v1

Goal Decomposition Tree: An Agent Model To Generate A Validated Agent Behaviour

 Gaële Simon , Bruno Mermet , Dominique Fournier
Declarative Agent Languages and Technologies, 2005, Netherlands. pp.124-140
Communication dans un congrès hal-00502121v1

Un algorithme multi-agents de clustering dynamique pour des données mobiles

 Gaële Simon , Dominique Fournier , Bruno Mermet
Atelier Flux de Données, EGC'07, 7ème conférence francophone "Extraction et Gestion des Connaissances, 2007, Namur, Belgique
Communication dans un congrès hal-00502140v1
Image document

Les effets de bord des agents ne sont pas que le fruit du hasard

 Bruno Mermet , Gaële Simon
Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, CAEN CEDEX 5, France. pp.6
Communication dans un congrès hal-00989234v1

Specifying, Implementing Validated Agent Behaviors with Automata Based On Goal-Decomposition Trees

 Gaële Simon , Marianne de Boysson Flouret
J-P. Müller and F. Zambonelli. Agent-Oriented Software Engineering VI, Springer Berlin / Heidelberg, pp.124-138, 2006, Lecture Notes in Computer Science, ⟨10.1007/11752660_10⟩
Chapitre d'ouvrage istex hal-00476396v1
Image document

Specifying and Verifying Holonic Agents with GDT4MAS

 Bruno Mermet , Gaële Simon
International Journal of Agent Oriented Software Engineering, 2010, pp.281-303
Article dans une revue hal-00955945v1
Image document

GDT4MAS : a formal model and language to specify and verify multiagent systems

 Bruno Mermet , Gaële Simon
Verification and validation of multi-agent models for complex systems, 2011, paris, France
Communication dans un congrès hal-00955956v1
Image document

GDT4MAS: a formal model and language to specify and verify agent-based complex systems

 Bruno Mermet , Gaële Simon
Studia Informatica Universalis, 2012, 10, pp.5-32
Article dans une revue hal-00956412v1
Image document

A new proof system to verify GDT agents

 Bruno Mermet , Gaële Simon
International Symposium on Intelligent Distributed Computing, Sep 2013, prague, Czech Republic. pp.181-187, ⟨10.1007/978-3-319-01571-2_22⟩
Communication dans un congrès hal-00956442v1

Modèles et méthodes pour la conception des mémoires d'entreprise : le système DOLMEN : une application en métallurgie

 Gaële Simon
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10142⟩
Thèse tel-01747318v1
Image document

Spécifier des agents composés d'agents avec les GDTs

 Gaële Simon , Bruno Mermet
Actes des 17es Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009), 2009, France
Communication dans un congrès hal-00955934v1

Implanter des comportements d'agents prouvés via des automates

 Marianne de Boysson Flouret , Gaële Simon , Bruno Mermet
Reconnaissance des Formes et Intelligence Artificielle, 2006, TOURS, France. pp.9 P
Communication dans un congrès hal-00476403v1
Image document

Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems

 Bruno Mermet , Gaële Simon
10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015), Jul 2015, Colmar, France. ⟨10.5220/0005556904070412⟩
Communication dans un congrès hal-01191767v1

Vers un algorithme multi-agents de clustering dynamique

 Gaële Simon , Dominique Fournier , Bruno Mermet
EGC'07, 7ème conférence francophone "Extraction et Gestion des Connaissances, 2007, Namur, Belgique. pp.199-200
Communication dans un congrès hal-00502128v1
Image document

Using proof failures to help debugging MAS

 Bruno Mermet , Gaële Simon
International Conference on Agents and Artificial Intelligence, Feb 2019, Prague, France. pp.523-530
Communication dans un congrès hal-02106895v1
Image document

Vérification formelle du respect de valeurs morales dans les SMA

 Grégory Bonnet , Bruno Mermet , Gaële Simon
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2017, 31 (4), pp.449-470. ⟨10.3166/ria.31.449-470⟩
Article dans une revue hal-01705240v1
Page :