Skip to Main content

Co-authors

Journal names

Number of documents

265

CV HAL Andreas Herzig


Journal articles48 documents

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

Conference papers157 documents

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

Poster communications1 document

  • Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais. Poster sur ``La logique facile avec TouIST''. 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. ⟨hal-03116309⟩

Books11 documents

  • Andreas Herzig, Emiliano Lorini, David Pearce. Social Intelligence. Herzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩. ⟨hal-02976598⟩
  • Pedro Cabalar, Martin Dieguez, Andreas Herzig, David Pearce. Logic, Leadership and Enthusiasm: A Festschrift in Honour of Luis Fariñas del Cerro. 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⟩. ⟨hal-03128333⟩
  • Andreas Herzig, Emiliano Lorini. The Cognitive Foundations of Group Attitudes and Social Interaction. Herzig, Andreas; Lorini, Emiliano. Springer, 5, 2015, Studies in the Philosophy of Sociality, 978-3319217314. ⟨10.1007/978-3-319-21732-1⟩. ⟨hal-03213935⟩
  • Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber. Kripke's Worlds: An introduction to modal logics via tableaux. 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⟩. ⟨hal-03220769⟩
  • Giacomo Bonanno, Andreas Herzig, Wiebe van Der Hoek, Jérôme Lang. Special issue on Logic and the Foundations of the Theory of Games and Decisions (Selected papers LOFT 9, Toulouse, 2010). 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. ⟨hal-03464935⟩
  • Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van Der Hoek. Logical Aspects of Game Theory (LOFT 2010). 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). ⟨hal-03470299⟩
  • Philippe Balbiani, Andreas Herzig, Luis Fariñas del Cerro. Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2. Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics. ⟨hal-03470292⟩
  • Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi. Special issue on commonsense reasoning for the semantic web. Van Harmelen, Frank; Herzig, Andreas; Hitzler, Pascal; Qi, Guilin. Springer, 58 (1-2), 2010, Annals of Mathematics and Artificial Intelligence, ISSN : 1573-7470. ⟨hal-03474449⟩
  • Hans Van Ditmarsch, Andreas Herzig. Belief revision and dynamic logic (JANCL n°2, 17/2007). 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). ⟨hal-03516652⟩
  • Philippe Besnard, Andreas Herzig. Logical approaches to paraconsistency : best papers WCP III 2003. Besnard, Philippe; Herzig, Andreas. Hermès, Special issue 15 (1), 103p., 2005, Journal of Applied Non-Classical Logics. ⟨hal-03519757⟩
  • Samir Chopra, Andreas Herzig. Belief Change: Theory and Practice. 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. ⟨hal-03523407⟩

