Publications de
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping (short paper)
Dans : European Conference on Artificial Intelligence (ECAI 2016), The Hague, NL, 29/08/16-02/09/16, IOS Press, p. 1563-1564, 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/17046/
BibTeXMartin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multi-agent epistemic planning (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2016), The Hague, NL, 29/08/16-02/09/16, IOS Press, p. 193-201, août 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/17045/
BibTeXAndreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Epistemic boolean games based on a logic of visibility and control (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, 09/07/16-15/07/16, Subbarao Kambhampati (Eds.), AAAI Press, p. 1116-1122, juillet 2016.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ijcai16.html – https://oatao.univ-toulouse.fr/16978/
BibTeXTristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Building epistemic logic from observations and public announcements (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Capetown, 25/04/16-29/04/16, AAAI Press, p. 268-277, 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Kr16.pdf – https://oatao.univ-toulouse.fr/16903/
BibTeXMartin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multiagent epistemic planning (regular paper)
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2015), Rennes, 01/05/15-03/07/15, Frédéric Maris (Eds.), AFIA : Association Francaise d’Intelligence Artificielle, (en ligne), juillet 2015.
Résumé Accès : http://pfia2015.inria.fr/actes/index.php?procpage=jfpda – https://oatao.univ-toulouse.fr/15451/
BibTeXAndreas Herzig, Faustine Maffre
How to share knowledge by gossiping (regular paper)
Dans : International Conference on Agreement Technologies, Athens, 17/12/15-18/12/15, Vicente J. Julian Inglada, George Vouros (Eds.), Springer-Verlag, LNAI 9571, p. 249-263, décembre 2015.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/16867/
BibTeXAndreas Herzig, Emiliano Lorini, Faustine Maffre
A poor man’s epistemic logic based on propositional assignment and higher-order observation (regular paper)
Dans : International Conference on Logic, Rationality and Interaction (LORI 2015), Taipei, 28/10/15-31/10/15, Springer, LNCS 9394, p. 156-168, octobre 2015.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Lori15.html – https://oatao.univ-toulouse.fr/16855/
BibTeXAndreas Herzig, Emiliano Lorini, Faustine Maffre
Une logique épistémique modeste basée sur les observations d’ordre supérieur
Dans : Actes des 9es Journées d’Intelligence Artificielle Fondamentale (IAF 2015), Rennes, 29/07/15-31/07/15.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Iaf15.pdf
BibTeXAndreas Herzig, Emiliano Lorini, Faustine Maffre, Dirk Walther
Alternating-time Temporal Logic with Explicit Programs
Dans : LAMAS 2014, Paris, 05/05/14, Nils Bulling, Wiebe van der Hoek (Eds.).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Lamas14.html
BibTeX
Ignorance is bliss: observability-based dynamic epistemic logics and their applications
Thèse de doctorat, Université de Toulouse, septembre 2016.
Accès : https://www.irit.fr/~Andreas.Herzig/P/theseMaffre16.pdf
BibTeX