Publications de
Meghyn Bienvenu, Hélène Fargier, Pierre Marquis
Knowledge Compilation in the Modal Logic S5 (regular paper)
Dans : Conference on Artificial Intelligence (AAAI 2010), Atlanta, Georgia, USA, 11/07/10-15/07/10, AAAI Press, p. 261-266, juillet 2010.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/aaai10.pdf
BibTeXMeghyn Bienvenu, Andreas Herzig, Guilin Qi
Prime implicate-based belief revision operators
Dans : European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21/07/08-25/07/08, Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (Eds.), IOS Press, p. 741-742, juillet 2008.
Accès : http://www.irit.fr/recherches/LILAC/Pers/Bienvenu/papers/BieHerQi_ECAI08.pdf
BibTeXComplexity of Abduction in the EL Family of Lightweight Description Logics
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, 16/09/08-19/09/08, Gerhard Brewka, Jérôme Lang (Eds.), AAAI Press, p. 220-230, 2008.
Jorge Baier, Christian Fritz, Meghyn Bienvenu, Sheila Mcilraith
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners
Dans : Conference on Artificial Intelligence (AAAI 2008), Chicago, 13/07/08-17/07/08, Dieter Fox, Carla Gomes (Eds.), AAAI Press, p. 1509-1512, 2008.
Prime Implicate Normal Form for ALC Concepts
Dans : Conference on Artificial Intelligence (AAAI 2008), Chicago, 13/07/08-17/07/08, Dieter Fox, Carla Gomes (Eds.), AAAI Press, p. 412-417, 2008.
Prime Implicates and Prime Implicants in Modal Logic
Dans : Conference on Artificial Intelligence (AAAI 2007), Vancouver, 22/07/07-26/07/07, Robert C. Holte, Adele Howe (Eds.), AAAI Press, p. 379-384, 2007.
Résumé Accès : http://www.irit.fr/~Meghyn.Bienvenu/publications_english.html
BibTeXMeghyn Bienvenu, Christian Fritz, Sheila Mcilraith
Planning with Qualitative Temporal Preferences
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Windermere, UK, 02/06/06-05/06/06, Patrick Doherty, John Mylopoulos, Christopher A. Welty (Eds.), AAAI Press, p. 134-144, juin 2006.
Consequence Finding in Modal Logic
Thèse de doctorat, Université de Toulouse, mai 2009.
Accès : http://www.irit.fr/publis/LILAC/Bienvenu09_Phd.pdf
BibTeX