Book sections24 documents

  • Andreas Herzig, Antonio Yuste-Ginel. Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic. 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⟩. ⟨hal-03573580⟩
  • Munyque Mittelmann, Andreas Herzig, Laurent Perrussel. Epistemic Reasoning About Rationality and Bids in Auctions. 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⟩. ⟨hal-03573581⟩
  • Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis. Reasoning About Action and Change. 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⟩. ⟨hal-03015828⟩
  • Andreas Herzig, Philippe Besnard. Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning. 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⟩. ⟨hal-03015825⟩
  • Sylvie Doutre, Andreas Herzig, Laurent Perrussel. Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. Beishui Liao; Thomas Ågotnes; Yi N. Wang. Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation, Springer Singapore, pp.153-185, 2019, Logic in Asia: Studia Logica Library book series (LIAA), 978-981-13-7790-7. ⟨10.1007/978-981-13-7791-4_8⟩. ⟨hal-03541747⟩
  • Andreas Herzig, Emiliano Lorini, Faustine Maffre. Possible worlds semantics based on observation and communication. 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). ⟨hal-03033975⟩
  • Andreas Herzig, Emiliano Lorini, Nicolas Troquard. Action theories. 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. ⟨hal-03033977⟩
  • Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois, Emiliano Lorini. Computer-Mediated Trust in Self-interested Expert Recommendations. 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⟩. ⟨hal-03092766⟩
  • Benoit Gaudou, Andreas Herzig, Dominique Longin, Emiliano Lorini. On Modal Logics of Group Belief. 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. ⟨hal-03209308⟩
  • John-Jules Meyer, Jan Broersen, Andreas Herzig. BDI logics. van Ditmarsch, Hans; Halpern, Joseph Y; van der Hoek, Wiebe; Kooi, Barteld. Handbook of Logics for Knowledge and Belief, Chapter10, College Publications, pp.489-542, 2015, 978-1-84890-158-2. ⟨hal-03190191⟩
  • Jan Broersen, Andreas Herzig. Using STIT theory to talk about strategies. 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⟩. ⟨hal-03190192⟩
  • Emiliano Lorini, Andreas Herzig. Direct and indirect common belief. 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⟩. ⟨hal-03220749⟩
  • Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis. Raisonnement sur l’action et le changement. Panorama de l’intelligence artificielle, Volume 1 : représentation des connaissances et formalisation des raisonnements, pp.363-392, 2014. ⟨hal-01493402⟩
  • Andreas Herzig, Emiliano Lorini. A modal logic of perceptual belief. 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⟩. ⟨hal-03220750⟩
  • Florence Dupin de Saint Cyr - Bannay, Andreas Herzig, Jérôme Lang, Pierre Marquis. Raisonnement sur l'action et le changement. 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. ⟨hal-03224119⟩
  • Andreas Herzig, Tiago De Lima, Emiliano Lorini, Nicolas Troquard. Three traditions in the logic of action: bringing them together. 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⟩. ⟨hal-03464936⟩
  • Andreas Herzig, Philippe Besnard. Représentation des connaissances : modalités, conditionnels et raisonnement non monotone. 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. ⟨hal-00770563⟩
  • Andreas Herzig, Emiliano Lorini, Frédéric Moisan. A simple logic of trust based on propositional assignments. Paglieri, Fabio; Tummolini, Luca; Falcone, Rino; Miceli, Maria. The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, College Publications, pp.407-419, 2012, 978-1848900943. ⟨hal-03464939⟩
  • Jan Broersen, Dov Gabbay, Andreas Herzig, Emiliano Lorini, John-Jules Meyer, et al.. Deontic logic. 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⟩. ⟨hal-03464943⟩
  • Guillaume Aucher, Andreas Herzig. Exploring the power of converse events. 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⟩. ⟨hal-00557002v2⟩
  • Benoit Gaudou, Andreas Herzig, Dominique Longin. Group belief and grounding in conversation. Trognon, Alain and Batt, Martine and Caelen, Jean and Vernant, Denis. Logical Properties of Dialogue, Presses Universitaires de Nancy, pp.59--96, 2011. ⟨hal-03464948⟩
  • Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Nicolas Troquard. Coalition games over Kripke semantics. 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. ⟨hal-03526733⟩
  • Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamed Saade. Modal Tableaux: Completeness vs. Termination. 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. ⟨hal-03519762⟩
  • Gabriella Crocco, Andreas Herzig. Les opérations de changement basées sur le test de Ramsey. Livet, Pierre. Révision des croyances (Traité des sciences cognitives), Hermes Science Publications, pp.21-41, 2002, 978-2746204690. ⟨hal-03534103⟩

