Andreas Herzig

291

Documents

Publications

	Qualitative uncertainty and dynamics of argumentation through dynamic logic Antonio Yuste-Ginel , Andreas Herzig Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩ Article dans une revue hal-03992651v1
	Preface (Special issue FolKS 2020) Andreas Herzig , Juha Kontinen Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩ Article dans une revue hal-03573573v1
	Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof) Joseph Boudou , Andreas Herzig , Nicolas Troquard Journal of Logical and Algebraic Methods in Programming, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩ Article dans une revue hal-03210604v1
	A Lightweight Epistemic Logic and its Application to Planning Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Elise Perrotin Artificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩ Article dans une revue hal-03147798v1
	True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic Situations Andreas Herzig , Elise Perrotin Filosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117 Article dans une revue hal-03011708v1
	Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach Esra Erdem , Andreas Herzig Electronic Proceedings in Theoretical Computer Science, 2020, Proceedings 36th International Conference on Logic Programming (Technical Communications), 325, pp.52-58. ⟨10.4204/EPTCS.325.11⟩ Article dans une revue hal-03012105v1
	Autoepistemic equilibrium logic and epistemic specifications Ezgi Iraz Su , Luis Fariñas del Cerro , Andreas Herzig Artificial Intelligence, 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩ Article dans une revue hal-02945872v1
	Frame-validity games and lower bounds on the complexity of modal axioms Philippe Balbiani , David Fernández Duque , Andreas Herzig , Petar Iliev Logic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩ Article dans une revue hal-02936458v1
	The epistemic gossip problem Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier Discrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩ Article dans une revue hal-02147986v1
	A Dynamic Logic Account of Active Integrity Constraints Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis Fundamenta Informaticae, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩ Article dans une revue hal-02891607v1
	Judgment aggregation in dynamic logic of propositional assignments Arianna Novaro , Umberto Grandi , Andreas Herzig Journal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩ Article dans une revue hal-02089335v2
	Dynamic epistemic logics: promises, problems, shortcomings, and perspectives Andreas Herzig Journal of Applied Non-Classical Logics, 2018, 27 (3-4), pp.328-341. ⟨10.1080/11663081.2017.1416036⟩ Article dans une revue hal-02124074v1
	A short biography of Luis Fariñas del Cerro Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce Journal of Applied Non-Classical Logics, 2017 Article dans une revue hal-01892914v1
	How to share knowledge by gossiping Andreas Herzig , Faustine Maffre AI Communications, 2017, 30 (1), pp.1-17. ⟨10.3233/AIC-170723⟩ Article dans une revue hal-03512916v1
	Planifier grâce au bavardage Andreas Herzig , Faustine Maffre Interstices, 2017 Article dans une revue hal-01616344v1
	BDI logics for BDI architectures: old problems, new perspectives Andreas Herzig , Emiliano Lorini , Laurent Perrussel , Zhanhao Xiao KI - Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩ Article dans une revue hal-01692711v1
	Relaxing Exclusive Control in Boolean Games Francesco Belardinelli , Umberto Grandi , Andreas Herzig , Dominique Longin , Emiliano Lorini Electronic Proceedings in Theoretical Computer Science, 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 251, pp.43-56. ⟨10.4204/EPTCS.251.4⟩ Article dans une revue hal-01625886v1
	Announcements to Attentive Agents Thomas Bolander , Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , Pere Pardo Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩ Article dans une revue hal-01585237v1
	Logics of knowledge and action: critical analysis and challenges Andreas Herzig Autonomous Agents and Multi-Agent Systems, 2015, 29 (5), pp.719-753. ⟨10.1007/s10458-014-9267-z⟩ Article dans une revue hal-01285093v1
	A formal account of dishonesty Chiaki Sakama , Martin Caminada , Andreas Herzig Logic Journal of the IGPL, 2014, 23 (2), pp.259-294. ⟨10.1093/jigpal/jzu043⟩ Article dans une revue hal-01387822v1
	Capturing equilibrium models in modal logic Luis Fariñas del Cerro , Andreas Herzig , Ezgi Iraz Su Journal of Applied Logic, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩ Article dans une revue hal-01127960v1
	Grounding power on actions and mental attitudes Emiliano Lorini , Nicolas Troquard , Andreas Herzig , Jan Broersen Logic Journal of the IGPL, 2013, Special issue of best papers of FAMAS 2007, 21 (3), pp.311-331. ⟨10.1093/jigpal/jzr039⟩ Article dans une revue hal-01153715v1
	Introduction to the special issue Giacomo Bonanno , Andreas Herzig , Wiebe van Der Hoek , Jérôme Lang International Journal of Game Theory, 2013, 42 (3), ⟨10.1007/s00182-013-0387-5⟩ Article dans une revue hal-01494297v1
	Propositional update operators based on formula/literal dependence Andreas Herzig , Jérôme Lang , Pierre Marquis ACM Transactions on Computational Logic, 2013, 14 (3), pp.1-31. ⟨10.1145/2499937.2499945⟩ Article dans une revue hal-01128955v1
	La logique modale des modèles d’équilibre Luis Fariñas del Cerro , Andreas Herzig Revue d'Intelligence Artificielle, 2012, 26 (1-2), pp.1-15. ⟨10.3166/ria.26.85-102⟩ Article dans une revue hal-03464940v1
	Public announcements, public assignments and the complexity of their logic Hans van Ditmarsch , Andreas Herzig , Tiago De Lima Journal of Applied Non-Classical Logics, 2012, 22 (3), pp.249-273. ⟨10.1080/11663081.2012.705964⟩ Article dans une revue hal-00868339v1
	Editorial Introduction: Logical Methods for Social Concepts Andreas Herzig , Emiliano Lorini Journal of Philosophical Logic, 2011, Special Issue on Logical Methods for Social Concepts (August 2011), 40 (4), pp.441-443. ⟨10.1007/s10992-011-9186-2⟩ Article dans une revue hal-03464954v1
	From situation calculus to dynamic epistemic logic Hans van Ditmarsch , Andreas Herzig , Tiago de Lima Journal of Logic and Computation, 2011, 21 (2), pp.179-204. ⟨10.1093/logcom/exq024⟩ Article dans une revue hal-00868361v1
	Foreword Giacomo Bonanno , Andreas Herzig , Wiebe van Der Hoek , Jérôme Lang Journal of Applied Non-Classical Logics, 2011, 21 (3-4), ⟨10.1080/11663081.2011.9736665⟩ Article dans une revue hal-01494282v1
	A dynamic logic of agency I: STIT, abilities and powers Andreas Herzig , Emiliano Lorini Journal of Logic, Language and Information, 2010, 19 (Article number: 89), pp.89-121. ⟨10.1007/s10849-009-9105-x⟩ Article dans une revue hal-03470305v1
	A logic of trust and reputation Andreas Herzig , Emiliano Lorini , Jomi F. Hübner , Laurent Vercouter Logic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩ Article dans une revue hal-03470303v1
	Tableaux for public announcement logics Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig , Tiago De Lima Journal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩ Article dans une revue hal-03470301v1
	The logic of acceptance: grounding institutions on agents' attitudes Emiliano Lorini , Dominique Longin , Benoit Gaudou , Andreas Herzig Journal of Logic and Computation, 2009, 19 (6), pp.901-940 Article dans une revue hal-01060135v1
	Introspective Forgetting Hans van Ditmarsch , Andreas Herzig , Jérôme Lang , Pierre Marquis Synthese, 2009, 169, pp.405-423. ⟨10.1007/s11229-009-9554-4⟩ Article dans une revue hal-00868609v1
	Computer-Mediated Trust in Self-Interested Expert Recommendations Jonathan Ben-Naim , Jean-François Bonnefon , Andreas Herzig , Sylvie Leblois , Emiliano Lorini AI & Society: Knowledge, Culture and Communication, 2009, 25 (4), pp.413-422. ⟨10.1007/s00146-010-0268-4⟩ Article dans une revue hal-03466389v1
	What groups do, can do, and know they can do: an analysis in normal modal logics Jan Broersen , Andreas Herzig , Nicolas Troquard Journal of Applied Non-Classical Logics, 2009, 19 (3), pp.261-289 Article dans une revue hal-03526728v1
	On the dynamics of institutional agreements (2009) Andreas Herzig , Tiago De Lima , Emiliano Lorini Synthese, 2009, 171 (2), pp.321--355. ⟨10.1007/s11229-009-9645-2⟩ Article dans une revue hal-03474458v1
	Global and local graph modifiers Guillaume Aucher , Philippe Balbiani , Luis Fariñas del Cerro , Andreas Herzig Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, ⟨10.1016/j.entcs.2009.02.042⟩ Article dans une revue inria-00556034v1
	A logical formalization of the OCC theory of emotions Carole Adam , Andreas Herzig , Dominique Longin Synthese, 2009, 168 (2), pp.201--248 Article dans une revue hal-03474451v1
	Alternative axiomatics and complexity of deliberative STIT theories Philippe Balbiani , Andreas Herzig , Nicolas Troquard Journal of Philosophical Logic, 2008, 37 (4), pp.387-406. ⟨10.1007/s10992-007-9078-7⟩ Article dans une revue hal-03526734v1
	A logic of intention and attempt Emiliano Lorini , Andreas Herzig Synthese, 2008, 163 (1), pp.45-77 Article dans une revue hal-03526735v1
	'Knowable' as 'known after an announcement' Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomohiro Hoshi The review of symbolic logic, 2008, 1 (3), pp.305--334. ⟨10.1017/S1755020308080210⟩ Article dans une revue hal-00800649v1
	Review of "Dynamic Epistemic Logic" : by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, “Dynamic Epistemic Logic”, Springer Verlag, Synthese Library 337, 2007 Andreas Herzig Studia Logica, 2008, 89, pp.439--443 Article dans une revue hal-03526742v1
	Arbitrary announcement logic (abstract) Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomoshiro Hoshi The Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438-439. ⟨10.2178/bsl/1231081377⟩ Article dans une revue hal-00747135v1
	PLEIAD, un agent émotionnel pour évaluer la typologie OCC Carole Adam , Andreas Herzig , Dominique Longin Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2007, 21 (5-6), pp.781-811 Article dans une revue hal-03516643v1
	Metatheory of actions: beyond consistency Andreas Herzig , Ivan Varzinczak Artificial Intelligence, 2007, 171 (16/17), pp.951-984. ⟨10.1016/j.artint.2007.04.013⟩ Article dans une revue hal-03516646v1
	Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency Jan Broersen , Andreas Herzig , Nicolas Troquard Journal of Logic and Computation, 2006, 16 (5), pp.559-578. ⟨10.1093/logcom/exl025⟩ Article dans une revue hal-03537173v1
	A Logical Framework for Grounding-based Dialogue Analysis Benoit Gaudou , Andreas Herzig , Dominique Longin Electronic Notes in Theoretical Computer Science, 2006, 157 (4), pp.117-137. ⟨10.1016/j.entcs.2006.02.016⟩ Article dans une revue hal-03535631v1
	Regression in Modal Logic Robert Demolombe , Andreas Herzig , Ivan Varzinczak Journal of Applied Non-Classical Logics, 2003, 13 (2), pp.165-185 Article dans une revue hal-03534099v1
	Formalisation pluridisciplinaire de l'inférence d'actes de langage non littéraux Maud Champagne , Andreas Herzig , Dominique Longin , Jean-Luc Nespoulous , Jacques Virbel Revue I3 - Information Interaction Intelligence, 2002, Hors-série, pp.197-225 Article dans une revue hal-03534108v1
	Belief Dynamics in Cooperative Dialogues Dominique Longin , Andreas Herzig Journal of Semantics, 2000, 17 (2), pp.91-118. ⟨10.1093/jos/17.2.91⟩ Article dans une revue hal-03478237v1

	Counterfactual Reasoning via Grounded Distance Carlos Aguilera-Ventura , Andreas Herzig , Xinghan Liu , Emiliano Lorini 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.), Sep 2023, Rhodes, Greece. pp.2-11, ⟨10.24963/KR.2023/1⟩ Communication dans un congrès hal-04307012v1
	A Computationally Grounded Logic of ‘Seeing-to-it-that’ Andreas Herzig , Emiliano Lorini , Elise Perrotin-Boithias 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), International Joint Conferences on Artifical Intelligence (IJCAI), Jul 2022, Vienne, Austria. pp.2648-2654, ⟨10.24963/ijcai.2022/367⟩ Communication dans un congrès hal-03873341v1
	Database Repair via Event-Condition-Action Rules in Dynamic Logic Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022), Jun 2022, Helsinki, Finland. pp.75-92, ⟨10.1007/978-3-031-11321-5_5⟩ Communication dans un congrès hal-03818471v1
	Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks Andreas Herzig , Antonio Yuste Ginel Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.1922-1928, ⟨10.24963/ijcai.2021/265⟩ Communication dans un congrès hal-03450068v1
	Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis 33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10 Communication dans un congrès hal-03015763v1
	On the Epistemic Logic of Incomplete Argumentation Frameworks Andreas Herzig , Antonio Yuste-Ginel 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.681-685, ⟨10.24963/kr.2021/69⟩ Communication dans un congrès hal-03450084v1
	A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition Andreas Herzig , Frédéric Maris , Elise Perrotin 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩ Communication dans un congrès hal-03450078v1
	A Logic of Explicit and Implicit Distributed Belief Andreas Herzig , Emiliano Lorini , Elise Perrotin , Benito Fabian Romero Jimenez , François Schwarzentruber 24th European Conference on Artificial Intelligence (ECAI 2020), Intelligent Systems Group (GSI); Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.753-760 Communication dans un congrès hal-03008589v1
	TouIST: a Friendly Language for Propositional Logic and More Jorge H. Fernandez , Olivier Gasquet , Andreas Herzig , Dominique Longin , Emiliano Lorini 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩ Communication dans un congrès hal-02925894v1
	Lightweight Parallel Multi-Agent Epistemic Planning Martin Cooper , Andreas Herzig , Frédéric Maris , Elise Perrotin , Julien Vianey 17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece Communication dans un congrès hal-03015803v1
	Refining HTN Methods via Task Insertion with Preferences Zhanhao Xiao , Hai Wan , Hankui Hankz Zhuo , Andreas Herzig , Laurent Perrussel Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAi 2020), Feb 2020, New York, United States. pp.10009-10016, ⟨10.1609/aaai.v34i06.6557⟩ Communication dans un congrès hal-02887591v1
	Resource separation in dynamic logic of propositional assignments Joseph Boudou , Andreas Herzig , Nicolas Troquard International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), Oct 2019, Porto, Portugal. pp.155-170, ⟨10.1007/978-3-030-38808-9_10⟩ Communication dans un congrès hal-02942300v1
	When 'knowing whether' is better than 'knowing that' Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Elise Perrotin 13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France Communication dans un congrès hal-02302984v1
	The dynamic logic of policies and contingent planning Thomas Bolander , Thorsten Engesser , Andreas Herzig , Robert Mattmüller , Bernhard Nebel European Conference on Logics in Artificial Intelligence (JELIA 2019), May 2019, Rende, Italy. pp.659-674, ⟨10.1007/978-3-030-19570-0_43⟩ Communication dans un congrès hal-02891688v1
	Stratified evidence logics Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Emiliano Lorini 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩ Communication dans un congrès hal-02411254v1
	Dynamic logic of parallel propositional assignments and its applications to planning Andreas Herzig , Frédéric Maris , Julien Vianey Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩ Communication dans un congrès hal-02865935v1
	Frame-validity games and absolute minimality of modal axioms Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Petar Iliev 12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102 Communication dans un congrès hal-03046246v1
	A Dynamic Extension of ALCO for Repairing via Preferred Updates Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis International Workshop on Description Logics (DL workshop 2018), Oct 2018, Tempe, United States. pp.1-13 Communication dans un congrès hal-02147891v1
	Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change Sylvie Doutre , Andreas Herzig , Laurent Perrussel 2nd Chinese Conference on Logic and Argumentation (CLAR 2018), Jun 2018, Hangzhou, China. pp.153-185, ⟨10.1007/978-981-13-7791-4_8⟩ Communication dans un congrès hal-03622809v1
	Temporal Epistemic Gossip Problems Martin Cooper , Andreas Herzig , Frédéric Maris , Julien Vianey 16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14 Communication dans un congrès hal-02378391v1
	Strategically knowing how Raul Fervari , Andreas Herzig , Yanjun Li , Yanjing Wang 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), International Joint Conferences on Artificial Intelligence Organization, Aug 2017, Melbourne, Australia. pp.1031-1038, ⟨10.24963/ijcai.2017/143⟩ Communication dans un congrès hal-03658088v1
	Deciding Refinement Relation in Belief-Intention Databases Zhanhao Xiao , Andreas Herzig , Laurent Perrussel , Dongmo Zhang International Conference of the Italian Association for Artificial Intelligence (AIIA 2017), Nov 2017, Bari, Italy. pp.186-199 Communication dans un congrès hal-02603831v1*
	Dynamic Logic for Data-aware Systems: Decidability Results Francesco Belardinelli , Andreas Herzig 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.821-827, ⟨10.24963/ijcai.2017/114⟩ Communication dans un congrès hal-03658133v1
	Repairing ABoxes through Active Integrity Constraints Christos Rantsoudis , Guillaume Feuillade , Andreas Herzig 30th International Workshop on Description Logics (DL 2017), Jul 2017, Montpellier, France. pp.1-13 Communication dans un congrès hal-02064232v1
	Relaxing Exclusive Control in Boolean Games Francesco Belardinelli , Umberto Grandi , Andreas Herzig , Dominique Longin , Emiliano Lorini 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56, ⟨10.48550/arXiv.1707.08736⟩ Communication dans un congrès hal-01919061v1
	Non-Determinism and the Dynamics of Knowledge Davide Grossi , Andreas Herzig , Wiebe van Der Hoek , Christos Moyzes 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.1053-1059 Communication dans un congrès hal-03658082v1
	TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF Olivier Gasquet , Andreas Herzig , Dominique Longin , Frédéric Maris , Maël Valais Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France Communication dans un congrès hal-03116308v1
	Hierarchical Task Network Planning with Task Insertion and State Constraints Zhanhao Xiao , Andreas Herzig , Laurent Perrussel , Hai Wan , Xiaoheng Su 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.4463-4469 Communication dans un congrès hal-03658077v1
	Building epistemic logic from observations and public announcements Tristan Charrier , Andreas Herzig , Emiliano Lorini , Faustine Maffre , François Schwarzentruber 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, Apr 2016, Le Cap, South Africa. pp.268-277 Communication dans un congrès hal-04109521v1
	Before announcement Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig 11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77 Communication dans un congrès hal-01650180v1
	A simple account of multi-agent epistemic planning Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier 22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201 Communication dans un congrès hal-01500521v1
	Simple epistemic planning: generalised gossiping Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier 22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564 Communication dans un congrès hal-01500520v1
	Refinement of intentions Andreas Herzig , Laurent Perrussel , Zhanhao Xiao , Dongmo Zhang 15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563 Communication dans un congrès hal-01692703v1
	On logics of strategic ability based on propositional control Francesco Belardinelli , Andreas Herzig 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.95--101 Communication dans un congrès hal-01424478v1
	A Dynamic Logic Framework for Abstract Argumentation (CAF 2016) Sylvie Doutre , Andreas Herzig , Laurent Perrussel Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United States Communication dans un congrès hal-03165003v1
	On hierarchical task networks Andreas Herzig , Laurent Perrussel , Zhanhao Xiao 15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557 Communication dans un congrès hal-01692705v1
	Parameters for Epistemic Gossip Problems Hans Van Ditmarsch , Davide Grossi , Andreas Herzig , Wiebe van Der Hoek , Louwe B. Kuijer LOFT 2016 - 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands Communication dans un congrès hal-03159069v1
	Epistemic boolean games based on a logic of visibility and control Andreas Herzig , Emiliano Lorini , Faustine Maffre , François Schwarzentruber 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122 Communication dans un congrès hal-01530163v1
	Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015) Andreas Herzig , Emiliano Lorini , Faustine Maffre 9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), INRIA; AFIA, Jul 2015, Rennes, France Communication dans un congrès hal-03193119v1
	A simple account of multiagent epistemic planning Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier 10èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage (JFPDA 2015), May 2015, Rennes, France. pp. 23-29 Communication dans un congrès hal-01316827v1
	How to share knowledge by gossiping Andreas Herzig , Faustine Maffre 13th International Conference on Agreement Technologies in European Conference on Multi-Agent Systems (EUMAS/AT 2015), Dec 2015, Athens, Greece. pp. 249-263 Communication dans un congrès hal-01567082v1
	Knowledge and action: how should we combine their logics? Andreas Herzig FroCoS'15 : 10th International Symposium on Frontiers of Combining Systems, Sep 2015, Wroclaw, Poland Communication dans un congrès hal-01316819v1
	A poor man's epistemic logic based on propositional assignment and higher-order observation Andreas Herzig , Emiliano Lorini , Faustine Maffre 5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168 Communication dans un congrès hal-01592020v1
	Epistemic Equilibrium Logic (IJCAI 2015) Luis Fariñas del Cerro , Andreas Herzig , Ezgi Iraz Su 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970 Communication dans un congrès hal-01334713v1
	A Dynamic Logic Framework for Abstract Argumentation Sylvie Doutre , Andreas Herzig , Laurent Perrussel 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71 Communication dans un congrès hal-04103466v1
	Belief merging in Dynamic Logic of Propositional Assignments Andreas Herzig , Pilar Pozos Parra , François Schwarzentruber International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398 Communication dans un congrès hal-01146747v1
	On the revision of planning tasks Andreas Herzig , Viviane Menezes , Leliane Nunes de Barros , Renata Wassermann 21st European Conference on Artificial Intelligence (ECAI 2014), Aug 2014, Prague, Czech Republic. pp. 435-440 Communication dans un congrès hal-01399881v1
	Trust-based personal information management in SOA Guillaume Feuillade , Andreas Herzig , Kramdi Seifeddine International Conference on Agents and Artificial Intelligence - ICAART 2014, Mar 2014, Angers, France. pp. 667-672 Communication dans un congrès hal-01188251v1
	A dynamic view of active integrity constraints Guillaume Feuillade , Andreas Herzig 14th European Conference on Logics in Artificial Intelligence (JELIA), Sep 2014, Madeira, Portugal. pp. 486-499 Communication dans un congrès hal-01159678v1
	Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments Andreas Herzig International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.141-150 Communication dans un congrès hal-04081301v1
	Encoding argument graphs in logic Philippe Besnard , Sylvie Doutre , Andreas Herzig International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems - IPMU 2014, Jul 2014, Montpellier, France. pp. 345-354 Communication dans un congrès hal-01147220v1
	Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014) Andreas Herzig , Emiliano Lorini , Faustine Maffre , Dirk Walther Workshop on Logical Aspects of Multi-Agent Systems @ AAMAS 2014 (LAMAS 2014), IFAAMAS, May 2014, Paris, France Communication dans un congrès hal-03224137v1
	A Simple Separation Logic Andreas Herzig International Workshop Logic, Language, Information, and Computation - WoLLIC 2013, Aug 2013, Darmstadt, Germany. pp. 168-178 Communication dans un congrès hal-01147307v1
	Logiques pour le changement de croyances : une histoire de tout, ou presque Andreas Herzig 7èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Groupe de recherche : GdR I3 (Information – Interaction – Intelligence); LSIS : Laboratoire des Sciences de l'Information et des Systèmes, (UMR 7296), Marseille, Jun 2013, Aix-en-Provence, France. pp.164-171 Communication dans un congrès hal-03464937v1
	Quand le raisonnement sur les actions rencontre les logiques stratégiques (MFI 2013) Andreas Herzig , Emiliano Lorini , Dirk Walther Secondes journées francophones sur les Modèles Formels de l'Interaction (MFI 2013), Jul 2013, Lille, France Communication dans un congrès hal-03464938v1
	Combining equilibrium logic and dynamic logic Luis Fariñas del Cerro , Andreas Herzig , Ezgi Iraz Su 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Sep 2013, Corunna, Spain. pp.304-316 Communication dans un congrès hal-01228754v1
	Listen to me! Public announcements to agents that pay attention - or not Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , François Schwarzentruber 4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩ Communication dans un congrès hal-01187760v1
	Reasoning about actions meets strategic logics (LORI 2013) Andreas Herzig , Emiliano Lorini , Dirk Walther 4th International Workshop on Logic, Rationality and Interaction (LORI 2013), Oct 2013, Hangzhou, China. pp.162-175, ⟨10.1007/978-3-642-40948-6_13⟩ Communication dans un congrès hal-01226475v1
	Logics for multi-agent systems: a critical overview Andreas Herzig International Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52 Communication dans un congrès hal-01143735v1
	Dynamic logic of propositional assignments : a well-behaved variant of PDL Philippe Balbiani , Andreas Herzig , Nicolas Troquard 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), Jun 2013, New Orleans, LA, United States. pp.143-152, ⟨10.1109/LICS.2013.20⟩ Communication dans un congrès hal-01240721v1
	A computationally grounded dynamic logic of agency, with application to legal actions Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard 11h International Conference on Deontic Logic in Computer Science (DEON 2012), Jun 2012, Bergen, Norway. pp.170-183, ⟨10.1007/978-3-642-31570-1_12⟩ Communication dans un congrès hal-00866707v1
	Some truths are best left unsaid Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig , Tiago De Lima 9th conference on Advances in Modal logic (AiML 2012), Aug 2012, Copenhagen, Denmark. pp.36-54 Communication dans un congrès hal-00866705v1
	Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control Andreas Herzig 2nd Workshop on Dynamics in Logic (Dynamics in Logic II 2012), Mar 2012, Lille, France Communication dans un congrès hal-03464942v1
	Trois traditions en logiques d'action: vers une unification Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard 6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012), May 2012, Toulouse, France Communication dans un congrès hal-03464947v1
	The modal logic of equilibrium models Luis Fariñas del Cerro , Andreas Herzig 8th International Symposium on Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrucken, Germany. pp.135--146 Communication dans un congrès hal-03470290v1
	Logics of propositional control Andreas Herzig 1st Workshop on Dynamics in Logic (2011), Vrije Universiteit Brussels (V.U.B), May 2011, Brussels, Belgium Communication dans un congrès hal-03470297v1
	Contingency-based equilibrium logic Luis Fariñas del Cerro , Andreas Herzig 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), May 2011, Vancouver, Canada. pp.223-228, ⟨10.1007/978-3-642-20895-9_23⟩ Communication dans un congrès hal-03464952v1
	A dynamic logic of normative systems Andreas Herzig , Emiliano Lorini , Frédéric Moisan , Nicolas Troquard 22rd International Joint Conference on Artificial Intelligence (IJCAI 2011), Jul 2011, Barcelona, Spain. pp.228-233 Communication dans un congrès hal-03464955v1
	Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations Benoit Gaudou , Andreas Herzig , Emiliano Lorini , Christophe Sibertin-Blanc 6èmes Journees francophones sur les Modèles Formels de l'Interaction (MFI 2011), Jun 2011, Rouen, France Communication dans un congrès hal-03470298v1
	A dynamic logic of institutional actions Andreas Herzig , Emiliano Lorini , Nicolas Troquard 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2011), Jul 2011, Barcelona, Spain. pp.295-311, ⟨10.1007/978-3-642-22359-4_21⟩ Communication dans un congrès hal-03470289v1
	On the relation between STIT theory and the logic of programs Andreas Herzig Semantics & Philosophy in Europe (SPE4 2011), Ruhr University Bochum, Sep 2011, Bochum, Germany Communication dans un congrès hal-03470296v1
	Agents that speak: modelling communicative plans and information sources in a logic of announcements Philippe Balbiani , Nadine Guiraud , Andreas Herzig , Emiliano Lorini 10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), International Foundation for Autonomous Agents and Multiagent Systems, May 2011, Taipei, Taiwan. pp.1207-1208 Communication dans un congrès hal-03464951v1
	Logics of Contingency Luis Fariñas del Cerro , Andreas Herzig AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI: Association for the Advancement of Artificial Intelligence, Mar 2011, Stanford, California, United States Communication dans un congrès hal-03470300v1
	How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments Benoit Gaudou , Andreas Herzig , Emiliano Lorini , Christophe Sibertin-Blanc International Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS 2011), May 2011, Taipei, Taiwan. pp.59-73, ⟨10.1007/978-3-642-28400-7_5⟩ Communication dans un congrès hal-03470293v1
	Propositional assignments, announcements, and their applications to logics of action and agency Andreas Herzig 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2011), Nov 2011, Osuna, Spain Communication dans un congrès hal-03470294v1
	Trust in complex actions (ESSLLI 2010) Julien Bourdon , Guillaume Feuillade , Andreas Herzig , Emiliano Lorini Workshop Logics in Security @ 22rd European Summer School in Logic, Language and Information (ESSLLI 2010), Aug 2010, Copenhagen, Denmark Communication dans un congrès hal-03470307v1
	Trust in complex actions (ECAI 2010) Julien Bourdon , Guillaume Feuillade , Andreas Herzig , Emiliano Lorini 19th European Conference on Artificial Intelligence (ECAI 2010), Aug 2010, Lisbon, Portugal. pp.1037-1038, ⟨10.3233/978-1-60750-606-5-1037⟩ Communication dans un congrès hal-03470308v1
	Tableau systems for MAS logics: implementing your prover in LoTREC Andreas Herzig Workshop on Logics for Resource-Bounded Agents at Multi-Agent Logics, Languages, and Organisations Federated Workshops (LRBA @ MALLOW 2010), Aug 2010, Lyon, France Communication dans un congrès hal-03474447v1
	A Logical Account of Lying Chiaki Sakama , Martin Caminada , Andreas Herzig 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Sep 2010, Helsinki, Finland. pp.286-299, ⟨10.1007/978-3-642-15675-5_25⟩ Communication dans un congrès hal-03474445v1
	A Dynamic Logic for Termgraph Rewriting Philippe Balbiani , Rachid Echahed , Andreas Herzig 5th International Conference on Graph Transformations (ICGT 2010), 2010, Twente, Netherlands. pp.59-74, ⟨10.1007/978-3-642-15928-2_5⟩ Communication dans un congrès hal-00940868v1
	Dynamic languages of propositional control for protocol specification Andreas Herzig , Nicolas Troquard Workshop "Logics in Security" at (ESSLLI 2010), Aug 2010, Copenhague, Denmark Communication dans un congrès hal-03470306v1
	Logics of propositional control: a Swiss knife for MAS Andreas Herzig Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Aug 2010, Lyon, France Communication dans un congrès hal-03474446v1
	A protocol for execution of distributed logic programs László Aszalós , Andreas Herzig 3rd International Symposium on Intelligent Distributed Computing (IDC 2009), Oct 2009, Ayia Napa, Cyprus. pp.21-30, ⟨10.1007/978-3-642-03214-1_3⟩ Communication dans un congrès hal-03474457v1
	Speech acts as announcements (LSIR2) Nadine Guiraud , Andreas Herzig , Emiliano Lorini Second international workshop on Logic and the Simulation of Interaction and Reasoning @ IJCAI (LSIR 2009), Jul 2009, Pasadena, United States Communication dans un congrès hal-03474456v1
	From cognitive trust theories to computational trust Jomi F. Hübner , Emiliano Lorini , Laurent Vercouter , Andreas Herzig 12th International Workshop on Trust in Agent Societies (TRUST 2009 @ AAMAS 2009), May 2009, Budapest, Hungary Communication dans un congrès hal-03474453v1
	Trust Based Evaluation of Wikipedia's Contributors Yann Krupa , Laurent Vercouter , Jomi F. Hübner , Andreas Herzig 10th International Workshop on Engineering Societies in the Agents World (ESAW 2009), Nov 2009, Utrecht, Unknown Region. pp.148-161, ⟨10.1007/978-3-642-10203-5_13⟩ Communication dans un congrès hal-03474459v1
	Dynamic context logic and its application to norm change Guillaume Aucher , Davide Grossi , Andreas Herzig , Emiliano Lorini Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271 Communication dans un congrès hal-03526732v1
	Tableaux for Acceptance Logic Mathijs de Boer , Andreas Herzig , Tiago De Lima , Emiliano Lorini 7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.85-100, ⟨10.1007/978-3-642-11355-0_6⟩ Communication dans un congrès hal-03470302v1
	Intentions and assignments Emiliano Lorini , Mehdi Dastani , Hans Van Ditmarsch , Andreas Herzig , John-Jules Meyer 2nd Workshop on Logic, Rationality and Interaction (LORI-II 2009), Oct 2009, Chongqing, China. pp.198-211, ⟨10.1007/978-3-642-04893-7_16⟩ Communication dans un congrès hal-03526727v1
	Speech acts as announcements (Dagstuhl Seminar on Information processing, rational belief change and social interaction, Dagstuhl, Germany, 23/08/09-27/08/09) Nadine Guiraud , Andreas Herzig , Emiliano Lorini Dagstuhl Seminar on Information processing, rational belief change and social interaction, Aug 2009, Dagstuhl, Germany Communication dans un congrès hal-03526731v1
	Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together Emiliano Lorini , François Schwarzentruber , Andreas Herzig Second International Workshop on Logic, Rationality and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.212-226, ⟨10.1007/978-3-642-04893-7_17⟩ Communication dans un congrès hal-03474460v1
	Logical formalization of social commitments: Application to Agent Communication Languages (short version) Benoit Gaudou , Andreas Herzig , Dominique Longin 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), May 2009, Budapest, Hungary. pp.1293-1294 Communication dans un congrès hal-03474454v1
	Unifying the intentional and institutional semantics of speech acts Carole Adam , Andreas Herzig , Dominique Longin , Vincent Louis 7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.1-19 Communication dans un congrès hal-03474450v2
	Dynamic context logic Guillaume Aucher , Davide Grossi , Andreas Herzig , Emiliano Lorini Second International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩ Communication dans un congrès inria-00556156v1
	Logics of Context for Multi-Agent Systems Andreas Herzig , Emiliano Lorini 4th ECAI Workshop on Context and ontologies (C&O 2008), Jul 2008, Patras, Greece Communication dans un congrès hal-03526737v1
	Prime implicate-based belief revision operators Meghyn Bienvenu , Andreas Herzig , Guilin Qi 18th European Conference on Artificial Intelligence (ECAI 2008), Jul 2008, Patras, Greece. pp.741-742 Communication dans un congrès hal-03526743v1
	What Do We Accept After an Announcement ? (KRAMAS 2008) Andreas Herzig , Tiago De Lima , Emiliano Lorini 1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia Communication dans un congrès hal-03526739v1
	Static and dynamic aspects of knowledge about powers Andreas Herzig , Emiliano Lorini International Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic Communication dans un congrès hal-03526741v1
	Introspective Forgetting Hans van Ditmarsch , Andreas Herzig , Jérôme Lang , Pierre Marquis 21st Australasian Joint Conference on Artificial Intelligence (AI 2008), Dec 2008, Auckland, New Zealand. pp.18-29, ⟨10.1007/978-3-540-89378-3_2⟩ Communication dans un congrès hal-00800753v1
	Properties of logics of individual and group agency Andreas Herzig , François Schwarzentruber 7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149 Communication dans un congrès hal-03526736v1
	Prolegomena for a logic of trust and reputation Andreas Herzig , Emiliano Lorini , Jomi Fred Hübner , Jonathan Ben-Naim , Olivier Boissier 3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Jul 2008, Luxembourg, Luxembourg. pp.143-157 Communication dans un congrès hal-00405595v1
	Uniform interpolation by resolution in modal logic Andreas Herzig , Jérôme Mengin 11th European Conference on Logics in Artificial Intelligence (JELIA 2008), Sep 2008, Dresden, Germany. pp.219--231, ⟨10.1007/978-3-540-87803-2_19⟩ Communication dans un congrès hal-03526738v1
	On the Dynamics of Institutional Agreements (KRAMAS 2008) Andreas Herzig , Tiago De Lima , Emiliano Lorini 1st International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia. pp.66-80, ⟨10.1007/978-3-642-05301-6_5⟩ Communication dans un congrès hal-03474452v1
	What do we accept after an announcement? Andreas Herzig , Tiago de Lima , Emiliano Lorini Prague International Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic Communication dans un congrès hal-03526740v1
	De DEL à EDL ou comment illustrer la puissance des événements inverses Guillaume Aucher , Andreas Herzig 4èmes Journées francophones sur les Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.253-260 Communication dans un congrès hal-03516654v1
	Raisonnement sur les actions : de Toronto à Amstermdam Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima 4èmes Journées francophones Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.127-138 Communication dans un congrès hal-03516651v1
	Optimal Regression for Reasoning about Knowledge and Actions Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima Conference on Artificial Intelligence 2007, AAAI: Association for the Advancement of Artificial Intelligence, Jul 2007, Vancouver, Canada. pp.1070-1075 Communication dans un congrès hal-03516644v1
	A normal simulation of coalition logic and an epistemic extension Jan Broersen , Andreas Herzig , Nicolas Troquard Theoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Brussels, Belgium. pp.91-101, ⟨10.1145/1324249.1324264⟩ Communication dans un congrès hal-03516647v1
	From DEL to EDL: exploring the power of converse events (ECSQARU 2007) Guillaume Aucher , Andreas Herzig 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), 2007, Hammamet, Tunisia. pp.199-209, ⟨10.1007/978-3-540-75256-1_20⟩ Communication dans un congrès inria-00556150v1
	A tableau method for public announcement logics Philippe Balbiani , Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Jul 2007, Aix-en-Provence, France. pp.43-59, ⟨10.1007/978-3-540-73099-6_6⟩ Communication dans un congrès hal-03516645v1
	Talkin'bout Kripke models Philippe Balbiani , Andreas Herzig International Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland Communication dans un congrès hal-03516648v1
	Delegation and mental states Emiliano Lorini , Nicolas Troquard , Andreas Herzig , Cristiano Castelfranchi 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2007, Honolulu, Hawaii, United States. pp.610--612, ⟨10.1145/1329125.1329311⟩ Communication dans un congrès hal-03516642v1
	What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowability Philippe Balbiani , Alexandru Baltag , Hans Van Ditmarsch , Andreas Herzig , Tomohiro Hoshi Theoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Bruxelles, Belgium. pp.42-51, ⟨10.1145/1324249.1324259⟩ Communication dans un congrès hal-03516650v1
	OCC's emotions: a formalization in a BDI logic Carole Adam , Benoit Gaudou , Andreas Herzig , Dominique Longin 12th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Sep 2006, Varna, Bulgaria. pp.24-32, ⟨10.1007/11861461_5⟩ Communication dans un congrès hal-03537167v1
	LoTREC: An environment for experiencing Kripke Semantics Luis Fariñas del Cerro , Olivier Gasquet , Andreas Herzig , Mohamad Sahade 2nd International Congress on Tools for Teaching Logic (TTL 2006), Sep 2006, Salamanca, Spain. pp.41-44 Communication dans un congrès hal-03537175v1
	Elaborating domain descriptions (NMR 2006) Andreas Herzig , Laurent Perrussel , Ivan Varzinczak 11th International Workshop on Nonmonotonic Reasoning (NMR 2006), May 2006, Lake District, United Kingdom Communication dans un congrès hal-03537163v1
	Introducing attempt in a modal logic of intentional action Emiliano Lorini , Andreas Herzig , Cristiano Castelfranchi 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.280-292, ⟨10.1007/11853886_24⟩ Communication dans un congrès hal-03537169v1
	Epistemic Actions and Ontic Actions: a Unified Logical Framework Andreas Herzig , Tiago De Lima 2nd International Joint Conference: 10th Ibero-American Conference on AI and 18th Brazilian AI Symposium (IBERAMIA-SBIA 2006), Oct 2006, Ribeirão Preto, Brazil. pp.409-418, ⟨10.1007/11874850_45⟩ Communication dans un congrès hal-03537162v1
	The hidden faces of Intention: using STIT to discover them Andreas Herzig , Emiliano Lorini , Nicolas Troquard , Robert Trypuz Trends in Logic IV - Studia Logica International Conference: Towards Mathematical Philosophy (Trends in Logic IV 2006), Sep 2006, Toruñ, Poland Communication dans un congrès hal-03537166v1
	Grounding and the expression of belief Benoit Gaudou , Andreas Herzig , Dominique Longin 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Jun 2006, Windermere, United Kingdom. pp.211-229 Communication dans un congrès hal-03516657v1
	A logical framework for an emotionally aware intelligent environment Carole Adam , Benoit Gaudou , Andreas Herzig , Dominique Longin Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2006), Aug 2006, Riva de Garda, Italy Communication dans un congrès hal-03519756v1
	Elaborating domain descriptions (ECAI 2006) Andreas Herzig , Laurent Perrussel , Ivan Varzinczak 17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401 Communication dans un congrès hal-03537160v1
	A New Semantics for the FIPA Agent Communication Language based on Social Attitudes Benoit Gaudou , Andreas Herzig , Dominique Longin , Matthias Nickles 17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Trento, Italy. pp.245-249 Communication dans un congrès hal-03537159v1
	Terminating modal tableaux with simple completenness proof Olivier Gasquet , Andreas Herzig , Mohamad Sahade Conference on Advances in Modal Logic (AIML 2006), Sep 2006, Noosa, Queensland, Australia. pp.167-186 Communication dans un congrès hal-03537176v1
	A modularity approach for a fragment of ALC Andreas Herzig , Ivan Varzinczak 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.216-228, ⟨10.1007/11853886_19⟩ Communication dans un congrès hal-03537161v1
	A STIT-extension of ATL Jan Broersen , Andreas Herzig , Nicolas Troquard 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.69-81, ⟨10.1007/11853886_8⟩ Communication dans un congrès hal-03537172v1
	Une plateforme de raisonnement par tableaux Olivier Gasquet , Andreas Herzig , Mohamad Sahade XVe Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Jan 2006, Tours, France Communication dans un congrès hal-03537171v1
	Modélisation logique d'agents rationnels pour l'intelligence ambiante Carole Adam , Fabrice Evrard , Benoit Gaudou , Andreas Herzig , Dominique Longin 14èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2006), Oct 2006, Annecy, France. pp.81-94 Communication dans un congrès hal-03537168v1
	Knowing How to Play: Uniform Choices in Logics of Agency Andreas Herzig , Nicolas Troquard 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), IFMAS; SIGAI; ATAL, May 2006, Hakodate, Japan. pp.209-216, ⟨10.1145/1160633.1160666⟩ Communication dans un congrès hal-03516656v1
	On updates with integrity constraints (Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics , Dagstuhl (Germany), 07/08/05-12/08/05) Andreas Herzig Dagstuhl Seminar : Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005), Aug 2005, Dagstuhl, Germany Communication dans un congrès hal-03519767v1
	Inferring trust (CLIMA 2005) Mehdi Dastani , Andreas Herzig , Joris Hulstijn , Leendert W. N. van Der Torre Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2005), Sep 2005, Lisbon, Portugal. pp.144-160 Communication dans un congrès hal-03519766v1
	Establishing Mutual Beliefs by Joint Attention: towards a Formal Model of Public Events Emiliano Lorini , Luca Tummolini , Andreas Herzig XXVII Annual Conference of the Cognitive Science Society 2005, Cognitive Science Society, Jul 2005, Stresa, Italy. pp.1325-1330 Communication dans un congrès hal-03519770v1
	Action progression and revision in multiagent belief structures Andreas Herzig , Jérôme Lang , Pierre Marquis 6th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005) @ IJCAI 2005, Aug 2005, Edinburgh, Scotland, Royaume-Uni Communication dans un congrès hal-03519760v1
	Cohesion, coupling and the meta-theory of actions Andreas Herzig , Ivan Varzinczak 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), The International Joint Conferences on Artificial Intelligence, Jul 2005, Edinburgh, United Kingdom. pp.442-447 Communication dans un congrès hal-03519768v1
	From Coalition Logic to STIT Jan Broersen , Andreas Herzig , Nicolas Troquard Third International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), Aug 2005, Edinburgh, Scotland, United Kingdom. pp.23-35, ⟨10.1016/j.entcs.2006.02.011⟩ Communication dans un congrès hal-03537164v1
	Position Paper: Paraconsistent Reasoning for the Semantic Web Sebastian Schaffert , Francois Bry , Philippe Besnard , Hendrik Decker , Stephan Decker Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2005) @ ISWC 2005, Nov 2005, Galway, Ireland Communication dans un congrès hal-03519764v1
	A logical framework for grounding-based dialogue analysis Benoit Gaudou , Andreas Herzig , Dominique Longin 3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Aug 2005, Edinburgh, United Kingdom Communication dans un congrès hal-03535632v2
	Domain descriptions should be modular Andreas Herzig , Ivan Varzinczak 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Jun 2004, Whistler, Canada Communication dans un congrès hal-03519772v1
	On the modularity of theories Andreas Herzig , Ivan Varzinczak 5th Conference on Advances in Modal logic (AiML 2004), Sep 2004, Manchester, United Kingdom. pp.93-109 Communication dans un congrès hal-03519763v1
	Inferring trust (CLIMA 2004) Mehdi Dastani , Andreas Herzig , Joris Hulstijn , Leendert W. N. van Der Torre Fifth workshop on computational logic in multi-agent systems (CLIMA V 2004) à JELIA 2004, Sep 2004, Lisbon, Portugal. pp.144-160 Communication dans un congrès hal-03519776v1
	Obligation change in dependence logic and situation calculus Robert Demolombe , Andreas Herzig 7th International Workshop on Deontic Logic in Computer Science (DEON 2004), May 2004, Madeira, Portugal. pp.57-73, ⟨10.1007/978-3-540-25927-5_6⟩ Communication dans un congrès hal-03519773v1
	Revision and update in multiagent belief structures Andreas Herzig , Jérôme Lang , Pierre Marquis 6th Conference on Logic and the Foundations of Game and Decision Theory (LOFT6 2004), Jul 2004, Leipzig, Germany. pp.1-10 Communication dans un congrès hal-03519775v1
	C&L intention revisited Andreas Herzig , Dominique Longin 9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Jun 2004, Whistler, Canada. pp.527-535 Communication dans un congrès hal-03519771v1
	On modal probability and belief Andreas Herzig , Dominique Longin European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.62-73, ⟨10.1007/b11792⟩ Communication dans un congrès hal-03534094v1
	Calcul des intentions d'agent à partir de ses désirs Leila Amgoud , David Mercier , Andreas Herzig Secondes Journées Francophones sur les Modèles Formels de l'Interaction (MFI 2003), May 2003, Lille, France. pp.3-9 Communication dans un congrès hal-03534098v1
	Beliefs, intentions, actions and speech acts Andreas Herzig , Dominique Longin Seventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck 2003), Sep 2003, Wallerfangen, Allemagne Communication dans un congrès hal-03534095v1
	Modal probability, belief, and actions Andreas Herzig 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR 2003), 2003, Olsztyn, Poland. pp.323-344 Communication dans un congrès hal-03534101v1
	Action representation and partially observable planning using epistemic logic Andreas Herzig , Jérôme Lang , Pierre Marquis 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Aug 2003, Acapulco, Mexico. pp.1067-1072, ⟨10.5555/1630659.1630812⟩ Communication dans un congrès hal-03300970v1
	On iterated revision in the AGM framework Andreas Herzig , Sébastien Konieczny , Laurent Perrussel 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.477-488, ⟨10.1007/978-3-540-45062-7_39⟩ Communication dans un congrès hal-03300685v1
	Regression in modal logic Robert Demolombe , Andreas Herzig , Ivan Varzinczak Workshop Methods for Modalities (M4M 2003), Sep 2003, Nancy, France. pp.165-185, ⟨10.3166/jancl.13.165-185⟩ Communication dans un congrès hal-03534096v1
	Domain descriptions should be modular (preliminary draft) Andreas Herzig , Ivan Varzinczak Electronic Festschrift for the 60th Anniversary of Norman Foo, Nov 2003, Sydney, Australia Communication dans un congrès hal-03534102v1
	A logic of intention with cooperation principles and with assertive speech acts as communication primitives Andreas Herzig , Dominique Longin 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Jul 2002, Bologna, Italy. pp.920-927, ⟨10.1145/544862.544954⟩ Communication dans un congrès hal-03534107v1
	Sensing and revision in a modal logic of belief and action Andreas Herzig , Dominique Longin European Conference on Artificial Intelligence (ECAI'02), Jul 2002, Lyon, France. pp.307-311 Communication dans un congrès hal-03534105v1
	I thought you didn't know! On belief revision in dynamic doxastic logic Andreas Herzig , Jérôme Lang , Dominique Longin 5th International Conference on Logic and the Foundations of Game and Decision Theory (LOFT5 2002), Jun 2002, Torino, Italy Communication dans un congrès hal-03534106v1
	Intention et principes de cooperation pour le traitement des requetes et des questions fermees au travers des assertifs Andreas Herzig , Dominique Longin 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), Association Française d'Intelligence Artificielle; Association Française pour la Reconnaissance et l'Interprétation des Formes, Jan 2002, Angers, France Communication dans un congrès hal-03534110v1
	It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation Marcos Alexandre Castilho , Andreas Herzig , Ivan Varzinczak 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), Apr 2002, Toulouse, France Communication dans un congrès hal-03534109v1
	Updates, actions and planning Andreas Herzig , Jérôme Lang , Pierre Marquis , Polacsek Thomas 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), 2001, Seattle, Washington, United States. pp.119-124 Communication dans un congrès hal-03300976v1
	Planning as abduction Andreas Herzig , Jérôme Lang , Pierre Marquis Workshop on Planning under Uncertainty @ IJCAI 2001, Aug 2001, Seattle, United States Communication dans un congrès hal-03523406v1
	Lotrec: a generic tableau prover for modal and description logics Luis Fariñas del Cerro , David Fauthoux , Olivier Gasquet , Andreas Herzig , Dominique Longin International Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458 Communication dans un congrès hal-03523405v1
	Reasoning about Failure Laszlo Aszalos , Andreas Herzig 2nd International Workshop on Engineering Societies in the Agents World (ESAW 2001), Jul 2001, Prague, Czech Republic. pp.74-86, ⟨10.1007/3-540-45584-1_6⟩ Communication dans un congrès hal-03523409v1
	Actions perceptives et non-perceptives dans une logique de croyances et intentions Olivier Gasquet , Andreas Herzig , Dominique Longin Premières Journées Francophones des Modèles formels de l'interaction (MFI'01), May 2001, Toulouse, France Communication dans un congrès hal-03523410v1
	Formalisation logique de la communication non-littérale à la lumière d'aperçus pragmatiques et neuropsycholinguistiques Maud Champagne , Rémi Faure , Andreas Herzig , Dominique Longin , Jean-Luc Nespoulous Premières Journées Francophones des Modèles Formels de l'Interaction (MFI'01), May 2001, Toulouse, France Communication dans un congrès hal-03523408v2
	A logic for planning under partial observability (AIPS 2000) Andreas Herzig , Jérôme Lang , Dominique Longin , Thomas Polacsek 5th international conference on Artificial Intelligence Planning and Scheduling (AIPS 2000), Apr 2000, Breckenridge, CO, United States Communication dans un congrès hal-03523419v1
	Towards an Analysis of Dialogue Acts and Indirect Speech Acts in a BDI Framework Andreas Herzig , Dominique Longin , Jacques Virbel 4h International Workshop on the Semantics and Pragmatics of Dialogue (Götalog'2000), Feb 2000, Goteborg, Sweden Communication dans un congrès hal-03523411v1
	A modal logic for epistemic tests Andreas Herzig , Jérôme Lang , Thomas Polacsek 14th European Conference on Artificial Intelligence (ECAI 2000), Aug 2000, Berlin, Germany. pp.553-557 Communication dans un congrès hal-03523413v1
	A logic for planning under partial observability (AAAI 2000) Andreas Herzig , Jérôme Lang , Dominique Longin , Thomas Polacsek 17th National Conference on Artificial Intelligence (AAAI 2000), Association for the Advancement of Artificial Intelligence, Jul 2000, Austin, Texas, United States. pp.768-773 Communication dans un congrès hal-03523445v1
	Actes de langage non-littéraux et approche intentionnelle du dialogue Rémi Faure , Andreas Herzig , Dominique Longin , Jacques Virbel Etats Généraux de la Recherche en Sciences Cognitives de Toulouse (2000), Oct 2000, Toulouse, France Communication dans un congrès hal-03523412v1
	A Topic-Based Framework for Rational Interaction Andreas Herzig , Dominique Longin 7e conférence annuelle sur le Traitement Automatique des Langues Naturelles (TALN-2000), Oct 2000, Lausanne, Switzerland Communication dans un congrès hal-03523416v1
	How to change factual beliefs using laws and dependence information Andreas Herzig 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR 1997), Jun 1997, Bad Honnef, Germany. pp.311-321, ⟨10.1007/BFb0035631⟩ Communication dans un congrès hal-04039598v1
	Lois, structures et dépendances (groupe LSD) Salem Benferhat , Philippe Besnard , Laurence Cholvy , Robert Demolombe , Didier Dubois 6èmes journées nationales du PRC-GDR Intelligence Artificielle (PRC-GDR IA 1997), Mar 1997, Grenoble, France. pp.145-160 Communication dans un congrès hal-03300192v1
	Qualitative relevance and independence: a roadmap Didier Dubois , Andreas Herzig , Henri Prade , Luis Fariñas del Cerro 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), The International Joint Conferences on Artificial Intelligence organization; Japanese Society for Artificial Intelligence (JSAI), Aug 1997, Nagoya, Japan. pp.62--67 Communication dans un congrès hal-04034585v1
	Talkin'bout consistency, or: When logically possible becomes possible Luis Fariñas del Cerro , Antonio Frias Delgado , Andreas Herzig International Conference on Formal and Applied Practical Reasoning (FAPR 1996), Jun 1996, Bonn, Germany. pp.141-150, ⟨10.1007/3-540-61313-7_69⟩ Communication dans un congrès hal-04047098v1
	Gestion de l'évolutif et de l'incertain dans une base de connaissances Nicole Bidoit , Serenella Cerrito , Laurence Cholvy , Marie-Odile Cordier , Philippe Dague 5èmes Journées Nationales du PRC-GDR : Intelligence Artificielle (1995), Groupe de Recherche IA du CNRS, Feb 1995, Nancy, France. pp.77--121 Communication dans un congrès hal-04050876v1
	Qualitative possibilistic independence, plausible reasoning and belief revision Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade Workshop on Nonmonotonic Reasoning Action and Change (NRAC 1995) in conjunction with IJCAI 1995, Aug 1995, Montréal, Canada Communication dans un congrès hal-04053421v1
	An ordinal view of independence with application to plausible reasoning Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade 10th Conference on Uncertainty in Artificial Intelligence (UAI 1994), Association for Uncertainty in Artificial Intelligence, Jul 1994, Seattles, United States. pp.195-203, ⟨10.1016/B978-1-55860-332-5.50030-4⟩ Communication dans un congrès hal-04029858v1
	An ordinal view of independence, plausible reasoning and belief revision Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade 10th Conference on Uncertainty in Artificial Intelligence (UAI 1994), Jul 1994, Seattle, WA, United States. pp.195--203 Communication dans un congrès hal-04057358v1
	A modal analysis of possibility theory Luis Fariñas del Cerro , Andreas Herzig European Conference on Symbolic and Quantitative Approaches to Uncertainty (ECSQARU 1991), Oct 1991, Marseille, France. pp.58-62, ⟨10.1007/3-540-54659-6_66⟩ Communication dans un congrès hal-04058278v1

	Poster sur ``La logique facile avec TouIST'' Olivier Gasquet , Andreas Herzig , Dominique Longin , Frédéric Maris , Maël Valais Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017 Poster de conférence hal-03116309v1

	L’intelligence Artificielle: De quoi s’agit-il vraiment ? Frédéric Alexandre , Leila Amgoud , Christian Bessiere , Jean-François Bonnefon , Tristan Cazenave Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502 Ouvrages hal-04270163v1
	Social Intelligence Andreas Herzig , Emiliano Lorini , David Pearce Herzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩ Ouvrages hal-02976598v1
	Logic, Leadership and Enthusiasm: A Festschrift in Honour of Luis Fariñas del Cerro Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce Cabalar, Pedro; Dieguez, Martin; Herzig, Andreas; Pearce, David. Taylor & Francis Group, 27 (3-4), 2017, Journal of Applied Non-Classical Logics, ISSN 1166-3081. ⟨10.1080/11663081.2018.1439360⟩ Ouvrages hal-03128333v1
	The Cognitive Foundations of Group Attitudes and Social Interaction Andreas Herzig , Emiliano Lorini Herzig, Andreas; Lorini, Emiliano. Springer, 5, 2015, Studies in the Philosophy of Sociality, 978-3319217314. ⟨10.1007/978-3-319-21732-1⟩ Ouvrages hal-03213935v1
	ECSI 2014: European Conference on Social Intelligence, Proceedings of the European Conference on Social Intelligence (ECSI-2014) Barcelona, Spain, November 3-5, 2014 Andreas Herzig , Emiliano Lorini Herzig, Andreas; Lorini, Emiliano. CEUR Workshop Proceedings, 1283, pp.1-358, 2014, ISSN 1613-0073 Ouvrages hal-03260614v1
	Kripke's Worlds: An introduction to modal logics via tableaux Olivier Gasquet , Andreas Herzig , Bilal Said , François Schwarzentruber Springer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic - Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩ Ouvrages hal-03220769v1
	Special issue on Logic and the Foundations of the Theory of Games and Decisions (Selected papers LOFT 9, Toulouse, 2010) Giacomo Bonanno , Andreas Herzig , Wiebe van Der Hoek , Jérôme Lang Bonanno, Giacomo; Herzig, Andreas; Lang, Jérôme; Van Der Hoek, Wiebe. Springer, 42 (3), 2013, Special issue of Internatinal Journal of Game theory, ISSN 0020-7276 Ouvrages hal-03464935v1
	Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings Luis Fariñas del Cerro , Andreas Herzig , Jérôme Mengin Fariñas del Cerro, Luis; Herzig, Andrea; Mengin, Jérôme. Springer-Verlag, 7519, 2012, Lecture Notes in Computer Science book series, 978-3-642-33352-1 Ouvrages hal-03464945v1
	Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2 Philippe Balbiani , Andreas Herzig , Luis Fariñas del Cerro Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics Ouvrages hal-03470292v1
	Logical Aspects of Game Theory (LOFT 2010) Giacomo Bonanno , Andreas Herzig , Jérôme Lang , Wiebe van Der Hoek Bonanno, Giacomo; Herzig, Andreas; Lang, Jérôme; Van Der Hoek, Wiebe. Hermès, 21 (3-4), 2011, Journal of Applied Non-Classical Logics, ISSN: 1166-3081 (Print) 1958-5780 (Online) Ouvrages hal-03470299v1
	Special issue on commonsense reasoning for the semantic web Frank van Harmelen , Andreas Herzig , Pascal Hitzler , Guilin Qi Van Harmelen, Frank; Herzig, Andreas; Hitzler, Pascal; Qi, Guilin. Springer, 58 (1-2), 2010, Annals of Mathematics and Artificial Intelligence, ISSN : 1573-7470 Ouvrages hal-03474449v1
	NRAC 2009: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, CA (USA), 11/07/2009 Andreas Herzig , Benjamin Johnston Herzig, Andreas; Johnston, Benjamin. UTSePress, University of Technology, Sydney, 2009, 978-0-9802840-7-2 Ouvrages hal-03526729v1
	Belief revision and dynamic logic (JANCL n°2, 17/2007) Hans Van Ditmarsch , Andreas Herzig van Ditmarsch, Hans; Herzig, Andreas. Hermès, 17 (2), pp.125-273, 2007, Journal of Applied Non-Classical Logics, ISSN 1166-3081 (Print) ISSN 1958-5780 (Online) Ouvrages hal-03516652v1
	Logical approaches to paraconsistency : best papers WCP III 2003 Philippe Besnard , Andreas Herzig Besnard, Philippe; Herzig, Andreas. Hermès, Special issue 15 (1), 103p., 2005, Journal of Applied Non-Classical Logics Ouvrages hal-03519757v1
	Belief Change: Theory and Practice Samir Chopra , Andreas Herzig Chopra, Samir; Herzig, Andreas. Hermès, 11 (1-2), 2001, Journal of Applied Non-Classical Logics - Special issue CFP: Belief Change Workshop at Workshop on Non-Monotonic Reasoning (NMR 2000), ISSN 1166-3081 Ouvrages hal-03523407v1
	Conditionals: From Philosophy to Computer Science Gabriella Grocco , Luis Fariñas del Cerro , Andreas Herzig Clarendon Press, 5, pp.1-376, 1996, Studies in Logic and Computation, 978-0198538615 Ouvrages hal-04053312v1

	Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic Andreas Herzig , Antonio Yuste-Ginel Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, 13040, Springer International Publishing, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. ⟨10.1007/978-3-030-89391-0_11⟩ Chapitre d'ouvrage hal-03573580v1
	Epistemic Reasoning About Rationality and Bids in Auctions Munyque Mittelmann , Andreas Herzig , Laurent Perrussel Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩ Chapitre d'ouvrage hal-03573581v1
	Reasoning About Action and Change Florence Dupin de Saint-Cyr , Andreas Herzig , Jérôme Lang , Pierre Marquis Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.487-518, 2020, Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_15⟩ Chapitre d'ouvrage hal-03015828v1
	Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning Andreas Herzig , Philippe Besnard Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630. ⟨10.1007/978-3-030-06164-7_2⟩ Chapitre d'ouvrage hal-03015825v1
	Possible worlds semantics based on observation and communication Andreas Herzig , Emiliano Lorini , Faustine Maffre van Ditmarsch, Hans; Sandu, Gabriel. Jaakko Hintikka on game-theoretical semantics and epistemic logic, 12, Springer, pp.339--362, 2018, Outstanding Contributions to Logic book series (OCTR) Chapitre d'ouvrage hal-03033975v1
	Action theories Andreas Herzig , Emiliano Lorini , Nicolas Troquard Hansson, Sven Ove; Hendricks, Vincent F. Handbook of Formal Philosophy, 33, Springer, pp.591--607, 2018, Springer Undergraduate Texts in Philosophy book series (SUTP), 978-3-319-77433-6 Chapitre d'ouvrage hal-03033977v1
	Computer-Mediated Trust in Self-interested Expert Recommendations Jonathan Ben-Naim , Jean-François Bonnefon , Andreas Herzig , Sylvie Leblois , Emiliano Lorini Stephen J. Cowley; Frédéric Vallée-Tourangeau. Cognition Beyond the Brain: Computation, Interactivity and Human Artifice, Springer, pp.233-250, 2017, 978-3-319-49115-8. ⟨10.1007/978-3-319-49115-8_12⟩ Chapitre d'ouvrage hal-03092766v1
	Using STIT theory to talk about strategies Jan Broersen , Andreas Herzig van Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke. Models of Strategic Reasoning: Logics, Games, and Communities, 8972, Springer, pp.137--173, 2015, Lecture Notes in Computer Science book series (LNCS), 978-3-662-48539-2. ⟨10.1007/978-3-662-48540-8_5⟩ Chapitre d'ouvrage hal-03190192v1
	On Modal Logics of Group Belief Benoit Gaudou , Andreas Herzig , Dominique Longin , Emiliano Lorini Herzig; Andreas and Lorini; Emiliano. The Cognitive Foundations of Group Attitudes and Social Interaction, 5, Springer, pp.75--106, 2015, Studies in the Philosophy of Sociality Chapitre d'ouvrage hal-03209308v1
	BDI logics John-Jules Meyer , Jan Broersen , Andreas Herzig van Ditmarsch, Hans; Halpern, Joseph Y; van der Hoek, Wiebe; Kooi, Barteld. Handbook of Logics for Knowledge and Belief, Chapter10, College Publications, pp.453-493, 2015, 978-1-84890-158-2 Chapitre d'ouvrage hal-03190191v1
	A modal logic of perceptual belief Andreas Herzig , Emiliano Lorini Lihoreau, Franck; Rebuschi, Manuel. Epistemology, Context, and Formalism, 369, Springer, pp.197--211, 2014, Synthese Library book series (SYLI), 978-3-319-02942-9. ⟨10.1007/978-3-319-02943-6_12⟩ Chapitre d'ouvrage hal-03220750v1
	Direct and indirect common belief Emiliano Lorini , Andreas Herzig Konzelmann Ziv, Anita; Schmid, Hans Bernhard. Institutions, Emotions, and Group Agents: Contributions to Social Ontology, 2, Springer, pp.355--372, 2014, Studies in the Philosophy of Sociality book series (SIPS), 978-94-007-6933-5. ⟨10.1007/978-94-007-6934-2_22⟩ Chapitre d'ouvrage hal-03220749v1
	Raisonnement sur l’action et le changement Florence Dupin de Saint-Cyr , Andreas Herzig , Jérôme Lang , Pierre Marquis Panorama de l’intelligence artificielle, Volume 1 : représentation des connaissances et formalisation des raisonnements, pp.363-392, 2014 Chapitre d'ouvrage hal-01493402v1
	Raisonnement sur l'action et le changement Florence Dupin de Saint-Cyr , Andreas Herzig , Jérôme Lang , Pierre Marquis Marquis, Pierre; Papini, Odile; Prade, Henri. Panorama de l'intelligence artificielle. Ses bases méthodologiques, ses développements, Vol. 1, 1 (Chapitre 12), Cépaduès, Toulouse, pp.255--282, 2014, Représentation des connaissances et formalisation des raisonnements, 978-2364930414 Chapitre d'ouvrage hal-03224119v1
	Three traditions in the logic of action: bringing them together Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard Trypuz, Robert. Krister Segerberg on Logic of Action, 1, Springer, pp.61-84, 2013, Outstanding Contributions to Logic book series (OCTR), 978-94-007-7045-4. ⟨10.1007/978-94-007-7046-1_4⟩ Chapitre d'ouvrage hal-03464936v1
	Représentation des connaissances : modalités, conditionnels et raisonnement non monotone Andreas Herzig , Philippe Besnard Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'intelligence artificielle : Ses bases méthodologiques, ses développements, 2 : Algorithmes pour l'intelligence artificielle, Cépaduès, Toulouse, 2013, 978-2364930421 Chapitre d'ouvrage hal-00770563v1
	A simple logic of trust based on propositional assignments Andreas Herzig , Emiliano Lorini , Frédéric Moisan Paglieri, Fabio; Tummolini, Luca; Falcone, Rino; Miceli, Maria. The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, Chapter 1, College Publications, pp.407-419, 2012, 978-1848900943 Chapitre d'ouvrage hal-03464939v1
	Deontic logic Jan Broersen , Dov Gabbay , Andreas Herzig , Emiliano Lorini , John-Jules Meyer Ossowski, Sascha. Agreement Technologies, 8, Springer, pp.171-180, 2012, Law, Governance and Technology Series book series (LGTS), 978-94-007-5582-6. ⟨10.1007/978-94-007-5583-3_10⟩ Chapitre d'ouvrage hal-03464943v1
	Exploring the power of converse events Guillaume Aucher , Andreas Herzig Patrick Girard; Olivier Roy; Mathieu Marion. Dynamic formal epistemology, 351, Springer, pp.51-74, 2011, Synthese Library book series (SYLI), 978-94-007-0073-4. ⟨10.1007/978-94-007-0074-1_4⟩ Chapitre d'ouvrage hal-00557002v2
	Group belief and grounding in conversation Benoit Gaudou , Andreas Herzig , Dominique Longin Trognon, Alain and Batt, Martine and Caelen, Jean and Vernant, Denis. Logical Properties of Dialogue, Presses Universitaires de Nancy, pp.59--96, 2011 Chapitre d'ouvrage hal-03464948v1
	Unifying the intentional and institutional semantics of speech acts Carole Adam , Andreas Herzig , Dominique Longin , Vincent Louis Matteo Baldoni,; Jamal Bentahar; M. Birna van Riemsdijk; John Lloyd. Declarative Agent Languages and Technologies VII: DALT 2009. Revised Selected and Invited Papers, 5948, Springer-Verlag, pp.68-84, 2010, Lecture Notes in Artificial Intelligence, 978-3-642-11354-3. ⟨10.1007/978-3-642-11355-0_5⟩ Chapitre d'ouvrage hal-03527023v1
	Coalition games over Kripke semantics Philippe Balbiani , Olivier Gasquet , Andreas Herzig , François Schwarzentruber , Nicolas Troquard Dégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130 Chapitre d'ouvrage hal-03526733v1
	Modal Tableaux: Completeness vs. Termination Luis Fariñas del Cerro , Olivier Gasquet , Andreas Herzig , Mohamed Saade Artemov, Sergei; Barringer, Howard; D'Avila Garcez, Artur; Lamb, Luis C.; Woods, John. We Will Show Them: Essays in Honour of Dov Gabbay, 2, College Publications, pp.587-614, 2005, ‎ 978-1904987116 Chapitre d'ouvrage hal-03519762v1
	Les opérations de changement basées sur le test de Ramsey Gabriella Crocco , Andreas Herzig Livet, Pierre. Révision des croyances (Traité des sciences cognitives), Chapitre 2, Hermes Science Publications, pp.21-41, 2002, 978-2746204690 Chapitre d'ouvrage hal-03534103v1
	A roadmap of qualitative independence Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade Didier Dubois; Henri Prade; Erich Peter Klement. Fuzzy Sets, Logics and Reasoning about Knowledge, 15, Kluwer Academic Publishers; Springer Netherlands, pp.325--350, 1999, Applied Logic series, 978-90-481-5324-4. ⟨10.1007/978-94-017-1652-9_22⟩ Chapitre d'ouvrage hal-04013766v1
	Logics for Belief Base Updating Andreas Herzig Belief Change, 3, Springer Netherlands, pp.189-231, 1998, Handbook of Defeasible Reasoning and Uncertainty Management Systems book series (HAND), 978-94-010-6123-0. ⟨10.1007/978-94-011-5054-5_5⟩ Chapitre d'ouvrage hal-04030465v1

	A Modal Logic for Termgraph Rewriting Philippe Balbiani , Rachid Echahed , Andreas Herzig 2010 Pré-publication, Document de travail hal-00940869v1
	Raisonnement sur les actions : de Toronto à Amsterdam Hans van Dimarsch , Andreas Herzig , Tiago De Lima 2007 Pré-publication, Document de travail hal-00188885v1
	De DEL à EDL ou comment illustrer la puissance des événements inverses Guillaume Aucher , Andreas Herzig 2007 Pré-publication, Document de travail hal-00192061v1
	Politiques d'action : de la validation psychologique et linguistique à la programmation d'agents cognitifs en intelligence artificielle Andreas Herzig , Jérôme Lang 2005 Pré-publication, Document de travail hal-00003794v1

	Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I) Christian Barillot , Inbar Fijalkow , Isabelle Queinnec , Fabrice Theoleyre , Hélène Touzet [0] CNRS. 2018, pp.1-87 Rapport hal-01956087v1
	Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009) Benoit Gaudou , Andreas Herzig , Dominique Longin [Research Report] IRIT/RR–2009-14–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2009 Rapport hal-03474455v1
	'Knowable' as 'known after an announcement' Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomohiro Hoshi [Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008 Rapport hal-00872316v1
	From DEL to EDL: exploring the power of converse events Guillaume Aucher , Andreas Herzig [Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007 Rapport hal-03516649v1
	Contracting TBoxes: the importance of being modular Andreas Herzig , Laurent Perrussel , Ivan Varzinczak [Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006 Rapport hal-03537177v1
	A simple logical framework for emotional agents Carole Adam , Fabrice Evrard , Benoit Gaudou , Andreas Herzig , Dominique Longin [Research Report] IRIT/RR-2006-16-FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2006 Rapport hal-03537174v1
	Uniform Choices in Logics of Agency Andreas Herzig , Nicolas Troquard [Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2005 Rapport hal-03519769v1
	An assessment of actions with indeterminate and indirect effects in some causal approaches Andreas Herzig , Ivan Varzinczak [Research Report] IRIT/2004–08–R, IRIT : Institut de Recherche en Informatique de Toulouse. 2004, pp.1-23 Rapport hal-03534092v1
	Intention Dynamics -preliminary report- Andreas Herzig , Dominique Longin [Research Report] IRIT/2002-12-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002 Rapport hal-03523403v1
	Sensing and revision in a modal logic of belief and action Andreas Herzig , Dominique Longin [Rapport de recherche] IRIT/2002-01-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002 Rapport hal-03534104v1
	An analysis of communication and cooperation in a logic of belief, intention, and action Olivier Gasquet , Andreas Herzig , Dominique Longin [Research Report] IRIT/2001-07-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2001 Rapport hal-03523404v1
	Beliefs, intentions, speech acts and topics Andreas Herzig , Dominique Longin [Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000 Rapport hal-03523420v1
	Une formalisation de la détection des actes de langage indirects Rémi Faure , Andreas Herzig , Dominique Longin [Rapport de recherche] IRIT/2000-26-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000 Rapport hal-03523414v1
	Une typologie des relations d'in(dépendance) qualitative Didier Dubois , Andreas Herzig , Henri Prade , Luis Fariñas del Cerro [Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1998 Rapport hal-04028806v1
	Inférence préférentielle et exceptions: sémantique probabiliste et indépendance possibiliste Salem Benferhat , Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade [Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1997 Rapport hal-04038105v1
	Working papers of the workshop : 'Is logic + ordering enough for formalizing common sense reasoning?' Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade [Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 1996 Rapport hal-04049228v1

Andreas Herzig

Publications

Qualitative uncertainty and dynamics of argumentation through dynamic logic

Preface (Special issue FolKS 2020)

Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof)

A Lightweight Epistemic Logic and its Application to Planning

True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic Situations

Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach

Autoepistemic equilibrium logic and epistemic specifications

Frame-validity games and lower bounds on the complexity of modal axioms

The epistemic gossip problem

A Dynamic Logic Account of Active Integrity Constraints

Judgment aggregation in dynamic logic of propositional assignments

Dynamic epistemic logics: promises, problems, shortcomings, and perspectives

A short biography of Luis Fariñas del Cerro

How to share knowledge by gossiping

Planifier grâce au bavardage

BDI logics for BDI architectures: old problems, new perspectives

Relaxing Exclusive Control in Boolean Games

Announcements to Attentive Agents

Logics of knowledge and action: critical analysis and challenges

A formal account of dishonesty

Capturing equilibrium models in modal logic

Grounding power on actions and mental attitudes

Introduction to the special issue

Propositional update operators based on formula/literal dependence

La logique modale des modèles d’équilibre

Public announcements, public assignments and the complexity of their logic

Editorial Introduction: Logical Methods for Social Concepts

From situation calculus to dynamic epistemic logic

Foreword

A dynamic logic of agency I: STIT, abilities and powers

A logic of trust and reputation

Tableaux for public announcement logics

The logic of acceptance: grounding institutions on agents' attitudes

Introspective Forgetting

Computer-Mediated Trust in Self-Interested Expert Recommendations

What groups do, can do, and know they can do: an analysis in normal modal logics

On the dynamics of institutional agreements (2009)

Global and local graph modifiers

A logical formalization of the OCC theory of emotions

Alternative axiomatics and complexity of deliberative STIT theories

A logic of intention and attempt

'Knowable' as 'known after an announcement'

Review of "Dynamic Epistemic Logic" : by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, “Dynamic Epistemic Logic”, Springer Verlag, Synthese Library 337, 2007

Arbitrary announcement logic (abstract)

PLEIAD, un agent émotionnel pour évaluer la typologie OCC

Metatheory of actions: beyond consistency

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency

A Logical Framework for Grounding-based Dialogue Analysis

Regression in Modal Logic

Formalisation pluridisciplinaire de l'inférence d'actes de langage non littéraux

Belief Dynamics in Cooperative Dialogues

Counterfactual Reasoning via Grounded Distance

A Computationally Grounded Logic of ‘Seeing-to-it-that’

Database Repair via Event-Condition-Action Rules in Dynamic Logic

Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

On the Epistemic Logic of Incomplete Argumentation Frameworks

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

A Logic of Explicit and Implicit Distributed Belief

TouIST: a Friendly Language for Propositional Logic and More

Lightweight Parallel Multi-Agent Epistemic Planning

Refining HTN Methods via Task Insertion with Preferences

Resource separation in dynamic logic of propositional assignments

When 'knowing whether' is better than 'knowing that'

The dynamic logic of policies and contingent planning

Stratified evidence logics

Dynamic logic of parallel propositional assignments and its applications to planning

Frame-validity games and absolute minimality of modal axioms

A Dynamic Extension of ALCO for Repairing via Preferred Updates

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

Temporal Epistemic Gossip Problems

Strategically knowing how

Deciding Refinement Relation in Belief-Intention Databases

Dynamic Logic for Data-aware Systems: Decidability Results

Repairing ABoxes through Active Integrity Constraints

Relaxing Exclusive Control in Boolean Games

Non-Determinism and the Dynamics of Knowledge

TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF