Access content directly

Andreas Herzig

295
Documents

Publications

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Deciding Refinement Relation in Belief-Intention Databases

Zhanhao Xiao , Andreas Herzig , Laurent Perrussel , Dongmo Zhang
International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Nov 2017, Bari, Italy. pp.186-199
Conference papers hal-02603831v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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⟩