Stéphanie Roussel

---

Publications

Revues d'audience internationale avec comité de rédaction

• Daniel Le Berre, Stéphanie Roussel. Sat4j 2.3.2: on the fly solver configuration - System Description. In Journal on Satisfiability, Boolean Modeling and Computation, 2012 (to appear) pdf

Revues d'audience nationale avec comité de rédaction

• Christophe Garion, Stéphanie Roussel, and Laurence Cholvy. Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. In Revue RSTI - Revue d'Intelligence Artificielle, volume~24, pages 267--290. Lavoisier, 2010. pdf
• Stéphanie Roussel and Laurence Cholvy. A definition of agent-oriented relevance in modal logic. The Information - Interaction - Intelligence (I3) Journal, 9(2), 2009. pdf

Manifestations d'audience internationale avec comité de sélection

• Daniel Le Berre, Pierre Marquis and Stéphanie Roussel. Planning Personalised Museum Visits Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS’13), Roma, 2013 (to appear). pdf
• Stéphanie Roussel and Laurence Cholvy. A formal characterization of relevant information in multi-agent systems. In NATO/RTO Symposium, Information management - Exploitation, IST087, Stockholm, october 2009. pdf
• Stéphanie Roussel and Laurence Cholvy. Cooperative interpersonal communication and relevant information. In ESSLLI Workshop on Logical Methods for Social Concepts, Bordeaux, 2009. pdf
• Laurence Cholvy and Stéphanie Roussel. Artificial intelligence: Methodology, systems, and applications, 13th international conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. proceedings. In Danail Dochev, Marco Pistore, and Paolo Traverso, editors, AIMSA, volume 5253 of Lecture Notes in Computer Science. pages 22--31. Springer, 2008. pdf
• Laurence Cholvy and Stéphanie Roussel. Consistency and completeness of regulations. In Proceedings of the third International Workshop on Normative Multiagent Systems (NORMAS'08), pages 51--65, 2008. pdf
• Laurence Cholvy and Stéphanie Roussel. Reasoning with incomplete information exchange policies. In K.Mellouli, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU'07, number 4724 in Lecture Notes in Artificial Intelligence, pages 683--694. Springer-Verlag, 2007. pdf

Manifestations d'audience nationale avec comité de sélection

• Laurence Cholvy and Stéphanie Roussel. Raisonner avec une réglementation incomplète : cas des politiques d'échange d'informations. In Proceedings of Reconnaissance de Formes et Intelligence Artificielle - RFIA'08, Amiens, France. Janvier 2008. pdf
• Christophe Garion, Stéphanie Roussel, and Laurence Cholvy. Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. In Nicolas Maudet, Pierre-Yves Schobbens, and Marc Guyomard, editors, Actes des Cinquièmes Journées Francophones Modèles Formels de l'Interaction (MFI'09), pages 147--158, Lannion, 2009. Imprimerie de l'Université de Rennes I. pdf
• Stéphanie Roussel and Laurence Cholvy. Une définition en logique modale de la pertinence orientée-agent. In Nicolas Maudet, Pierre-Yves Schobbens, and Marc Guyomard, editors, Actes des Cinquièmes Journées Francophones Modèles Formels de l'Interaction (MFI'09), pages 279--287, Lannion, june 2009. Imprimerie de l'Université de Rennes I. pdf
• Laurence Cholvy and Stéphanie Roussel. Agents coopératifs et politiques d'échanges d'informations. Actes des Sixièmes Journées Francophones Modèles Formels de l'Interaction (MFI 2011), 2011. pdf

Articles courts acceptés dans des manifestations d'audience internationale avec comité de sélection

• Christophe Garion, Stéphanie Roussel, and Laurence Cholvy. How to complete regulations in multi-agent systems. In Proceedings of Intelligent Agent Technology (IAT), pages 285--288, 2009. pdf

Autres communications dans des manifestations d'audience nationale

• Laurence Cholvy and Stéphanie Roussel. Raisonner avec une politique d'échange d'information incomplètes. In Actes des Journées Nationales de L'IA Fondamentale - IAF'07, Grenoble, 2007.
• Stéphanie Roussel and Laurence Cholvy. Vers une pertinence orientée-agent des informations. In Actes des Journées Nationales de L'IA Fondamentale - IAF'08, Paris, 2008.

Manuscrit de thèse

• Stéphanie Roussel. Apports de la logique mathématique pour la modélisation de l'information échangée dans les systèmes multi-agents interactifs. Thèse délivrée par ISAE, déroulée à l'ONERA (DTIM), dirigée par Laurence Cholvy, financée par la DGA et soutenue le 18 octobre 2010. pdf