Filtrer vos résultats
- 25
- 2
- 16
- 7
- 4
- 27
- 1
- 2
- 5
- 4
- 5
- 2
- 2
- 1
- 2
- 2
- 1
- 26
- 1
- 20
- 6
- 2
- 1
- 1
- 27
- 7
- 6
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
27 résultats
|
|
|
triés par
|
Vers une spécification formelle des protocoles d'interaction des systèmes multi-agents6e Conférence Francophone de MOdélisation et SIMulation (MOSIM'06), 2006, Rabat, Morocco
Communication dans un congrès
hal-00194193v1
|
|||
From roles to agents : Considerations on formal agent modeling and implementationIntelligent Knowledge Based Systems : Business and Technology in the New Millennium, volume 3, chapter 5, Kluwer academic publishers, 2004
Chapitre d'ouvrage
hal-00201530v1
|
|||
Social choice axioms for fuzzy set aggregationFuzzy Sets and Systems, 1991, 43 (3, special issue : Aggregation and Best Choices of Imprecise Opinions), pp.1--18. ⟨10.1016/0165-0114(91)90254-N⟩
Article dans une revue
istex
hal-04221071v1
|
|||
Graphically Designing and Formally Checking Self-Organizations for Wireless Networks SystemsInternational Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS'2006), 2006, Erfurt, Germany
Communication dans un congrès
hal-00194175v1
|
|||
State controlled execution for agent-object hybrid languagesThird IEEE International Symposium on Advanced Distributed Systems (ISADS-2004), 2004, France. pp.79-82
Communication dans un congrès
hal-00201519v1
|
|||
A visual tool for the modeling of auml specificationsSymposium on Professional Practice in AI, 2004, Toulouse, France
Communication dans un congrès
hal-00201516v1
|
|||
Engineering interaction protocols for multiagent systemsIntelligent Knowledge-Based Systems : Business and Technology in the New Millennium - volume 4 - chapter 9, Kluwer Academic Publishers, 2004
Chapitre d'ouvrage
hal-00201559v1
|
|||
Thoughts on an agent oriented language centered on interaction modelingISSADS 2002, 2002, Guadalajara, Mexico
Communication dans un congrès
hal-00201569v1
|
|||
|
|
MASK : An AEIO Toolbox to Design and Build Multi-Agent SystemsKnowledge Engineering and Agent Technology, IOS, 2004
Chapitre d'ouvrage
hal-02189977v1
|
||
Une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agentsRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (8), pp.33-52
Article dans une revue
hal-00382562v1
|
|||
Modeling interaction strategies using POS: An application to soccer robotsApplied Intelligence, 2006, pp.7-21
Article dans une revue
hal-00194176v1
|
|||
Interaction protocol engineeringM.P. Huget. Communication in Multiagent Systems - Agent Communication Languages and Conversation Policies - Lecture Notes in Computer Science - State of the Art Survey 2560, Springer-Verlag, pp.179-193, 2003
Chapitre d'ouvrage
hal-00201565v1
|
|||
Rules for Translating Interaction Protocols into a B Formal Representation2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), Sep 2005, Compiègne, France. pp.495-498
Communication dans un congrès
hal-00189034v1
|
|||
Handling fuzzy priority rules in a jobshop-scheduling system3rd International Fuzzy Systems Association congress Congress (IFSA 1989), IFSA: International Fuzzy Systems Association, Aug 1989, Seattle, United States
Communication dans un congrès
hal-04227386v1
|
|||
Social choice theory for reaching consensus among agentsWorkshop on Decision Theory for DAI Applications @ ECAI 1994 : 11th European Conference on Artificial Intelligence, Aug 1994, Amsterdam, Netherlands. pp.30--40
Communication dans un congrès
hal-04221058v1
|
|||
|
|
Formalization and Pre-Validation for Interaction Protocols in Multiagent Systems13th European Conference on Artificial Intelligence (ECAI'98), Aug 1998, Brighton, United Kingdom
Communication dans un congrès
hal-02189973v1
|
||
Obligations as constrainers, descriptors and linkers of open system of systemsFourth International Conference on System of Systems Engineering, 2009, Albuquerque, New Mexico, United States
Communication dans un congrès
hal-00382565v1
|
|||
Limitations in AUML's roles specificationSecond International Conference on Intelligent Information Processing, 2005, Pekin, China. pp.79-82
Communication dans un congrès
hal-00189045v1
|
|||
A formal approach to model multiagent interactions using the B formal method.Fourth IEEE International Symposium on Advanced Distributed Systems (ISSADS-2005),, Jan 2005, Guadalajara, Mexico. pp.516-528
Communication dans un congrès
hal-00185511v1
|
|||
DEBORA: a decision engine based on rational aggregation2nd Annual Conference on AI, Simulation and Planning in High Autonomy Systems (AIHAS 1991), Apr 1991, Cocoa Beach, FL, United States. pp.68-77, ⟨10.1109/AIHAS.1991.138450⟩
Communication dans un congrès
hal-04221072v1
|
|||
A multi-formalism method for designing and validating intelligent agent-based systemsInternational Conference on Intelligent Information Technology (ICIIT-02), 2002, Pekin, China
Communication dans un congrès
hal-00201570v1
|
|||
A formal approach to model multiagent interactions using the B formal method. FFourth IEEE International Symposium on Advanced Distributed Systems (ISADS-2005),, Jan 2005, Guadalajara, Mexico. pp.516-528
Communication dans un congrès
hal-00189035v1
|
|||
From obligations to organizational structures in multi-agent systems11th Pacific RIM International Conference on Multi- Agents, 2008, Hanoi, Vietnam. pp.206-213
Communication dans un congrès
hal-00382568v1
|
|||
A decision engine based on rational aggregation of heuristic knowledgeDecision Support Systems, 1994, 11 (4), pp.337--361. ⟨10.1016/0167-9236(94)90080-9⟩
Article dans une revue
istex
hal-04221060v1
|
|||
Graphically Designing and Formally Checking Self-Organizations for Wireless Network Systems,International Transactions on Systems Science and Applications, 2006, 2 (3), pp.297-302
Article dans une revue
hal-00193486v1
|
|||
Formalization, implementation and validation of conversation policies using a protocol operational semanticsCognitive System Research, 2003, 4 (3), pp.223-242
Article dans une revue
hal-00201564v1
|
|||
Suitable Properties for Any Electronic Voting SystemArtificial Intelligence and Law, 2006, pp.251-260
Article dans une revue
hal-00194177v1
|