Directions of work or proceedings7 documents

  • Andreas Herzig, Juha Kontinen. Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, 17/02/2020 - 21/02/2020. Herzig, Andreas; Kontinen, Juha. 11th International Symposium on Foundations of Information and Knowledge Systems - FoIKS 2020, Feb 2020, Dortmund, Germany. Lecture Notes in Computer Science, 12012, Springer, pp.XVIII, 335, 2020, Information Systems and Applications, incl. Internet/Web, and HCI, 978-3-030-39950-4. ⟨hal-03001577⟩
  • Andreas Herzig, Andrei Popescu. Frontiers of Combining Systems - Proceedings of 12th International Symposium FroCoS 2019, London, UK. Herzig, Andreas; Popescu, Andrei. 12th International Symposium on Frontiers of Combining Systems - FroCoS, Sep 2019, Londres, United Kingdom. Lecture Notes in Artificial Intelligence, 11715, Springer, pp.XX, 365, 2019, Frontiers of Combining Systems, 978-3-030-29006-1. ⟨10.1007/978-3-030-29007-8⟩. ⟨hal-03012579⟩
  • Andreas Herzig, Emiliano Lorini. ECSI 2014: European Conference on Social Intelligence, Proceedings of the European Conference on Social Intelligence (ECSI-2014) Barcelona, Spain, November 3-5, 2014. Herzig, Andreas; Lorini, Emiliano. 1283, CEUR Workshop Proceedings, pp.1-358, 2014, ISSN 1613-0073. ⟨hal-03260614⟩
  • Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin. Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Fariñas del Cerro, Luis; Herzig, Andrea; Mengin, Jérôme. 7519, Springer-Verlag, 2012, Lecture Notes in Computer Science book series, 978-3-642-33352-1. ⟨hal-03464945⟩
  • Andreas Herzig, Benjamin Johnston. NRAC 2009: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, CA (USA), 11/07/2009. Herzig, Andreas; Johnston, Benjamin. UTSePress, University of Technology, Sydney, 2009, 978-0-9802840-7-2. ⟨hal-03526729⟩
  • Andreas Herzig, Yves Lespérance, Abdel-Illah Mouaddib. MFI'05 : Modèles formels de l'interaction: Actes des Troisièmes Journées Francophones, Caen, 25-27 mai 2005. Lespérance, Yves; Herzig, Andreas; Mouaddib, Abdel Illah. 3èmes Journées francophones sur les Modèles Formels de l'Interactions (MFI 2005), May 2005, Caen, France. Cépaduès Editions, 268p., 2005, 978-2854286977. ⟨hal-03519761⟩
  • Andreas Herzig, Brahim Chaib-Draa, Philippe Mathieu. MFI'03 - Modèles formels de l'interaction : Actes des Secondes Journées Francophones, Lille. Herzig, Andreas; Chaib-Draa, Brahim; Mathieu, Philippe. Secondes Journées Francophones sur les Modèles Formels de l'Interaction (MFI 2003), Cépaduès Editions, Toulouse, 2003, 978-2854286229. ⟨hal-03534093⟩

Preprints, Working Papers, ...4 documents

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

Reports13 documents

  • Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, et al.. Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I). [Autre] CNRS. 2018, pp.1-87. ⟨hal-01956087⟩
  • Benoit Gaudou, Andreas Herzig, Dominique Longin. Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009). [Research Report] IRIT/RR–2009-14–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2009. ⟨hal-03474455⟩
  • Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, et al.. 'Knowable' as 'known after an announcement'. [Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008. ⟨hal-00872316⟩
  • Guillaume Aucher, Andreas Herzig. From DEL to EDL: exploring the power of converse events. [Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007. ⟨hal-03516649⟩
  • Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak. Contracting TBoxes: the importance of being modular. [Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006. ⟨hal-03537177⟩
  • Carole Adam, Fabrice Evrard, Benoit Gaudou, Andreas Herzig, Dominique Longin. A simple logical framework for emotional agents. [Research Report] IRIT/RR-2006-16-FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2006. ⟨hal-03537174⟩
  • Andreas Herzig, Nicolas Troquard. Uniform Choices in Logics of Agency. [Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2005. ⟨hal-03519769⟩
  • Andreas Herzig, Ivan José Varzinczak. An assessment of actions with indeterminate and indirect effects in some causal approaches. [Research Report] IRIT/2004–08–R, IRIT : Institut de Recherche en Informatique de Toulouse. 2004, pp.1-23. ⟨hal-03534092⟩
  • Andreas Herzig, Dominique Longin. Sensing and revision in a modal logic of belief and action. [Rapport de recherche] IRIT/2002-01-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002. ⟨hal-03534104⟩
  • Andreas Herzig, Dominique Longin. Intention Dynamics -preliminary report-. [Research Report] IRIT/2002-12-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002. ⟨hal-03523403⟩
  • Olivier Gasquet, Andreas Herzig, Dominique Longin. An analysis of communication and cooperation in a logic of belief, intention, and action. [Research Report] IRIT/2001-07-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2001. ⟨hal-03523404⟩
  • Andreas Herzig, Dominique Longin. Beliefs, intentions, speech acts and topics. [Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000. ⟨hal-03523420⟩
  • Rémi Faure, Andreas Herzig, Dominique Longin. Une formalisation de la détection des actes de langage indirects. [Rapport de recherche] IRIT/2000-26-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000. ⟨hal-03523414⟩