Filtrer vos résultats
- 19
- 15
- 22
- 7
- 2
- 1
- 1
- 1
- 1
- 1
- 32
- 4
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 2
- 2
- 1
- 2
- 4
- 3
- 1
- 3
- 19
- 15
- 31
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 34
- 26
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
34 résultats
|
|
triés par
|
Spécification de services : une approche avec BRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1998, 17 (9), pp.1157-1180
Article dans une revue
inria-00098448v1
|
|||
|
Towards a framework to deal with ethical conflicts in autonomous agents and multi - agent systemsCEPE 2014 Well-Being, Flourishing, and ICTs, Jun 2014, Paris, France. paper 8
Communication dans un congrès
emse-01059503v1
|
||
|
(R)évolutions de l'informatique dans le sup : orientation et pratiques pédagogiques !1024 : Bulletin de la Société Informatique de France, 2022, 20, pp.97-105. ⟨10.48556/SIF.1024.20.97⟩
Article dans une revue
hal-04199934v1
|
||
Autonomie et Dynamiques collectives dans les systèmes multi-agentsHermes, 2013
Ouvrages
hal-00956447v1
|
|||
|
How Variables Graphs May Help to Correct Erroneous MAS SpecificationsIntelligent Systems (Intellisys), Sep 2023, Amsterdam, France
Communication dans un congrès
hal-04199918v1
|
||
|
Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-AgentsJFSMA 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 SystemFrom Agent Theory to Agent Implementation (AT2AI-5), 2006, Vienne, Austria. pp.11-21
Communication dans un congrès
hal-00502139v1
|
|||
|
{GDT4MAS}: an extension of the GDT model to specify and to verify MultiAgent SystemsProc. 8th International Conference on Autonomous Agent and Multiagent Systems (AAMAS 2009), 2009, Hungary. pp.505-512
Communication dans un congrès
hal-00955906v1
|
||
Qualité de service dans une logique temporelle compositionnelleAutre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10006⟩
Thèse
tel-01747044v1
|
|||
Service specifications to B, or not to BSecond Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p
Communication dans un congrès
inria-00098409v1
|
|||
|
Specifying and Verifying Holonic Agents with GDT4MASInternational Journal of Agent Oriented Software Engineering, 2010, pp.281-303
Article dans une revue
hal-00955945v1
|
||
|
GDT4MAS : a formal model and language to specify and verify multiagent systemsVerification and validation of multi-agent models for complex systems, 2011, paris, France
Communication dans un congrès
hal-00955956v1
|
||
|
GDT4MAS: a formal model and language to specify and verify agent-based complex systemsStudia Informatica Universalis, 2012, 10, pp.5-32
Article dans une revue
hal-00956412v1
|
||
|
A new proof system to verify GDT agentsInternational 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
|
||
|
Specifying recursive agents with GDTsJournal 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 ObjectsKnowledge 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
|
|||
|
Side effects of agents are not just RandomEngineering Multi Agent Systems (EMAS 2014), May 2014, France. pp.253--271
Communication dans un congrès
hal-00994855v1
|
||
|
Dealing with ethical conflicts in autonomous agents and multi-agent systems1st 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
|
||
Systèmes Multi-Agents: Ouverture, Autonomie, et Co-évolution - JFSMA 12 - Vingtièmes journées francophones sur les systèmes multi-agents.Cepadues Editions, 2012, 978-2-36493-037-7
Ouvrages
hal-00956433v1
|
|||
Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuveJournées Francophones sur les Systèmes Multi-Agents (JFSMA 2017), Jul 2017, Caen, France
Communication dans un congrès
hal-01566956v1
|
|||
Éthique et agents autonomes[Rapport de recherche] Dépt. Droit, Economie, Finances (Institut Mines-Télécom Business School (Institut Mines-Télécom)); Institut Interdisciplinaire d’Anthropologie du Contemporain (UMR8177 - CNRS EHESS); École des Mines de Saint-Étienne (Institut Mines-Télécom); Laboratoire Informatique Paris VI (Université Pierre et Marie Curie - Paris VI); The French Aerospace Lab [Palaiseau] - Office National d'Etudes et de Recherches Aérospatiales (Ministère de la Défense, France); Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (ENSICAEN - CNRS : UMR6072 - Université de Caen Basse-Normandie ); Systèmes réseaux, cybersécurité et droit du numérique (IMT Atlantique – dept. SRCD Cesson-Sévigné, France); Dépt. Systèmes d'Information (Institut Mines-Télécom Business School (Institut Mines-Télécom)). 2018, pp.49
Rapport
hal-02333885v1
|
|||
Specifying Properties of MAS: Towards " on the fly " Debugging ArchitectureFirst 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 study5th International Workshop on Programing Multi-Agent Systems (ProMAS 2007), 2007, pp.15
Article dans une revue
hal-00172791v1
|
|||
|
Spécifier des agents composés d'agents avec les GDTsActes 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 automatesReconnaissance des Formes et Intelligence Artificielle, 2006, TOURS, France. pp.9 P
Communication dans un congrès
hal-00476403v1
|
|||
|
Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems10th 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 dynamiqueEGC'07, 7ème conférence francophone "Extraction et Gestion des Connaissances, 2007, Namur, Belgique. pp.199-200
Communication dans un congrès
hal-00502128v1
|
|||
|
Using proof failures to help debugging MASInternational Conference on Agents and Artificial Intelligence, Feb 2019, Prague, France. pp.523-530
Communication dans un congrès
hal-02106895v1
|
||
|
Vérification formelle du respect de valeurs morales dans les SMARevue 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
|
||
|
Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDTJournées Francophones sur les Systèmes Multi-Agents, Jul 2023, Strasboug, France
Communication dans un congrès
hal-04517344v1
|
- 1
- 2