Publications de
Andreas Herzig, Jérôme Lang, Pierre Marquis
Propositional update operators based on formula/literal dependence
Dans : ACM Transactions on Computational Logic (TOCL), ACM Digital Library, Vol. 14 N. 3, p. 24, août 2013.
Résumé Accès : http://dblp.uni-trier.de/db/journals/tocl/tocl14.html#HerzigLM13 – https://oatao.univ-toulouse.fr/12416/
BibTeXHans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
Dans : Synthese, Springer, Vol. 169 N. 2, p. 405-423, juillet 2009.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_forget.html
BibTeXOn propositional definability
Dans : Artificial Intelligence, Elsevier, Vol. 172 N. 8-9, p. 991-1017, 2008.
Philippe Besnard, Sébastien Konieczny, Pierre Marquis
Bipolarity in Bilattice Logics
Dans : International Journal of Intelligent Systems, Wiley, Numéro spécial Special Issue: Bipolar Representations of Information and Preference. Part 2: Reasoning and Learning, Vol. 23 N. 10, p. 1046-1061, octobre 2008.
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
On the merging of Dung’s argumentation systems
Dans : Artificial Intelligence, Elsevier, Numéro spécial Argumentation in Artificial Intelligence, Vol. 171 N. 10-15, p. 730-753, octobre 2007.
Accès : http://dx.doi.org/10.1016/j.artint.2007.04.012
BibTeXSébastien Konieczny, Jérôme Lang, Pierre Marquis
DA2 merging operators
Dans : Artificial Intelligence, Elsevier, Vol. 157 N. 1-2, p. 49-79, 2004.
Résumé Accès : http://www.irit.fr/publis/ADRIA/KoniecznyLangMarquis.pdf
BibTeXJérôme Lang, Paolo Liberatore, Pierre Marquis
Propositional Independence – Formula-Variable Independence and Forgetting
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 18, p. 391-443, 2003.
Résumé Accès : http://www.irit.fr/publis/ADRIA/LangLiberatorMarquis.pdf
BibTeXJérôme Lang, Paolo Liberatore, Pierre Marquis
Conditional Independence in Propositional Logic
Dans : Artificial Intelligence, Elsevier, Vol. 141, p. 1-2, 2002.
Résumé Accès : http://www.irit.fr/publis/ADRIA/LangLibertadoreMarquis02.pdf
BibTeXJérôme Amilhastre, Hélène Fargier, Pierre Marquis
Consistency restoration and explanations in dynamic CSPs-Application to configuration
Dans : Artificial Intelligence, Elsevier, Vol. 135 N. 1-2, p. 199-234, février 2002.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/AmilastreFargierMarquisAIJ.pdf
BibTeX
Hélène Fargier, Pierre Marquis, Alexandre Niveau
Vers une carte de compilation pour des langages de représentation hétérogènes (regular paper)
Dans : Journées françaises d’intelligence artificielle fondamentale, Aix en Provence, 14/06/13-16/06/13, LSIS – Université d’Aix-Marseille, p. 57-67, juin 2013.
Hélène Fargier, Pierre Marquis, Nicolas Schmidt
Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2013), Aix en Provence, 14/06/13-16/06/13, LSIS – Université d’Aix-Marseille, p. 123-132, juin 2013.
Hélène Fargier, Pierre Marquis
Towards a Knowledge Compilation Map for Heterogeneous Representation Language. (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, 03/08/13-09/08/13, Francesca Rossi (Eds.), AAAI Press, p. 877-883, 2013.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/ijcai13FMN.pdf – https://oatao.univ-toulouse.fr/12764/
BibTeXHélène Fargier, Pierre Marquis, Nicolas Schmidt
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, 03/08/13-09/08/13, AAAI Press, p. 884-890, août 2013.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/ijcai13FMS.pdf – https://oatao.univ-toulouse.fr/12763/
BibTeXMeghyn 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
BibTeXHélène Fargier, Pierre Marquis
Knowledge Compilation Properties of Trees-of-BDDs, Revisited (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, 11/07/09-17/07/09, International Joint Conference on Artificial Intelligence (IJCAI), p. 772-777, 2009.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/fargier-marquis-ijcai09.pdf
BibTeXHans Van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective forgetting
Dans : Advances in Artificial Intelligence (AI 2008), Auckland, 01/12/08-05/12/08, Wayne R. Wobcke , Mengjie Zhang (Eds.), Springer, LNAI 5360, p. 18-29, 2008.
Hélène Fargier, Pierre Marquis
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond
Dans : Conference on Artificial Intelligence (AAAI 2008), Chicago, 13/07/08-17/07/08, AAAI Press, p. 442-447, juillet 2008.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/fargier-marquis-aaai08.pdf
BibTeXHélène Fargier, Pierre Marquis
Extending the Knowledge Compilation Map: Closure Principles
Dans : European Conference on Artificial Intelligence (ECAI 2008), Patras, 21/07/08-25/07/08, IOS Press, p. 50-54, juillet 2008.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/fargier-marquis-ecai08.pdf
BibTeXHélène Fargier, Pierre Marquis
On valued negation normal form formulas
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, 06/01/07-12/01/07, International Joint Conference on Artificial Intelligence (IJCAI), p. 360-365, janvier 2007.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/IJCAI07.pdf
BibTeXHélène Fargier, Pierre Marquis
On the use of partially ordered decision diagrams for knowledge compilation and quantified boolean formulae
Dans : Conference on Artificial Intelligence (AAAI 2006), Boston, 16/07/06-20/07/06, AAAI Press, p. 42-47, juillet 2006.
Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Pierre Marquis
Representing Policies for Quantified Boolean Formulae
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District (UK), 02/06/06-05/06/06, AAAI Press, p. 286-297, 2006.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/KR0603SCoste.pdf
BibTeXPhilippe Besnard, Jérôme Lang, Pierre Marquis
Variable Forgetting in Preference Relations over Propositional Domains
Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 29/08/06-01/09/06, G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.), IOS Press, p. 763-764, 2006.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
Reasoning under inconsistency: forgotten connective
Dans : Proc. of the 9th International Joint Conference on Artificiel Intelligence (IJCAI’05), Edinburgh, Scotland, 31/07/05-05/08/05, Gallus, p. 484-489, juillet 2005.
Philippe Besnard, Jérôme Lang, Pierre Marquis
Variable forgetting in preference relations over propositional domains
Dans : Proc. of Multidisciplinary IJCAI’05 Workshop on Advances in Preference Handling, Edinburg, Scotland, 31/07/05-01/08/05.
Andreas Herzig, Jérôme Lang, Pierre Marquis
Action progression and revision in multiagent belief structures
Dans : The Sixth Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005), Edinburgh, 01/08/05.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Nrac05.html
BibTeXSylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
Merging Argumentation systems (regular paper)
Dans : American Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 09/07/05-13/07/05, AAAI Press, p. 614-619, juillet 2005.
Accès : http://www.aaai.org/Library/AAAI/2005/aaai05-096.php
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis
Revision and update in multiagent belief structures
Dans : 5th Conf. on Logic and the Foundations of Game and Decision Theory (LOFT6), Leipzig (Germany), 16/07/04-18/07/04.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Loft04.html
BibTeXSylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis
Expressive power and succinctness of propositional languagesfor preference representation
Dans : Proc. of the 9th International Conference on Principles of Knowledge Representation ans Reasonning (KR’04), Whistler, BC, Canada, 02/06/04-05/06/04, D. Dubois, C. Welty, M-A Williams (Eds.), AAAI Press, p. 203-212, juin 2004.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
Raisonnement en présence d’incohérence : le connecteur oublié
Dans : Actes du 14ème Congrès « Reconnaissance des Formes et Intelligence Artificielle » (RFIA’04), Toulouse, France, 28/01/04-30/01/04, ., p. 1091-1100, janvier 2004.
Jérôme Lang, Fangzhen Lin, Pierre Marquis
Causal theories of action:A computational core
Dans : Proc. of the 18th International Joint Conference on Artificial Intelligence, IJCAI-03, Acapulco, Mexico, 09/08/03-15/08/03, Morgan Kaufman, p. 1073-1078, août 2003.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
Quantifying information and contradiction in propositional logi
Dans : Proc. of the 18th International Joint Conference on Artificial Intelligence, IJCAI-03, Acapulco, Mexico, 09/08/03-15/08/03, Morgan Kaufman, p. 106-111, août 2003.
Andreas Herzig, Jérôme Lang, Pierre Marquis
Action representation and partially observable planning using epistemic logic
Dans : Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI-03), Acapulco, 12/08/03-15/08/03, Morgan Kaufman, p. 1067-1072, août 2003.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/ijcai03.html
BibTeXResolving inconsistencies by variable forgetting
Dans : Proc.of the 8th International Conference, Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, 22/04/02-25/04/02, Morgan Kaufmann Publishers, San Francisco, France, p. 239-250, avril 2002.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
Distance-based merging: A general framework and some complexity results
Dans : Proc. of the 8th International Conference, Principles of Knowledge Representation and Reasoning(KR2002), Toulouse-France, 22/04/02-25/04/02, Morgan Kaufmann Publishers, San Francisco, California, p. 97-108, avril 2002.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
Fusion de bases de croyances à partir de distances : modèle général et complexité algorithmique
Dans : 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France , 08/01/02-10/01/02, Le Comité d’Organisation, p. 695-704, janvier 2002.
Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis, Sylvie Coste-Marquis
Résolution de formules booléennes quantifiées : problèmes et algorithmes
Dans : Actes du 13ème Congrès Francophone de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, AFRIF-AFIA, Charvet Imprimeur, p. 289-298, janvier 2002.
Jérôme Lang, Pierre Marquis, Mary-Anne Williams
Updating eptistemic states
Dans : Proc.of the 14th Australian Joint Conference on Artificial Intelligence Ai 2001: Advances in Artificial Intelligence, Adelaide – Australia, 10/12/01-14/12/01, Springer, p. 297-308, décembre 2001.
Andreas Herzig, Jérôme Lang, Pierre Marquis
Planning as abduction
Dans : IJCAI’01 Workshop on Planning under Uncertainty, Seattle, 01/01/01-05/01/01.
Accès : http://www.irit.fr/~Andreas.Herzig/P/WsIjcai01.html
BibTeXAndreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
Updates, actions, and planning (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI ), Seattle, Morgan Kaufmann Publishers, p. 119-124, août 2001.
Accès : http://www.irit.fr/~Andreas.Herzig/P/ijcai01.html
BibTeXJérôme Amilhastre, Hélène Fargier, Pierre Marquis
Consistency restoration and explanations in dynamic CSP- application to configuration
Dans : In Notes of the ECAI-2000 Workshop on modelling and solving problems with constraints, Berlin, Allemagne, 22/08/00.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/WSECAI00.ps.gz
BibTeXHélène Fargier, Jérôme Amilhastre, Pierre Marquis
Explications et aide à la restauration de la cohérence dans les CSP interactifs : application à la configuration
Dans : Actes des 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets (J.N.P.C’00), Marseille, 28/06/00-30/06/00, Laboratoire d’Informatique de Marseille-LIM à l’initiative du Groupe Algorithmes du GDR I3, p. 43-56, juin 2000.
Hélène Fargier, Jérôme Lang, Pierre Marquis
Propositional logic and one-stage decision making
Dans : Proceedings of the Seventh International ConferenceKR2000, Breckenridge, Colorado (USA), 11/04/00-15/04/00, Morgan Kaufmann, p. 445-456, avril 2000.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/kr00.ps
BibTeXIn search of the right extension
Dans : Proceedings of the Seventh International ConferenceKR2000, Breckenridge, Colorado (USA), 11/04/00-15/04/00, Anthony G. CohnFausto GiunchigliaBart Salman, p. 625-636, avril 2000.
Boutons les incohérences hors de nos bases de connaissances
Dans : 12e Congrès Francophone AFRIF-AFIA/RFIA’2000, Paris (Salons de l’Aveyron), 01/02/00-03/02/00, Département Traitement du Signal et des Images de Télécom.Paris – CNRS URA 280, 46, rue Barrault 7534 Paris Ier, p. 185-194, février 2000.
Hélène Fargier, Jérôme Lang, Pierre Marquis
Décision en environnement partiellement observable et résolution de formules booléennes quantifiées
Dans : Actes des ièmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, Lyon, 02/06/99-04/06/99.
Complexity results for independence and definability in propositional logic
Dans : 6th Int. Conf. Principles of Knowledge Representation and Reasoning, Trento, Italy, Morgan Kaufmann, San Francisco, CA, p. 356-367, juin 1998.
Salem Benferhat, Philippe Besnard, Laurence Cholvy, Robert Demolombe, Didier Dubois, Olivier Gasquet, Jean-Louis Golmard, Andreas Herzig, Pierre Marquis, Yves Moinard, Henri Prade, Camilla Schwind
Lois, structures et dépendances
Dans : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, p. 145-160, mars 1997.
Florence Sèdes, Pierre Marquis, Jean-Marc Ogier
Le point sur le i(3) , Cépaduès Editions, Vol. ISBN 978.2.36493.009.4, mai 2012.