Andreas Herzig

295

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⟩ Journal articles 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⟩ Journal articles 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⟩ Journal articles hal-03210604v1
	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 Journal articles hal-03011708v1
	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⟩ Journal articles hal-03147798v1
	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⟩ Journal articles hal-02936458v1
	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⟩ Journal articles hal-02945872v1
	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⟩ Journal articles hal-03012105v1
	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⟩ Journal articles 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⟩ Journal articles hal-02891607v1
	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⟩ Journal articles hal-02124074v1
	A short biography of Luis Fariñas del Cerro Pedro Cabalar , Martín Diéguez , Andreas Herzig , David Pearce Journal of Applied Non-Classical Logics, 2018, 27 (3-4), pp.153-160. ⟨10.1080/11663081.2018.1439360⟩ Journal articles hal-04778206v1
	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⟩ Journal articles hal-02089335v2
	How to share knowledge by gossiping Andreas Herzig , Faustine Maffre AI Communications, 2017, 30 (1), pp.1-17. ⟨10.3233/AIC-170723⟩ Journal articles hal-03512916v1
	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⟩ Journal articles hal-01625886v1
	Planifier grâce au bavardage Andreas Herzig , Faustine Maffre Interstices, 2017 Journal articles 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⟩ Journal articles hal-01692711v1
	A short biography of Luis Fariñas del Cerro Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce Journal of Applied Non-Classical Logics, 2017 Journal articles hal-01892914v1
	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⟩ Journal articles hal-01285093v1
	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⟩ Journal articles hal-01585237v1
	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⟩ Journal articles hal-01127960v1
	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⟩ Journal articles hal-01387822v1
	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⟩ Journal articles hal-01494297v1
	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⟩ Journal articles hal-01153715v1
	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⟩ Journal articles hal-01128955v1
	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⟩ Journal articles hal-00868339v1
	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⟩ Journal articles hal-03464940v1
	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⟩ Journal articles hal-03464954v1
	Foreword Giacomo Bonanno , Andreas Herzig , Wiebe van Der Hoek , Jérôme Lang Journal of Applied Non-Classical Logics, 2011, 21 (3-4), pp.263-264. ⟨10.1080/11663081.2011.9736665⟩ Journal articles hal-01494282v1
	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⟩ Journal articles hal-00868361v1
	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⟩ Journal articles hal-03470301v1
	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⟩ Journal articles 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⟩ Journal articles hal-03470303v1
	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⟩ Journal articles hal-03466389v1
	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⟩ Journal articles inria-00556034v1
	A logical formalization of the OCC theory of emotions Carole Adam , Andreas Herzig , Dominique Longin Synthese, 2009, 168 (2), pp.201--248 Journal articles hal-03474451v1
	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⟩ Journal articles hal-03474458v1
	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 Journal articles 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⟩ Journal articles hal-00868609v1
	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 Journal articles hal-03526728v1
	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⟩ Journal articles hal-03526734v1
	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 Journal articles hal-03526742v1
	Arbitrary announcement logic (abstract) Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomoshiro Hoshi Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438--439. ⟨10.2178/bsl/1231081377⟩ Journal articles hal-00747135v1
	A logic of intention and attempt Emiliano Lorini , Andreas Herzig Synthese, 2008, 163 (1), pp.45-77 Journal articles 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⟩ Journal articles hal-00800649v1
	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⟩ Journal articles hal-03516646v1
	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 Journal articles hal-03516643v1
	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⟩ Journal articles 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⟩ Journal articles hal-03535631v1
	Regression in Modal Logic Robert Demolombe , Andreas Herzig , Ivan Varzinczak Journal of Applied Non-Classical Logics, 2003, 13 (2), pp.165-185 Journal articles 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 Journal articles 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⟩ Journal articles hal-03478237v1

	A Novel View of Analogical Proportion Between Formulas Andreas Herzig , Emiliano Lorini , Henri Prade ECAI 2024, Oct 2024, Santiago de Compostela, SPAIN, Spain. ⟨10.3233/FAIA240624⟩ Conference papers hal-04778278v1
	Towards Epistemic-Doxastic Planning with Observation and Revision Thorsten Engesser , Andreas Herzig , Elise Perrotin AAAI 2024, Feb 2024, Vancouver (BC), France. pp.10501-10508, ⟨10.1609/AAAI.V38I9.28919⟩ Conference papers hal-04778239v1
	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⟩ Conference papers 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⟩ Conference papers 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⟩ Conference papers 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⟩ Conference papers hal-03450068v1
	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⟩ Conference papers 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⟩ Conference papers hal-03450078v1
	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 Conference papers hal-03015763v1
	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⟩ Conference papers hal-02887591v1
	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⟩ Conference papers hal-02925894v1
	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 Conference papers hal-03008589v1
	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 Conference papers hal-03015803v1
	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 Conference papers hal-02302984v1
	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⟩ Conference papers hal-02942300v1
	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⟩ Conference papers hal-02865935v1
	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⟩ Conference papers hal-02411254v1
	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⟩ Conference papers hal-02891688v1
	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 Conference papers hal-03046246v1
	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 Conference papers hal-02378391v1
	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⟩ Conference papers hal-03622809v1
	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 Conference papers hal-02147891v1
	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⟩ Conference papers 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 Conference papers hal-02603831v1*
	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 Conference papers 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 Conference papers hal-03658077v1
	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⟩ Conference papers 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 Conference papers 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⟩ Conference papers 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 Conference papers hal-03658082v1
	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 Conference papers hal-04109521v1
	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 Conference papers hal-03165003v1
	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 Conference papers hal-01424478v1
	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 Conference papers hal-01530163v1
	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 Conference papers hal-03159069v1
	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 Conference papers hal-01692705v1
	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 Conference papers 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 Conference papers hal-01500521v1
	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 Conference papers hal-01692703v1
	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 Conference papers hal-01500520v1
	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 Conference papers hal-03193119v1
	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 Conference papers 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 Conference papers hal-01592020v1
	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 Conference papers hal-01567082v1
	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 Conference papers hal-01334713v1
	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 Conference papers hal-01316827v1
	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 Conference papers hal-03224137v1
	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 Conference papers hal-01147220v1
	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 Conference papers 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 Conference papers hal-04081301v1
	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 Conference papers hal-01399881v1
	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 Conference papers hal-01146747v1
	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 Conference papers hal-01188251v1
	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 Conference papers hal-04103466v1
	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 Conference papers hal-03464937v1
	A Simple Separation Logic Andreas Herzig International Workshop Logic, Language, Information, and Computation - WoLLIC 2013, Aug 2013, Darmstadt, Germany. pp. 168-178 Conference papers hal-01147307v1
	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⟩ Conference papers hal-01240721v1
	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 Conference papers 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 Conference papers 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⟩ Conference papers 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⟩ Conference papers 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 Conference papers hal-01143735v1
	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⟩ Conference papers hal-00866707v1
	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 Conference papers 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 Conference papers hal-03464947v1
	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 Conference papers hal-00866705v1
	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 Conference papers hal-03464955v1
	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⟩ Conference papers hal-03464952v1
	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 Conference papers hal-03470296v1
	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 Conference papers 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 Conference papers hal-03470297v1
	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 Conference papers hal-03470300v1
	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 Conference papers hal-03470294v1
	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⟩ Conference papers hal-03470293v1
	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 Conference papers hal-03464951v1
	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 Conference papers 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⟩ Conference papers hal-03470289v1
	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 Conference papers hal-03470307v1
	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 Conference papers hal-03474446v1
	Dynamic languages of propositional control for protocol specification Andreas Herzig , Nicolas Troquard Workshop "Logics in Security" at (ESSLLI 2010), Aug 2010, Copenhague, Denmark Conference papers hal-03470306v1
	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⟩ Conference papers hal-00940868v1
	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⟩ Conference papers 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 Conference papers 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⟩ Conference papers hal-03474445v1
	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 Conference papers hal-03474453v1
	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⟩ Conference papers inria-00556156v1
	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 Conference papers hal-03474450v2
	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 Conference papers hal-03474454v1
	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⟩ Conference papers hal-03526727v1
	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⟩ Conference papers hal-03474460v1
	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 Conference papers hal-03526731v1
	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 Conference papers hal-03474456v1
	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⟩ Conference papers hal-03474457v1
	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⟩ Conference papers 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 Conference papers 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⟩ Conference papers hal-03470302v1
	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 Conference papers hal-03526739v1
	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 Conference papers hal-00405595v1
	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 Conference papers hal-03526736v1
	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 Conference papers 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 Conference papers hal-03526743v1
	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⟩ Conference papers hal-03526738v1
	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 Conference papers hal-03526740v1
	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⟩ Conference papers hal-03474452v1
	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 Conference papers 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⟩ Conference papers hal-00800753v1
	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 Conference papers 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 Conference papers hal-03516644v1
	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⟩ Conference papers hal-03516645v1
	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 Conference papers hal-03516654v1
	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⟩ Conference papers hal-03516650v1
	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⟩ Conference papers hal-03516642v1
	Talkin'bout Kripke models Philippe Balbiani , Andreas Herzig International Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland Conference papers hal-03516648v1
	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⟩ Conference papers 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⟩ Conference papers inria-00556150v1
	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⟩ Conference papers hal-03537162v1
	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⟩ Conference papers hal-03537172v1
	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 Conference papers 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⟩ Conference papers hal-03537161v1
	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 Conference papers hal-03537159v1
	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⟩ Conference papers hal-03537167v1
	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 Conference papers hal-03537163v1
	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 Conference papers hal-03537175v1
	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⟩ Conference papers hal-03537169v1
	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⟩ Conference papers hal-03516656v1
	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 Conference papers 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 Conference papers hal-03537168v1
	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 Conference papers hal-03516657v1
	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 Conference papers hal-03537166v1
	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 Conference papers hal-03537160v1
	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 Conference papers hal-03519756v1
	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 Conference papers hal-03519766v1
	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 Conference papers hal-03519767v1
	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 Conference papers hal-03535632v2
	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 Conference papers hal-03519764v1
	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⟩ Conference papers hal-03537164v1
	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 Conference papers hal-03519768v1
	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 Conference papers hal-03519760v1
	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 Conference papers hal-03519770v1
	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⟩ Conference papers hal-03519773v1
	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 Conference papers hal-03519776v1
	Domain descriptions should be modular Andreas Herzig , Ivan Varzinczak 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Jun 2004, Whistler, Canada Conference papers hal-03519772v1
	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 Conference papers hal-03519771v1
	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 Conference papers hal-03519775v1
	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 Conference papers hal-03519763v1
	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 Conference papers hal-03534095v1
	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⟩ Conference papers hal-03300685v1
	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 Conference papers hal-03534098v1
	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⟩ Conference papers hal-03534094v1
	Domain descriptions should be modular (preliminary draft) Andreas Herzig , Ivan Varzinczak Electronic Festschrift for the 60th Anniversary of Norman Foo, Nov 2003, Sydney, Australia Conference papers hal-03534102v1
	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⟩ Conference papers hal-03534096v1
	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 Conference papers 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⟩ Conference papers hal-03300970v1
	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 Conference papers hal-03534106v1
	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 Conference papers hal-03534109v1
	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 Conference papers hal-03534110v1
	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⟩ Conference papers 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 Conference papers hal-03534105v1
	Planning as abduction Andreas Herzig , Jérôme Lang , Pierre Marquis Workshop on Planning under Uncertainty @ IJCAI 2001, Aug 2001, Seattle, United States Conference papers hal-03523406v1
	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⟩ Conference papers hal-03523409v1
	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 Conference papers hal-03300976v1
	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 Conference papers hal-03523408v2
	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 Conference papers hal-03523410v1
	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 Conference papers hal-03523405v1
	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 Conference papers hal-03523419v1
	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 Conference papers hal-03523416v1
	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 Conference papers 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 Conference papers hal-03523412v1
	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 Conference papers hal-03523413v1
	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 Conference papers hal-03523411v1
	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 Conference papers 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 Conference papers hal-04034585v1
	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⟩ Conference papers hal-04039598v1
	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⟩ Conference papers 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 Conference papers 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 Conference papers hal-04053421v1
	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 Conference papers hal-04057358v1
	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⟩ Conference papers hal-04029858v1
	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⟩ Conference papers 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 Conference poster 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 Books 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⟩ Books 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⟩ Books 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⟩ Books 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 Books 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⟩ Books 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 Books 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 Books hal-03464945v1
	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) Books hal-03470299v1
	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 Books hal-03470292v1
	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 Books 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 Books 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) Books 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 Books 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 Books 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 Books hal-04053312v1

	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⟩ Book sections hal-03573581v1
	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⟩ Book sections hal-03573580v1
	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⟩ Book sections 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⟩ Book sections 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) Book sections 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 Book sections 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⟩

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)

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

