Troisièmes Journées Francophones
MODÈLES FORMELS de l'INTERACTION
25-27 mai 2005, Caen

PROGRAMME de MFI'05 (Version préliminaire)

Mercredi 25 mai 2005

"L'histoire du raffinement et de la stabilité stratégique des équilibres de Nash" Laraki, Rida

"Notion de capacité dans un contexte multi-agents : une modélisation dans le calcul des situations"
Cholvy, Laurence, Garion, Christophe et Saurel, Claire

"ECASL : A Model of Rational Agency for Communicating Agents"
Khan, Shakil M. et Lespérance, Yves

"Jeux booléens statiques et représentation compacte de préférences (rapport préliminaire)"
Bonzon, Elise, Lagasquie, Marie-Christine et Lang, Jérôme

"Un opérateur de préférence adapté aux agents dialoguant"
Meyer, Gautier, Louis, Vincent et Sansonnet, Jean-Paul

"Système tutoriel intelligent pour l'apprentissage de travail procédural et collaboratif"
Buche, Cédric, De Loor, Pierre et Querrec, Ronan

"Vers un dialogue collectif avec la machine"
Caelen, Jean et Nguyen, Ngoc-Hoa

"Programmer des agents assistants interopérables dans le web semantique"
Charif, Yasmine et Sabouret, Nicolas

"Symmetric Argumentation Frameworks"
Coste-Marquis, Sylvie, Devred, Caroline et Marquis, Pierre

"Apprentissage de la coordination multiagent : Q-learning par jeu adaptatif"
Gies, Olivier et Chaib-Draa, Brahim

"Coordination d'agents à l'aide d'un algorithme en-ligne pour les POMDPs"
Paquet, Sébastien, Tobin, Ludovic et Chaib-draa, Brahim

"Emotion et raisonnement" (à confirmer)

Jeudi 26 mai 2005

"The Role of Norms in Agent Communication" Dignum, Frank

"Constitution et développement d'une logique de modalités aléthiques, déontiques, dynamiques, et temporelles en vue de la formalisation du raisonnement sur les actions et sur les normes"
Balbiani, Philippe

"Formalisation de l'obligation de faire avec délais"
Demolombe, Robert, Bretier, Philippe et Louis, Vincent

"Modélisation logique de ce qu'il serait bon (ou mauvais)"
Longin, Dominique et Saban, Raphaël

"Vers un filtrage collaboratif distribué: le modèle RSB"
Castagnos, Sylvain, Boyer, Anne, et Charpillet, Francois

"Spécification formelle des composants d'interaction à base de roles: compatibilité et substitutabilité"
Hameurlain, Nabil

"Un modèle formel d'interactions intégrant l'écoute flottante pour les systèmes multi-agents"
Platon, Eric, Sabouret, Nicolas et Honiden, Shinichi

"Etude des processus interactifs de durée indefinie"
Nicolle, Anne

"Modélisation d'interactions par et avec des agents en personnalisation d'information"
Petit-Rozé, Christelle et Grislin-Le Strugeon, Emmanuelle

"Un cadre d'interaction fondé sur la Sociologie de l'Action Organisée"
Sibertin-Blanc, Christophe

"Echange d'information grace à des caractérisations sémantiques"
Ventresque, Anthony, Lamarre, Philippe et Cazalens, Sylvie

"Un cadre formel pour la recherche de consensus entre agents autonomes"
Amgoud, Leila, Belabbes, Sihem, et Prade, Henri

"Approche basée sur l'argumentation pour la génération de buts bipolaires"
Amgoud, Leila et Kaci, Souhila

"Logique vs. décision" (à confirmer)

Vendredi 27 mai 2005

"Specification and Verification of Multi-Agent Systems" Lomuscio, Alessio

"Utilité et conventions : les deux faces d'une même piece pour l'attribution d'intentions"
Bonnefon, Jean-François, Longin, Dominique, et Raufaste, Eric

"Vers une modélisation de l'intéressance"
Dessalles, Jean-Louis

"Un modèle cognitif de l'interaction pour agents logiciels"
Pauchet, Alexandre, Chaignaud, Nathalie et ElFallah Seghrouchni, Amal

"Un algorithme polynomial pour la résolution de MDP décentralisés"
Beynier, Aurelie et Mouaddib, Abdel-Illah

"Un modèle general et des résultats de complexité pour le partage de biens indivisibles"
Bouveret, Sylvain, Fargier, Hélène, Lang, Jérôme, et Lemaître, Michel

"Protocols for tractable resource allocation with k-additive utilities"
Chevaleyre, Yann, Endriss, Ulle et Maudet, Nicolas

"Automatic Composition of Web Services: A Conceptual Perspective" De Giacomo, Giuseppe