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