A Lightweight Epistemic Logic and its Application to Planning

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

Autoepistemic equilibrium logic and epistemic specifications

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

The epistemic gossip problem

A Dynamic Logic Account of Active Integrity Constraints

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

A short biography of Luis Fariñas del Cerro

Judgment aggregation in dynamic logic of propositional assignments

How to share knowledge by gossiping

Relaxing Exclusive Control in Boolean Games

Planifier grâce au bavardage

BDI logics for BDI architectures: old problems, new perspectives

A short biography of Luis Fariñas del Cerro

Logics of knowledge and action: critical analysis and challenges

Announcements to Attentive Agents

Capturing equilibrium models in modal logic

A formal account of dishonesty

Introduction to the special issue

Grounding power on actions and mental attitudes

Propositional update operators based on formula/literal dependence

Public announcements, public assignments and the complexity of their logic

La logique modale des modèles d’équilibre

Editorial Introduction: Logical Methods for Social Concepts

Foreword

From situation calculus to dynamic epistemic logic

Tableaux for public announcement logics

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

A logic of trust and reputation

Computer-Mediated Trust in Self-Interested Expert Recommendations

Global and local graph modifiers

A logical formalization of the OCC theory of emotions

On the dynamics of institutional agreements (2009)

The logic of acceptance: grounding institutions on agents' attitudes

Introspective Forgetting

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

Alternative axiomatics and complexity of deliberative STIT theories

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)

A logic of intention and attempt

'Knowable' as 'known after an announcement'

Metatheory of actions: beyond consistency

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

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

A Novel View of Analogical Proportion Between Formulas

Towards Epistemic-Doxastic Planning with Observation and Revision

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

On the Epistemic Logic of Incomplete Argumentation Frameworks

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

Refining HTN Methods via Task Insertion with Preferences

TouIST: a Friendly Language for Propositional Logic and More

A Logic of Explicit and Implicit Distributed Belief

Lightweight Parallel Multi-Agent Epistemic Planning

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

Resource separation in dynamic logic of propositional assignments

Dynamic logic of parallel propositional assignments and its applications to planning

Stratified evidence logics

The dynamic logic of policies and contingent planning

Frame-validity games and absolute minimality of modal axioms

Temporal Epistemic Gossip Problems

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

A Dynamic Extension of ALCO for Repairing via Preferred Updates

Strategically knowing how

Deciding Refinement Relation in Belief-Intention Databases

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

Hierarchical Task Network Planning with Task Insertion and State Constraints