Andreas Herzig

298
Documents

Publications

64
46
25
22
22
21
20
19
17
15
15
14
13
13
13
11
11
10
9
8
8
8
8
7
7
6
6
6
5
5
4
4
4
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
7
6
4
3
3
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Deposit thumbnail

SNN-Based Online Learning of Concepts and Action Laws in an Open World

Christel Grimaud , Dominique Longin , Andreas Herzig

The European Journal on Artificial Intelligence, 2026, ⟨10.1177/30504554251394337⟩

Article dans une revue hal-04779695v4
Deposit thumbnail

Qualitative uncertainty and dynamics of argumentation through dynamic logic

Antonio Yuste-Ginel , Andreas Herzig

Journal of Logic and Computation, 2023, 33 (2), pp.Pages 370-405. ⟨10.1093/logcom/exac098⟩

Article dans une revue hal-03992651v1
Deposit thumbnail

Preface (Special issue FolKS 2020)

Andreas Herzig , Juha Kontinen

Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩

Article dans une revue hal-03573573v1
Deposit thumbnail

A Lightweight Epistemic Logic and its Application to Planning

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Elise Perrotin et al.

Artificial Intelligence (AIJ), 2021, Special issue: Epistemic Planning, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩

Article dans une revue hal-03147798v2
Deposit thumbnail

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

Andreas Herzig , Elise Perrotin

Filosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117

Article dans une revue hal-03011708v1
Deposit thumbnail

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

Joseph Boudou , Andreas Herzig , Nicolas Troquard

Journal of Logical and Algebraic Methods in Programming, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩

Article dans une revue hal-03210604v1
Deposit thumbnail

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), pp.Pages 155-185. ⟨10.1093/jigpal/jzaa068⟩

Article dans une revue hal-02936458v1
Deposit thumbnail

Autoepistemic equilibrium logic and epistemic specifications

Ezgi Iraz Su , Luis Fariñas del Cerro , Andreas Herzig

Artificial Intelligence (AIJ), 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩

Article dans une revue hal-02945872v1
Deposit thumbnail

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

Esra Erdem , Andreas Herzig

Electronic Proceedings in Theoretical Computer Science, 2020, Proceedings 36th International Conference on Logic Programming (Technical Communications), 325, pp.52-58. ⟨10.4204/EPTCS.325.11⟩

Article dans une revue hal-03012105v1
Deposit thumbnail

A Dynamic Logic Account of Active Integrity Constraints

Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis

Fundamenta Informaticae, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩

Article dans une revue hal-02891607v1
Deposit thumbnail

The epistemic gossip problem

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier

Discrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩

Article dans une revue hal-02147986v1

A 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⟩

Article dans une revue hal-04778206v1
Deposit thumbnail

Judgment aggregation in dynamic logic of propositional assignments

Arianna Novaro , Umberto Grandi , Andreas Herzig

Journal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩

Article dans une revue hal-02089335v2
Deposit thumbnail

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

Andreas Herzig

Journal of Applied Non-Classical Logics, 2018, 27 (3-4), pp.328-341. ⟨10.1080/11663081.2017.1416036⟩

Article dans une revue hal-02124074v1

A short biography of Luis Fariñas del Cerro

Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce

Journal of Applied Non-Classical Logics, 2017

Article dans une revue hal-01892914v1
Deposit thumbnail

BDI logics for BDI architectures: old problems, new perspectives

Andreas Herzig , Emiliano Lorini , Laurent Perrussel , Zhanhao Xiao

KI - Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩

Article dans une revue hal-01692711v1

Planifier grâce au bavardage

Andreas Herzig , Faustine Maffre

Interstices, 2017

Article dans une revue hal-01616344v1
Deposit thumbnail

Relaxing Exclusive Control in Boolean Games

Francesco Belardinelli , Umberto Grandi , Andreas Herzig , Dominique Longin , Emiliano Lorini et al.

Electronic Proceedings in Theoretical Computer Science, 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 251, pp.43-56. ⟨10.4204/EPTCS.251.4⟩

Article dans une revue hal-01625886v1
Deposit thumbnail

How to share knowledge by gossiping

Andreas Herzig , Faustine Maffre

AI Communications, 2017, 30 (1), pp.1-17. ⟨10.3233/AIC-170723⟩

Article dans une revue hal-03512916v1
Deposit thumbnail

Announcements to Attentive Agents

Thomas Bolander , Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , Pere Pardo et al.

Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩

Article dans une revue hal-01585237v1
Deposit thumbnail

Logics of knowledge and action: critical analysis and challenges

Andreas Herzig

Autonomous Agents and Multi-Agent Systems, 2015, 29 (5), pp.719-753. ⟨10.1007/s10458-014-9267-z⟩

Article dans une revue hal-01285093v1
Deposit thumbnail

A formal account of dishonesty

Chiaki Sakama , Martin Caminada , Andreas Herzig

Logic Journal of the IGPL, 2014, 23 (2), pp.259-294. ⟨10.1093/jigpal/jzu043⟩

Article dans une revue hal-01387822v1
Deposit thumbnail

Capturing equilibrium models in modal logic

Luis Fariñas del Cerro , Andreas Herzig , Ezgi Iraz Su

Journal of Applied Logic, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩

Article dans une revue hal-01127960v1
Deposit thumbnail

Grounding power on actions and mental attitudes

Emiliano Lorini , Nicolas Troquard , Andreas Herzig , Jan Broersen

Logic Journal of the IGPL, 2013, Special issue of best papers of FAMAS 2007, 21 (3), pp.311-331. ⟨10.1093/jigpal/jzr039⟩

Article dans une revue hal-01153715v1
Deposit thumbnail

Propositional update operators based on formula/literal dependence

Andreas Herzig , Jérôme Lang , Pierre Marquis

ACM Transactions on Computational Logic, 2013, 14 (3), pp.1-31. ⟨10.1145/2499937.2499945⟩

Article dans une revue hal-01128955v1

Introduction to the special issue

Giacomo Bonanno , Andreas Herzig , Wiebe van Der Hoek , Jérôme Lang

International Journal of Game Theory, 2013, 42 (3), ⟨10.1007/s00182-013-0387-5⟩

Article dans une revue hal-01494297v1

Public announcements, public assignments and the complexity of their logic

Hans van Ditmarsch , Andreas Herzig , Tiago de Lima

Journal of Applied Non-Classical Logics, 2012, 22 (3), pp.249-273. ⟨10.1080/11663081.2012.705964⟩

Article dans une revue hal-00868339v1

La logique modale des modèles d’équilibre

Luis Fariñas del Cerro , Andreas Herzig

Revue d'Intelligence Artificielle, 2012, 26 (1-2), pp.1-15. ⟨10.3166/ria.26.85-102⟩

Article dans une revue istex hal-03464940v1

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⟩

Article dans une revue 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⟩

Article dans une revue hal-00868361v1

Editorial Introduction: Logical Methods for Social Concepts

Andreas Herzig , Emiliano Lorini

Journal of Philosophical Logic, 2011, Special Issue on Logical Methods for Social Concepts (August 2011), 40 (4), pp.441-443. ⟨10.1007/s10992-011-9186-2⟩

Article dans une revue hal-03464954v1

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

Andreas Herzig , Emiliano Lorini

Journal of Logic, Language and Information, 2010, 19 (Article number: 89), pp.89-121. ⟨10.1007/s10849-009-9105-x⟩

Article dans une revue istex hal-03470305v1

Tableaux for public announcement logics

Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig , Tiago de Lima

Journal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩

Article dans une revue istex hal-03470301v1

A logic of trust and reputation

Andreas Herzig , Emiliano Lorini , Jomi F. Hübner , Laurent Vercouter

Logic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩

Article dans une revue istex hal-03470303v1

Introspective Forgetting

Hans van Ditmarsch , Andreas Herzig , Jérôme Lang , Pierre Marquis

Synthese, 2009, 169, pp.405-423. ⟨10.1007/s11229-009-9554-4⟩

Article dans une revue istex hal-00868609v1
Deposit thumbnail

The logic of acceptance: grounding institutions on agents' attitudes

Emiliano Lorini , Dominique Longin , Benoit Gaudou , Andreas Herzig

Journal of Logic and Computation, 2009, 19 (6), pp.901-940

Article dans une revue hal-01060135v1

On the dynamics of institutional agreements (2009)

Andreas Herzig , Tiago de Lima , Emiliano Lorini

Synthese, 2009, 171 (2), pp.321--355. ⟨10.1007/s11229-009-9645-2⟩

Article dans une revue hal-03474458v1
Deposit thumbnail

Global and local graph modifiers

Guillaume Aucher , Philippe Balbiani , Luis Fariñas del Cerro , Andreas Herzig

Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, ⟨10.1016/j.entcs.2009.02.042⟩

Article dans une revue inria-00556034v1
Deposit thumbnail

A logical formalization of the OCC theory of emotions

Carole Adam , Andreas Herzig , Dominique Longin

Synthese, 2009, 168 (2), pp.201--248

Article dans une revue hal-03474451v1

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

Jan Broersen , Andreas Herzig , Nicolas Troquard

Journal of Applied Non-Classical Logics, 2009, 19 (3), pp.261-289

Article dans une revue hal-03526728v1
Deposit thumbnail

Computer-Mediated Trust in Self-Interested Expert Recommendations

Jonathan Ben-Naim , Jean-François Bonnefon , Andreas Herzig , Sylvie Leblois , Emiliano Lorini

AI & Society: Knowledge, Culture and Communication, 2009, 25 (4), pp.413-422. ⟨10.1007/s00146-010-0268-4⟩

Article dans une revue hal-03466389v1
Deposit thumbnail

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

Andreas Herzig

Studia Logica, 2008, 89, pp.439--443

Article dans une revue hal-03526742v1

Arbitrary announcement logic (abstract)

Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomoshiro Hoshi et al.

Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438--439. ⟨10.2178/bsl/1231081377⟩

Article dans une revue istex hal-00747135v1
Deposit thumbnail

A logic of intention and attempt

Emiliano Lorini , Andreas Herzig

Synthese, 2008, 163 (1), pp.45-77

Article dans une revue hal-03526735v1

Knowable' as 'known after an announcement

Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomohiro Hoshi et al.

The review of symbolic logic, 2008, 1 (3), pp.305--334. ⟨10.1017/S1755020308080210⟩

Article dans une revue hal-00800649v1

Alternative axiomatics and complexity of deliberative STIT theories

Philippe Balbiani , Andreas Herzig , Nicolas Troquard

Journal of Philosophical Logic, 2008, 37 (4), pp.387-406. ⟨10.1007/s10992-007-9078-7⟩

Article dans une revue hal-03526734v1
Deposit thumbnail

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

Carole Adam , Andreas Herzig , Dominique Longin

Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2007, 21 (5-6), pp.781-811

Article dans une revue hal-03516643v1
Deposit thumbnail

Metatheory of actions: beyond consistency

Andreas Herzig , Ivan Varzinczak

Artificial Intelligence (AIJ), 2007, 171 (16/17), pp.951-984. ⟨10.1016/j.artint.2007.04.013⟩

Article dans une revue hal-03516646v1
Deposit thumbnail

A Logical Framework for Grounding-based Dialogue Analysis

Benoit Gaudou , Andreas Herzig , Dominique Longin

Electronic Notes in Theoretical Computer Science, 2006, 157 (4), pp.117-137. ⟨10.1016/j.entcs.2006.02.016⟩

Article dans une revue hal-03535631v1

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

Jan Broersen , Andreas Herzig , Nicolas Troquard

Journal of Logic and Computation, 2006, 16 (5), pp.559-578. ⟨10.1093/logcom/exl025⟩

Article dans une revue istex hal-03537173v1

Regression in Modal Logic

Robert Demolombe , Andreas Herzig , Ivan Varzinczak

Journal of Applied Non-Classical Logics, 2003, 13 (2), pp.165-185

Article dans une revue hal-03534099v1
Deposit thumbnail

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

Maud Champagne , Andreas Herzig , Dominique Longin , Jean-Luc Nespoulous , Jacques Virbel

Revue I3 - Information Interaction Intelligence, 2002, Hors-série, pp.197-225

Article dans une revue hal-03534108v1
Deposit thumbnail

Belief Dynamics in Cooperative Dialogues

Dominique Longin , Andreas Herzig

Journal of Semantics, 2000, 17 (2), pp.91-118. ⟨10.1093/jos/17.2.91⟩

Article dans une revue istex hal-03478237v1
Deposit thumbnail

On the Logic of Theory Base Change: Reformulation of Belief Bases

Eduardo Fermé , Andreas Herzig , Maria Vanina Martinez

AAAI-25, Feb 2025, Philadelphia, United States. pp.14922-14929, ⟨10.1609/AAAI.V39I14.33636⟩

Communication dans un congrès hal-05404062v1
Deposit thumbnail

Minimal Change in Modal Logic S5

Carlos Aguilera-Ventura , Jonathan Ben-Naim , Andreas Herzig

AAAI-2025, Feb 2025, Philadelphia (PA), United States. pp.14781-14789, ⟨10.1609/AAAI.V39I14.33620⟩

Communication dans un congrès hal-05404072v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-04778239v1

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⟩

Communication dans un congrès hal-04778278v1

Counterfactual Reasoning via Grounded Distance

Carlos Aguilera-Ventura , Andreas Herzig , Xinghan Liu , Emiliano Lorini

20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.), Sep 2023, Rhodes, Greece. pp.2-11, ⟨10.24963/KR.2023/1⟩

Communication dans un congrès hal-04307012v1
Deposit thumbnail

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

Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis

12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022), Jun 2022, Helsinki, Finland. pp.75-92, ⟨10.1007/978-3-031-11321-5_5⟩

Communication dans un congrès hal-03818471v1
Deposit thumbnail

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

Andreas Herzig , Emiliano Lorini , Elise Perrotin-Boithias

31st International Joint Conference on Artificial Intelligence (IJCAI 2022), International Joint Conferences on Artifical Intelligence (IJCAI), Jul 2022, Vienne, Austria. pp.2648-2654, ⟨10.24963/ijcai.2022/367⟩

Communication dans un congrès hal-03873341v1
Deposit thumbnail

Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks

Andreas Herzig , Antonio Yuste-Ginel

Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.1922-1928, ⟨10.24963/ijcai.2021/265⟩

Communication dans un congrès hal-03450068v1
Deposit thumbnail

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 2021, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩

Communication dans un congrès hal-03450078v1
Deposit thumbnail

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis

33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10

Communication dans un congrès hal-03015763v1
Deposit thumbnail

Lightweight Parallel Multi-Agent Epistemic Planning

Martin Cooper , Andreas Herzig , Frédéric Maris , Elise Perrotin , Julien Vianey

17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece

Communication dans un congrès hal-03015803v1
Deposit thumbnail

Refining HTN Methods via Task Insertion with Preferences

Zhanhao Xiao , Hai Wan , Hankui Hankz Zhuo , Andreas Herzig , Laurent Perrussel et al.

Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAi 2020), Feb 2020, New York, United States. pp.10009-10016, ⟨10.1609/aaai.v34i06.6557⟩

Communication dans un congrès hal-02887591v1
Deposit thumbnail

A Logic of Explicit and Implicit Distributed Belief

Andreas Herzig , Emiliano Lorini , Elise Perrotin , Benito Fabian Romero Jimenez , François Schwarzentruber

24th European Conference on Artificial Intelligence (ECAI 2020), Intelligent Systems Group (GSI); Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.753-760

Communication dans un congrès hal-03008589v1
Deposit thumbnail

TouIST: a Friendly Language for Propositional Logic and More

Jorge H. Fernandez , Olivier Gasquet , Andreas Herzig , Dominique Longin , Emiliano Lorini et al.

29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩

Communication dans un congrès hal-02925894v1
Deposit thumbnail

On the Epistemic Logic of Incomplete Argumentation Frameworks

Andreas Herzig , Antonio Yuste-Ginel

18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.681-685, ⟨10.24963/kr.2021/69⟩

Communication dans un congrès hal-03450084v1
Deposit thumbnail

The dynamic logic of policies and contingent planning

Thomas Bolander , Thorsten Engesser , Andreas Herzig , Robert Mattmüller , Bernhard Nebel

European Conference on Logics in Artificial Intelligence (JELIA 2019), May 2019, Rende, Italy. pp.659-674, ⟨10.1007/978-3-030-19570-0_43⟩

Communication dans un congrès hal-02891688v1
Deposit thumbnail

Stratified evidence logics

Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Emiliano Lorini

28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩

Communication dans un congrès hal-02411254v1

Dynamic logic of parallel propositional assignments and its applications to planning

Andreas Herzig , Frédéric Maris , Julien Vianey

Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩

Communication dans un congrès hal-02865935v1
Deposit thumbnail

Temporal Epistemic Gossip Problems

Martin Cooper , Andreas Herzig , Frédéric Maris , Julien Vianey

16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14

Communication dans un congrès hal-02378391v1
Deposit thumbnail

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

Sylvie Doutre , Andreas Herzig , Laurent Perrussel

2nd Chinese Conference on Logic and Argumentation (CLAR 2018), Jun 2018, Hangzhou, China. pp.153-185, ⟨10.1007/978-981-13-7791-4_8⟩

Communication dans un congrès hal-03622809v1
Deposit thumbnail

Resource separation in dynamic logic of propositional assignments

Joseph Boudou , Andreas Herzig , Nicolas Troquard

International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), Oct 2019, Porto, Portugal. pp.155-170, ⟨10.1007/978-3-030-38808-9_10⟩

Communication dans un congrès hal-02942300v1
Deposit thumbnail

When 'knowing whether' is better than 'knowing that

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Elise Perrotin et al.

13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France

Communication dans un congrès hal-02302984v1
Deposit thumbnail

A Dynamic Extension of ALCO for Repairing via Preferred Updates

Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis

International Workshop on Description Logics (DL workshop 2018), Oct 2018, Tempe, United States. pp.1-13

Communication dans un congrès hal-02147891v1
Deposit thumbnail

Frame-validity games and absolute minimality of modal axioms

Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Petar Iliev

12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102

Communication dans un congrès hal-03046246v1
Deposit thumbnail

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

Communication dans un congrès hal-02603831v1
Deposit thumbnail

Strategically knowing how

Raul Fervari , Andreas Herzig , Yanjun Li , Yanjing Wang

26th International Joint Conference on Artificial Intelligence (IJCAI 2017), International Joint Conferences on Artificial Intelligence Organization, Aug 2017, Melbourne, Australia. pp.1031-1038, ⟨10.24963/ijcai.2017/143⟩

Communication dans un congrès hal-03658088v1
Deposit thumbnail

Non-Determinism and the Dynamics of Knowledge

Davide Grossi , Andreas Herzig , Wiebe van Der Hoek , Christos Moyzes

26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.1053-1059

Communication dans un congrès hal-03658082v1
Deposit thumbnail

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

Olivier Gasquet , Andreas Herzig , Dominique Longin , Frédéric Maris , Maël Valais

Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France

Communication dans un congrès hal-03116308v1
Deposit thumbnail

Hierarchical Task Network Planning with Task Insertion and State Constraints

Zhanhao Xiao , Andreas Herzig , Laurent Perrussel , Hai Wan , Xiaoheng Su

26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.4463-4469

Communication dans un congrès hal-03658077v1
Deposit thumbnail

Relaxing Exclusive Control in Boolean Games

Francesco Belardinelli , Umberto Grandi , Andreas Herzig , Dominique Longin , Emiliano Lorini et al.

16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jul 2017, Liverpool, United Kingdom. pp.43-56, ⟨10.48550/arXiv.1707.08736⟩

Communication dans un congrès hal-01919061v1
Deposit thumbnail

Repairing ABoxes through Active Integrity Constraints

Christos Rantsoudis , Guillaume Feuillade , Andreas Herzig

30th International Workshop on Description Logics (DL 2017), Jul 2017, Montpellier, France. pp.1-13

Communication dans un congrès hal-02064232v1
Deposit thumbnail

Dynamic Logic for Data-aware Systems: Decidability Results

Francesco Belardinelli , Andreas Herzig

26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.821-827, ⟨10.24963/ijcai.2017/114⟩

Communication dans un congrès hal-03658133v1
Deposit thumbnail

Refinement of intentions

Andreas Herzig , Laurent Perrussel , Zhanhao Xiao , Dongmo Zhang

15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563

Communication dans un congrès hal-01692703v1
Deposit thumbnail

Simple epistemic planning: generalised gossiping

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier

22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564

Communication dans un congrès hal-01500520v1
Deposit thumbnail

On hierarchical task networks

Andreas Herzig , Laurent Perrussel , Zhanhao Xiao

15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557

Communication dans un congrès hal-01692705v1
Deposit thumbnail

Parameters for Epistemic Gossip Problems

Hans Van Ditmarsch , Davide Grossi , Andreas Herzig , Wiebe van Der Hoek , Louwe B. Kuijer

LOFT 2016 - 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands

Communication dans un congrès hal-03159069v1

A Dynamic Logic Framework for Abstract Argumentation (CAF 2016)

Sylvie Doutre , Andreas Herzig , Laurent Perrussel

Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United States

Communication dans un congrès hal-03165003v1
Deposit thumbnail

How to share knowledge by gossiping

Andreas Herzig , Faustine Maffre

13th International Conference on Agreement Technologies in European Conference on Multi-Agent Systems (EUMAS/AT 2015), Dec 2015, Athens, Greece. pp. 249-263

Communication dans un congrès hal-01567082v1

On logics of strategic ability based on propositional control

Francesco Belardinelli , Andreas Herzig

25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.95--101

Communication dans un congrès hal-01424478v1
Deposit thumbnail

Epistemic boolean games based on a logic of visibility and control

Andreas Herzig , Emiliano Lorini , Faustine Maffre , François Schwarzentruber

25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122

Communication dans un congrès hal-01530163v1
Deposit thumbnail

Before announcement

Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig

11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77

Communication dans un congrès hal-01650180v1
Deposit thumbnail

A simple account of multi-agent epistemic planning

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier

22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201

Communication dans un congrès hal-01500521v1
Deposit thumbnail

Building epistemic logic from observations and public announcements

Tristan Charrier , Andreas Herzig , Emiliano Lorini , Faustine Maffre , François Schwarzentruber

15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, Apr 2016, Le Cap, South Africa. pp.268-277

Communication dans un congrès hal-04109521v1
Deposit thumbnail

Epistemic Equilibrium Logic (IJCAI 2015)

Luis Fariñas del Cerro , Andreas Herzig , Ezgi Iraz Su

24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970

Communication dans un congrès hal-01334713v1

Knowledge and action: how should we combine their logics?

Andreas Herzig

FroCoS'15 : 10th International Symposium on Frontiers of Combining Systems, Sep 2015, Wroclaw, Poland

Communication dans un congrès hal-01316819v1
Deposit thumbnail

A poor man's epistemic logic based on propositional assignment and higher-order observation

Andreas Herzig , Emiliano Lorini , Faustine Maffre

5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168

Communication dans un congrès hal-01592020v1
Deposit thumbnail

A simple account of multiagent epistemic planning

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier

10èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage (JFPDA 2015), May 2015, Rennes, France. pp. 23-29

Communication dans un congrès hal-01316827v1
Deposit thumbnail

Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015)

Andreas Herzig , Emiliano Lorini , Faustine Maffre

9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), INRIA; AFIA, Jul 2015, Rennes, France

Communication dans un congrès hal-03193119v1
Deposit thumbnail

A Dynamic Logic Framework for Abstract Argumentation

Sylvie Doutre , Andreas Herzig , Laurent Perrussel

14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71

Communication dans un congrès hal-04103466v1
Deposit thumbnail

Belief merging in Dynamic Logic of Propositional Assignments

Andreas Herzig , Pilar Pozos Parra , François Schwarzentruber

International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398

Communication dans un congrès hal-01146747v1
Deposit thumbnail

On the revision of planning tasks

Andreas Herzig , Viviane Menezes , Leliane Nunes de Barros , Renata Wassermann

21st European Conference on Artificial Intelligence (ECAI 2014), Aug 2014, Prague, Czech Republic. pp. 435-440

Communication dans un congrès hal-01399881v1
Deposit thumbnail

Trust-based personal information management in SOA

Guillaume Feuillade , Andreas Herzig , Kramdi Seifeddine

International Conference on Agents and Artificial Intelligence - ICAART 2014, Mar 2014, Angers, France. pp. 667-672

Communication dans un congrès hal-01188251v1
Deposit thumbnail

Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments

Andreas Herzig

International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.141-150

Communication dans un congrès hal-04081301v1
Deposit thumbnail

Encoding argument graphs in logic

Philippe Besnard , Sylvie Doutre , Andreas Herzig

International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems - IPMU 2014, Jul 2014, Montpellier, France. pp. 345-354

Communication dans un congrès hal-01147220v1
Deposit thumbnail

A dynamic view of active integrity constraints

Guillaume Feuillade , Andreas Herzig

14th European Conference on Logics in Artificial Intelligence (JELIA), Sep 2014, Madeira, Portugal. pp. 486-499

Communication dans un congrès hal-01159678v1
Deposit thumbnail

Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014)

Andreas Herzig , Emiliano Lorini , Faustine Maffre , Dirk Walther

Workshop on Logical Aspects of Multi-Agent Systems @ AAMAS 2014 (LAMAS 2014), IFAAMAS, May 2014, Paris, France

Communication dans un congrès hal-03224137v1
Deposit thumbnail

A Simple Separation Logic

Andreas Herzig

International Workshop Logic, Language, Information, and Computation - WoLLIC 2013, Aug 2013, Darmstadt, Germany. pp. 168-178

Communication dans un congrès hal-01147307v1
Deposit thumbnail

Listen to me! Public announcements to agents that pay attention - or not

Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , François Schwarzentruber

4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩

Communication dans un congrès hal-01187760v1

Logics for multi-agent systems: a critical overview

Andreas Herzig

International Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52

Communication dans un congrès hal-01143735v1
Deposit thumbnail

Reasoning about actions meets strategic logics (LORI 2013)

Andreas Herzig , Emiliano Lorini , Dirk Walther

4th International Workshop on Logic, Rationality and Interaction (LORI 2013), Oct 2013, Hangzhou, China. pp.162-175, ⟨10.1007/978-3-642-40948-6_13⟩

Communication dans un congrès hal-01226475v1
Deposit thumbnail

Dynamic logic of propositional assignments : a well-behaved variant of PDL

Philippe Balbiani , Andreas Herzig , Nicolas Troquard

28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), Jun 2013, New Orleans, LA, United States. pp.143-152, ⟨10.1109/LICS.2013.20⟩

Communication dans un congrès hal-01240721v1
Deposit thumbnail

Combining equilibrium logic and dynamic logic

Luis Fariñas del Cerro , Andreas Herzig , Ezgi Iraz Su

12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Sep 2013, Corunna, Spain. pp.304-316

Communication dans un congrès hal-01228754v1
Deposit thumbnail

Quand le raisonnement sur les actions rencontre les logiques stratégiques (MFI 2013)

Andreas Herzig , Emiliano Lorini , Dirk Walther

Secondes journées francophones sur les Modèles Formels de l'Interaction (MFI 2013), Jul 2013, Lille, France

Communication dans un congrès hal-03464938v1
Deposit thumbnail

Logiques pour le changement de croyances : une histoire de tout, ou presque

Andreas Herzig

7èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Groupe de recherche : GdR I3 (Information – Interaction – Intelligence); LSIS : Laboratoire des Sciences de l'Information et des Systèmes, (UMR 7296), Marseille, Jun 2013, Aix-en-Provence, France. pp.164-171

Communication dans un congrès hal-03464937v1

Trois traditions en logiques d'action: vers une unification

Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard

6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012), May 2012, Toulouse, France

Communication dans un congrès hal-03464947v1

Uniform Strategies in the Dynamic Epistemic Logic of Propositional Control

Andreas Herzig

2nd Workshop on Dynamics in Logic (Dynamics in Logic II 2012), Mar 2012, Lille, France

Communication dans un congrès hal-03464942v1
Deposit thumbnail

Some truths are best left unsaid

Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig , Tiago de Lima

9th conference on Advances in Modal logic (AiML 2012), Aug 2012, Copenhagen, Denmark. pp.36-54

Communication dans un congrès hal-00866705v1

A computationally grounded dynamic logic of agency, with application to legal actions

Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard

11h International Conference on Deontic Logic in Computer Science (DEON 2012), Jun 2012, Bergen, Norway. pp.170-183, ⟨10.1007/978-3-642-31570-1_12⟩

Communication dans un congrès hal-00866707v1

Logics of propositional control

Andreas Herzig

1st Workshop on Dynamics in Logic (2011), Vrije Universiteit Brussels (V.U.B), May 2011, Brussels, Belgium

Communication dans un congrès hal-03470297v1
Deposit thumbnail

The modal logic of equilibrium models

Luis Fariñas del Cerro , Andreas Herzig

8th International Symposium on Frontiers of Combining Systems (FroCoS 2011), Oct 2011, Saarbrucken, Germany. pp.135--146

Communication dans un congrès hal-03470290v1

A dynamic logic of institutional actions

Andreas Herzig , Emiliano Lorini , Nicolas Troquard

12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2011), Jul 2011, Barcelona, Spain. pp.295-311, ⟨10.1007/978-3-642-22359-4_21⟩

Communication dans un congrès hal-03470289v1
Deposit thumbnail

Agents that speak: modelling communicative plans and information sources in a logic of announcements

Philippe Balbiani , Nadine Guiraud , Andreas Herzig , Emiliano Lorini

10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), International Foundation for Autonomous Agents and Multiagent Systems, May 2011, Taipei, Taiwan. pp.1207-1208

Communication dans un congrès hal-03464951v1

Logics of Contingency

Luis Fariñas del Cerro , Andreas Herzig

AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI: Association for the Advancement of Artificial Intelligence, Mar 2011, Stanford, California, United States

Communication dans un congrès hal-03470300v1

Propositional assignments, announcements, and their applications to logics of action and agency

Andreas Herzig

4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2011), Nov 2011, Osuna, Spain

Communication dans un congrès hal-03470294v1
Deposit thumbnail

How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments

Benoit Gaudou , Andreas Herzig , Emiliano Lorini , Christophe Sibertin-Blanc

International Workshop on Multi-Agent Systems and Agent-Based Simulation (MABS 2011), May 2011, Taipei, Taiwan. pp.59-73, ⟨10.1007/978-3-642-28400-7_5⟩

Communication dans un congrès hal-03470293v1

On the relation between STIT theory and the logic of programs

Andreas Herzig

Semantics & Philosophy in Europe (SPE4 2011), Ruhr University Bochum, Sep 2011, Bochum, Germany

Communication dans un congrès hal-03470296v1
Deposit thumbnail

Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations

Benoit Gaudou , Andreas Herzig , Emiliano Lorini , Christophe Sibertin-Blanc

6èmes Journees francophones sur les Modèles Formels de l'Interaction (MFI 2011), Jun 2011, Rouen, France

Communication dans un congrès hal-03470298v1

A dynamic logic of normative systems

Andreas Herzig , Emiliano Lorini , Frédéric Moisan , Nicolas Troquard

22rd International Joint Conference on Artificial Intelligence (IJCAI 2011), Jul 2011, Barcelona, Spain. pp.228-233

Communication dans un congrès hal-03464955v1

Contingency-based equilibrium logic

Luis Fariñas del Cerro , Andreas Herzig

11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), May 2011, Vancouver, Canada. pp.223-228, ⟨10.1007/978-3-642-20895-9_23⟩

Communication dans un congrès istex hal-03464952v1

Tableaux for Acceptance Logic

Mathijs de Boer , Andreas Herzig , Tiago de Lima , Emiliano Lorini

7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.85-100, ⟨10.1007/978-3-642-11355-0_6⟩

Communication dans un congrès hal-03470302v1
Deposit thumbnail

Dynamic languages of propositional control for protocol specification

Andreas Herzig , Nicolas Troquard

Workshop "Logics in Security" at (ESSLLI 2010), Aug 2010, Copenhague, Denmark

Communication dans un congrès hal-03470306v1

Logics of propositional control: a Swiss knife for MAS

Andreas Herzig

Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Aug 2010, Lyon, France

Communication dans un congrès hal-03474446v1
Deposit thumbnail

Trust in complex actions (ECAI 2010)

Julien Bourdon , Guillaume Feuillade , Andreas Herzig , Emiliano Lorini

19th European Conference on Artificial Intelligence (ECAI 2010), Aug 2010, Lisbon, Portugal. pp.1037-1038, ⟨10.3233/978-1-60750-606-5-1037⟩

Communication dans un congrès hal-03470308v1

A Dynamic Logic for Termgraph Rewriting

Philippe Balbiani , Rachid Echahed , Andreas Herzig

5th International Conference on Graph Transformations (ICGT 2010), 2010, Twente, Netherlands. pp.59-74, ⟨10.1007/978-3-642-15928-2_5⟩

Communication dans un congrès istex hal-00940868v1

Tableau systems for MAS logics: implementing your prover in LoTREC

Andreas Herzig

Workshop on Logics for Resource-Bounded Agents at Multi-Agent Logics, Languages, and Organisations Federated Workshops (LRBA @ MALLOW 2010), Aug 2010, Lyon, France

Communication dans un congrès hal-03474447v1

A Logical Account of Lying

Chiaki Sakama , Martin Caminada , Andreas Herzig

12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Sep 2010, Helsinki, Finland. pp.286-299, ⟨10.1007/978-3-642-15675-5_25⟩

Communication dans un congrès istex hal-03474445v1
Deposit thumbnail

Trust in complex actions (ESSLLI 2010)

Julien Bourdon , Guillaume Feuillade , Andreas Herzig , Emiliano Lorini

Workshop Logics in Security @ 22rd European Summer School in Logic, Language and Information (ESSLLI 2010), Aug 2010, Copenhagen, Denmark

Communication dans un congrès hal-03470307v1

Speech acts as announcements (LSIR2)

Nadine Guiraud , Andreas Herzig , Emiliano Lorini

Second international workshop on Logic and the Simulation of Interaction and Reasoning @ IJCAI (LSIR 2009), Jul 2009, Pasadena, United States

Communication dans un congrès hal-03474456v1

A protocol for execution of distributed logic programs

László Aszalós , Andreas Herzig

3rd International Symposium on Intelligent Distributed Computing (IDC 2009), Oct 2009, Ayia Napa, Cyprus. pp.21-30, ⟨10.1007/978-3-642-03214-1_3⟩

Communication dans un congrès istex hal-03474457v1
Deposit thumbnail

Dynamic context logic and its application to norm change

Guillaume Aucher , Davide Grossi , Andreas Herzig , Emiliano Lorini

Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271

Communication dans un congrès hal-03526732v1

On the Dynamics of Institutional Agreements (KRAMAS 2008)

Andreas Herzig , Tiago de Lima , Emiliano Lorini

1st International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia. pp.66-80, ⟨10.1007/978-3-642-05301-6_5⟩

Communication dans un congrès istex hal-03474452v1
Deposit thumbnail

Speech acts as announcements (Dagstuhl Seminar on Information processing, rational belief change and social interaction, Dagstuhl, Germany, 23/08/09-27/08/09)

Nadine Guiraud , Andreas Herzig , Emiliano Lorini

Dagstuhl Seminar on Information processing, rational belief change and social interaction, Aug 2009, Dagstuhl, Germany

Communication dans un congrès hal-03526731v1

Intentions and assignments

Emiliano Lorini , Mehdi Dastani , Hans Van Ditmarsch , Andreas Herzig , John-Jules Meyer

2nd Workshop on Logic, Rationality and Interaction (LORI-II 2009), Oct 2009, Chongqing, China. pp.198-211, ⟨10.1007/978-3-642-04893-7_16⟩

Communication dans un congrès hal-03526727v1

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together

Emiliano Lorini , François Schwarzentruber , Andreas Herzig

Second International Workshop on Logic, Rationality and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.212-226, ⟨10.1007/978-3-642-04893-7_17⟩

Communication dans un congrès hal-03474460v1
Deposit thumbnail

Unifying the intentional and institutional semantics of speech acts

Carole Adam , Andreas Herzig , Dominique Longin , Vincent Louis

7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.1-19

Communication dans un congrès hal-03474450v2
Deposit thumbnail

Dynamic context logic

Guillaume Aucher , Davide Grossi , Andreas Herzig , Emiliano Lorini

Second International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩

Communication dans un congrès istex inria-00556156v1
Deposit thumbnail

Logical formalization of social commitments: Application to Agent Communication Languages (short version)

Benoit Gaudou , Andreas Herzig , Dominique Longin

8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), May 2009, Budapest, Hungary. pp.1293-1294

Communication dans un congrès hal-03474454v1

Trust Based Evaluation of Wikipedia's Contributors

Yann Krupa , Laurent Vercouter , Jomi F. Hübner , Andreas Herzig

10th International Workshop on Engineering Societies in the Agents World (ESAW 2009), Nov 2009, Utrecht, Unknown Region. pp.148-161, ⟨10.1007/978-3-642-10203-5_13⟩

Communication dans un congrès istex hal-03474459v1
Deposit thumbnail

From cognitive trust theories to computational trust

Jomi F. Hübner , Emiliano Lorini , Laurent Vercouter , Andreas Herzig

12th International Workshop on Trust in Agent Societies (TRUST 2009 @ AAMAS 2009), May 2009, Budapest, Hungary

Communication dans un congrès hal-03474453v1
Deposit thumbnail

Logics of Context for Multi-Agent Systems

Andreas Herzig , Emiliano Lorini

4th ECAI Workshop on Context and ontologies (C&O 2008), Jul 2008, Patras, Greece

Communication dans un congrès hal-03526737v1

Prime implicate-based belief revision operators

Meghyn Bienvenu , Andreas Herzig , Guilin Qi

18th European Conference on Artificial Intelligence (ECAI 2008), Jul 2008, Patras, Greece. pp.741-742

Communication dans un congrès hal-03526743v1

Introspective Forgetting

Hans van Ditmarsch , Andreas Herzig , Jérôme Lang , Pierre Marquis

21st Australasian Joint Conference on Artificial Intelligence (AI 2008), Dec 2008, Auckland, New Zealand. pp.18-29, ⟨10.1007/978-3-540-89378-3_2⟩

Communication dans un congrès hal-00800753v1

What do we accept after an announcement?

Andreas Herzig , Tiago de Lima , Emiliano Lorini

Prague International Colloquium : Logic of change, change of logic (LoCCoL 2008), Sep 2008, Prague, Czech Republic

Communication dans un congrès hal-03526740v1

Uniform interpolation by resolution in modal logic

Andreas Herzig , Jérôme Mengin

11th European Conference on Logics in Artificial Intelligence (JELIA 2008), Sep 2008, Dresden, Germany. pp.219--231, ⟨10.1007/978-3-540-87803-2_19⟩

Communication dans un congrès istex hal-03526738v1

Properties of logics of individual and group agency

Andreas Herzig , François Schwarzentruber

7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149

Communication dans un congrès hal-03526736v1
Deposit thumbnail

Prolegomena for a logic of trust and reputation

Andreas Herzig , Emiliano Lorini , Jomi Fred Hübner , Jonathan Ben-Naim , Olivier Boissier et al.

3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Jul 2008, Luxembourg, Luxembourg. pp.143-157

Communication dans un congrès hal-00405595v1

Static and dynamic aspects of knowledge about powers

Andreas Herzig , Emiliano Lorini

International Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic

Communication dans un congrès hal-03526741v1

What Do We Accept After an Announcement ? (KRAMAS 2008)

Andreas Herzig , Tiago de Lima , Emiliano Lorini

1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia

Communication dans un congrès hal-03526739v1
Deposit thumbnail

De DEL à EDL ou comment illustrer la puissance des événements inverses

Guillaume Aucher , Andreas Herzig

4èmes Journées francophones sur les Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.253-260

Communication dans un congrès hal-03516654v1

From DEL to EDL: exploring the power of converse events (ECSQARU 2007)

Guillaume Aucher , Andreas Herzig

9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), 2007, Hammamet, Tunisia. pp.199-209, ⟨10.1007/978-3-540-75256-1_20⟩

Communication dans un congrès istex inria-00556150v1

Delegation and mental states

Emiliano Lorini , Nicolas Troquard , Andreas Herzig , Cristiano Castelfranchi

6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2007, Honolulu, Hawaii, United States. pp.610--612, ⟨10.1145/1329125.1329311⟩

Communication dans un congrès hal-03516642v1

Talkin'bout Kripke models

Philippe Balbiani , Andreas Herzig

International Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland

Communication dans un congrès hal-03516648v1

A tableau method for public announcement logics

Philippe Balbiani , Hans Van Ditmarsch , Andreas Herzig , Tiago de Lima

16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Jul 2007, Aix-en-Provence, France. pp.43-59, ⟨10.1007/978-3-540-73099-6_6⟩

Communication dans un congrès hal-03516645v1
Deposit thumbnail

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 et al.

Theoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Bruxelles, Belgium. pp.42-51, ⟨10.1145/1324249.1324259⟩

Communication dans un congrès hal-03516650v1
Deposit thumbnail

A normal simulation of coalition logic and an epistemic extension

Jan Broersen , Andreas Herzig , Nicolas Troquard

Theoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Brussels, Belgium. pp.91-101, ⟨10.1145/1324249.1324264⟩

Communication dans un congrès hal-03516647v1

Optimal Regression for Reasoning about Knowledge and Actions

Hans Van Ditmarsch , Andreas Herzig , Tiago de Lima

Conference on Artificial Intelligence 2007, AAAI: Association for the Advancement of Artificial Intelligence, Jul 2007, Vancouver, Canada. pp.1070-1075

Communication dans un congrès hal-03516644v1

Raisonnement sur les actions : de Toronto à Amstermdam

Hans Van Ditmarsch , Andreas Herzig , Tiago de Lima

4èmes Journées francophones Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.127-138

Communication dans un congrès hal-03516651v1
Deposit thumbnail

OCC's emotions: a formalization in a BDI logic

Carole Adam , Benoit Gaudou , Andreas Herzig , Dominique Longin

12th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006), Sep 2006, Varna, Bulgaria. pp.24-32, ⟨10.1007/11861461_5⟩

Communication dans un congrès hal-03537167v1
Deposit thumbnail

Elaborating domain descriptions (NMR 2006)

Andreas Herzig , Laurent Perrussel , Ivan Varzinczak

11th International Workshop on Nonmonotonic Reasoning (NMR 2006), May 2006, Lake District, United Kingdom

Communication dans un congrès hal-03537163v1

Introducing attempt in a modal logic of intentional action

Emiliano Lorini , Andreas Herzig , Cristiano Castelfranchi

10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.280-292, ⟨10.1007/11853886_24⟩

Communication dans un congrès istex hal-03537169v1

LoTREC: An environment for experiencing Kripke Semantics

Luis Fariñas del Cerro , Olivier Gasquet , Andreas Herzig , Mohamad Sahade

2nd International Congress on Tools for Teaching Logic (TTL 2006), Sep 2006, Salamanca, Spain. pp.41-44

Communication dans un congrès hal-03537175v1
Deposit thumbnail

Elaborating domain descriptions (ECAI 2006)

Andreas Herzig , Laurent Perrussel , Ivan Varzinczak

17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401

Communication dans un congrès hal-03537160v1
Deposit thumbnail

A logical framework for an emotionally aware intelligent environment

Carole Adam , Benoit Gaudou , Andreas Herzig , Dominique Longin

Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI 2006), Aug 2006, Riva de Garda, Italy

Communication dans un congrès hal-03519756v1
Deposit thumbnail

Modélisation logique d'agents rationnels pour l'intelligence ambiante

Carole Adam , Fabrice Evrard , Benoit Gaudou , Andreas Herzig , Dominique Longin

14èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2006), Oct 2006, Annecy, France. pp.81-94

Communication dans un congrès hal-03537168v1

From Coalition Logic to STIT

Jan Broersen , Andreas Herzig , Nicolas Troquard

Third International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), Aug 2005, Edinburgh, Scotland, United Kingdom. pp.23-35, ⟨10.1016/j.entcs.2006.02.011⟩

Communication dans un congrès hal-03537164v1

Une plateforme de raisonnement par tableaux

Olivier Gasquet , Andreas Herzig , Mohamad Sahade

XVe Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Jan 2006, Tours, France

Communication dans un congrès hal-03537171v1
Deposit thumbnail

A New Semantics for the FIPA Agent Communication Language based on Social Attitudes

Benoit Gaudou , Andreas Herzig , Dominique Longin , Matthias Nickles

17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Trento, Italy. pp.245-249

Communication dans un congrès hal-03537159v1

Knowing How to Play: Uniform Choices in Logics of Agency

Andreas Herzig , Nicolas Troquard

5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), IFMAS; SIGAI; ATAL, May 2006, Hakodate, Japan. pp.209-216, ⟨10.1145/1160633.1160666⟩

Communication dans un congrès hal-03516656v1

A STIT-extension of ATL

Jan Broersen , Andreas Herzig , Nicolas Troquard

10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.69-81, ⟨10.1007/11853886_8⟩

Communication dans un congrès istex 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

Communication dans un congrès hal-03537176v1

A modularity approach for a fragment of ALC

Andreas Herzig , Ivan Varzinczak

10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.216-228, ⟨10.1007/11853886_19⟩

Communication dans un congrès istex hal-03537161v1
Deposit thumbnail

Grounding and the expression of belief

Benoit Gaudou , Andreas Herzig , Dominique Longin

10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Jun 2006, Windermere, United Kingdom. pp.211-229

Communication dans un congrès hal-03516657v1

The hidden faces of Intention: using STIT to discover them

Andreas Herzig , Emiliano Lorini , Nicolas Troquard , Robert Trypuz

Trends in Logic IV - Studia Logica International Conference: Towards Mathematical Philosophy (Trends in Logic IV 2006), Sep 2006, Toruñ, Poland

Communication dans un congrès hal-03537166v1

Epistemic Actions and Ontic Actions: a Unified Logical Framework

Andreas Herzig , Tiago de Lima

2nd International Joint Conference: 10th Ibero-American Conference on AI and 18th Brazilian AI Symposium (IBERAMIA-SBIA 2006), Oct 2006, Ribeirão Preto, Brazil. pp.409-418, ⟨10.1007/11874850_45⟩

Communication dans un congrès istex hal-03537162v1
Deposit thumbnail

Inferring trust (CLIMA 2005)

Mehdi Dastani , Andreas Herzig , Joris Hulstijn , Leendert W. N. van Der Torre

Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2005), Sep 2005, Lisbon, Portugal. pp.144-160

Communication dans un congrès hal-03519766v1
Deposit thumbnail

On updates with integrity constraints (Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics , Dagstuhl (Germany), 07/08/05-12/08/05)

Andreas Herzig

Dagstuhl Seminar : Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005), Aug 2005, Dagstuhl, Germany

Communication dans un congrès hal-03519767v1
Deposit thumbnail

Action progression and revision in multiagent belief structures

Andreas Herzig , Jérôme Lang , Pierre Marquis

6th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005) @ IJCAI 2005, Aug 2005, Edinburgh, Scotland, Royaume-Uni

Communication dans un congrès hal-03519760v1
Deposit thumbnail

On the modularity of theories

Andreas Herzig , Ivan Varzinczak

5th Conference on Advances in Modal logic (AiML 2004), Sep 2004, Manchester, United Kingdom. pp.93-109

Communication dans un congrès hal-03519763v1
Deposit thumbnail

Establishing Mutual Beliefs by Joint Attention: towards a Formal Model of Public Events

Emiliano Lorini , Luca Tummolini , Andreas Herzig

XXVII Annual Conference of the Cognitive Science Society 2005, Cognitive Science Society, Jul 2005, Stresa, Italy. pp.1325-1330

Communication dans un congrès hal-03519770v1
Deposit thumbnail

Cohesion, coupling and the meta-theory of actions

Andreas Herzig , Ivan Varzinczak

19th International Joint Conference on Artificial Intelligence (IJCAI 2005), The International Joint Conferences on Artificial Intelligence, Jul 2005, Edinburgh, United Kingdom. pp.442-447

Communication dans un congrès hal-03519768v1
Deposit thumbnail

A logical framework for grounding-based dialogue analysis

Benoit Gaudou , Andreas Herzig , Dominique Longin

3rd international workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Aug 2005, Edinburgh, United Kingdom

Communication dans un congrès hal-03535632v2
Deposit thumbnail

Position Paper: Paraconsistent Reasoning for the Semantic Web

Sebastian Schaffert , Francois Bry , Philippe Besnard , Hendrik Decker , Stephan Decker et al.

Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2005) @ ISWC 2005, Nov 2005, Galway, Ireland

Communication dans un congrès hal-03519764v1
Deposit thumbnail

Domain descriptions should be modular

Andreas Herzig , Ivan Varzinczak

10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Jun 2004, Whistler, Canada

Communication dans un congrès hal-03519772v1
Deposit thumbnail

Revision and update in multiagent belief structures

Andreas Herzig , Jérôme Lang , Pierre Marquis

6th Conference on Logic and the Foundations of Game and Decision Theory (LOFT6 2004), Jul 2004, Leipzig, Germany. pp.1-10

Communication dans un congrès hal-03519775v1
Deposit thumbnail

Inferring trust (CLIMA 2004)

Mehdi Dastani , Andreas Herzig , Joris Hulstijn , Leendert W. N. van Der Torre

Fifth workshop on computational logic in multi-agent systems (CLIMA V 2004) à JELIA 2004, Sep 2004, Lisbon, Portugal. pp.144-160

Communication dans un congrès hal-03519776v1
Deposit thumbnail

C&L intention revisited

Andreas Herzig , Dominique Longin

9th International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Jun 2004, Whistler, Canada. pp.527-535

Communication dans un congrès hal-03519771v1

Obligation change in dependence logic and situation calculus

Robert Demolombe , Andreas Herzig

7th International Workshop on Deontic Logic in Computer Science (DEON 2004), May 2004, Madeira, Portugal. pp.57-73, ⟨10.1007/978-3-540-25927-5_6⟩

Communication dans un congrès istex hal-03519773v1

Calcul des intentions d'agent à partir de ses désirs

Leila Amgoud , David Mercier , Andreas Herzig

Secondes Journées Francophones sur les Modèles Formels de l'Interaction (MFI 2003), May 2003, Lille, France. pp.3-9

Communication dans un congrès hal-03534098v1
Deposit thumbnail

On modal probability and belief

Andreas Herzig , Dominique Longin

European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.62-73, ⟨10.1007/b11792⟩

Communication dans un congrès hal-03534094v1
Deposit thumbnail

Action representation and partially observable planning using epistemic logic

Andreas Herzig , Jérôme Lang , Pierre Marquis

18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Aug 2003, Acapulco, Mexico. pp.1067-1072, ⟨10.5555/1630659.1630812⟩

Communication dans un congrès hal-03300970v1

Domain descriptions should be modular (preliminary draft)

Andreas Herzig , Ivan Varzinczak

Electronic Festschrift for the 60th Anniversary of Norman Foo, Nov 2003, Sydney, Australia

Communication dans un congrès hal-03534102v1

Regression in modal logic

Robert Demolombe , Andreas Herzig , Ivan Varzinczak

Workshop Methods for Modalities (M4M 2003), Sep 2003, Nancy, France. pp.165-185, ⟨10.3166/jancl.13.165-185⟩

Communication dans un congrès hal-03534096v1
Deposit thumbnail

On iterated revision in the AGM framework

Andreas Herzig , Sébastien Konieczny , Laurent Perrussel

7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.477-488, ⟨10.1007/978-3-540-45062-7_39⟩

Communication dans un congrès hal-03300685v1
Deposit thumbnail

Modal probability, belief, and actions

Andreas Herzig

1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR 2003), 2003, Olsztyn, Poland. pp.323-344

Communication dans un congrès hal-03534101v1

Beliefs, intentions, actions and speech acts

Andreas Herzig , Dominique Longin

Seventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck 2003), Sep 2003, Wallerfangen, Allemagne

Communication dans un congrès hal-03534095v1
Deposit thumbnail

Sensing and revision in a modal logic of belief and action

Andreas Herzig , Dominique Longin

European Conference on Artificial Intelligence (ECAI'02), Jul 2002, Lyon, France. pp.307-311

Communication dans un congrès hal-03534105v1
Deposit thumbnail

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 pour l’Intelligence Artificielle; Association Française pour la Reconnaissance et l'Interprétation des Formes, Jan 2002, Angers, France

Communication dans un congrès hal-03534110v1
Deposit thumbnail

It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation

Marcos Alexandre Castilho , Andreas Herzig , Ivan Varzinczak

9th International Workshop on Non-Monotonic Reasoning (NMR 2002), Apr 2002, Toulouse, France

Communication dans un congrès hal-03534109v1
Deposit thumbnail

I thought you didn't know! On belief revision in dynamic doxastic logic

Andreas Herzig , Jérôme Lang , Dominique Longin

5th International Conference on Logic and the Foundations of Game and Decision Theory (LOFT5 2002), Jun 2002, Torino, Italy

Communication dans un congrès hal-03534106v1
Deposit thumbnail

A logic of intention with cooperation principles and with assertive speech acts as communication primitives

Andreas Herzig , Dominique Longin

1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Jul 2002, Bologna, Italy. pp.920-927, ⟨10.1145/544862.544954⟩

Communication dans un congrès hal-03534107v1

Updates, actions and planning

Andreas Herzig , Jérôme Lang , Pierre Marquis , Polacsek Thomas

17th International Joint Conference on Artificial Intelligence (IJCAI 2001), 2001, Seattle, Washington, United States. pp.119-124

Communication dans un congrès hal-03300976v1
Deposit thumbnail

Lotrec: a generic tableau prover for modal and description logics

Luis Fariñas del Cerro , David Fauthoux , Olivier Gasquet , Andreas Herzig , Dominique Longin et al.

International Joint Conference on Automated Reasoning (IJCAR 2001), Jun 2001, Siena, Italy. pp.453-458

Communication dans un congrès hal-03523405v1
Deposit thumbnail

Actions perceptives et non-perceptives dans une logique de croyances et intentions

Olivier Gasquet , Andreas Herzig , Dominique Longin

Premières Journées Francophones des Modèles formels de l'interaction (MFI'01), May 2001, Toulouse, France

Communication dans un congrès hal-03523410v1
Deposit thumbnail

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 et al.

Premières Journées Francophones des Modèles Formels de l'Interaction (MFI'01), May 2001, Toulouse, France

Communication dans un congrès hal-03523408v2

Reasoning about Failure

Laszlo Aszalos , Andreas Herzig

2nd International Workshop on Engineering Societies in the Agents World (ESAW 2001), Jul 2001, Prague, Czech Republic. pp.74-86, ⟨10.1007/3-540-45584-1_6⟩

Communication dans un congrès istex hal-03523409v1

Planning as abduction

Andreas Herzig , Jérôme Lang , Pierre Marquis

Workshop on Planning under Uncertainty @ IJCAI 2001, Aug 2001, Seattle, United States

Communication dans un congrès hal-03523406v1
Deposit thumbnail

A logic for planning under partial observability (AIPS 2000)

Andreas Herzig , Jérôme Lang , Dominique Longin , Thomas Polacsek

5th international conference on Artificial Intelligence Planning and Scheduling (AIPS 2000), Apr 2000, Breckenridge, CO, United States

Communication dans un congrès hal-03523419v1
Deposit thumbnail

A modal logic for epistemic tests

Andreas Herzig , Jérôme Lang , Thomas Polacsek

14th European Conference on Artificial Intelligence (ECAI 2000), Aug 2000, Berlin, Germany. pp.553-557

Communication dans un congrès hal-03523413v1

Actes de langage non-littéraux et approche intentionnelle du dialogue

Rémi Faure , Andreas Herzig , Dominique Longin , Jacques Virbel

Etats Généraux de la Recherche en Sciences Cognitives de Toulouse (2000), Oct 2000, Toulouse, France

Communication dans un congrès hal-03523412v1
Deposit thumbnail

A Topic-Based Framework for Rational Interaction

Andreas Herzig , Dominique Longin

7e conférence annuelle sur le Traitement Automatique des Langues Naturelles (TALN-2000), Oct 2000, Lausanne, Switzerland

Communication dans un congrès hal-03523416v1
Deposit thumbnail

A logic for planning under partial observability (AAAI 2000)

Andreas Herzig , Jérôme Lang , Dominique Longin , Thomas Polacsek

17th National Conference on Artificial Intelligence (AAAI 2000), Association for the Advancement of Artificial Intelligence, Jul 2000, Austin, Texas, United States. pp.768-773

Communication dans un congrès hal-03523445v1
Deposit thumbnail

Towards an Analysis of Dialogue Acts and Indirect Speech Acts in a BDI Framework

Andreas Herzig , Dominique Longin , Jacques Virbel

4h International Workshop on the Semantics and Pragmatics of Dialogue (Götalog'2000), Feb 2000, Goteborg, Sweden

Communication dans un congrès hal-03523411v1
Deposit thumbnail

Qualitative relevance and independence: a roadmap

Didier Dubois , Andreas Herzig , Henri Prade , Luis Fariñas del Cerro

15th International Joint Conference on Artificial Intelligence (IJCAI 1997), The International Joint Conferences on Artificial Intelligence organization; Japanese Society for Artificial Intelligence (JSAI), Aug 1997, Nagoya, Japan. pp.62--67

Communication dans un congrès hal-04034585v1

Lois, structures et dépendances (groupe LSD)

Salem Benferhat , Philippe Besnard , Laurence Cholvy , Robert Demolombe , Didier Dubois et al.

6èmes journées nationales du PRC-GDR Intelligence Artificielle (PRC-GDR IA 1997), Mar 1997, Grenoble, France. pp.145-160

Communication dans un congrès hal-03300192v1

How to change factual beliefs using laws and dependence information

Andreas Herzig

1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR 1997), Jun 1997, Bad Honnef, Germany. pp.311-321, ⟨10.1007/BFb0035631⟩

Communication dans un congrès istex 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⟩

Communication dans un congrès istex 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 et al.

5èmes Journées Nationales du PRC-GDR : Intelligence Artificielle (1995), Groupe de Recherche IA du CNRS, Feb 1995, Nancy, France. pp.77--121

Communication dans un congrès hal-04050876v1

Qualitative possibilistic independence, plausible reasoning and belief revision

Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade

Workshop on Nonmonotonic Reasoning Action and Change (NRAC 1995) in conjunction with IJCAI 1995, Aug 1995, Montréal, Canada

Communication dans un congrès hal-04053421v1

An ordinal view of independence, plausible reasoning and belief revision

Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade

10th Conference on Uncertainty in Artificial Intelligence (UAI 1994), Jul 1994, Seattle, WA, United States. pp.195--203

Communication dans un congrès hal-04057358v1

An ordinal view of independence with application to plausible reasoning

Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade

10th Conference on Uncertainty in Artificial Intelligence (UAI 1994), Association for Uncertainty in Artificial Intelligence, Jul 1994, Seattles, United States. pp.195-203, ⟨10.1016/B978-1-55860-332-5.50030-4⟩

Communication dans un congrès hal-04029858v1

A modal analysis of possibility theory

Luis Fariñas del Cerro , Andreas Herzig

European Conference on Symbolic and Quantitative Approaches to Uncertainty (ECSQARU 1991), Oct 1991, Marseille, France. pp.58-62, ⟨10.1007/3-540-54659-6_66⟩

Communication dans un congrès istex hal-04058278v1
Deposit thumbnail

Poster sur ``La logique facile avec TouIST

Olivier Gasquet , Andreas Herzig , Dominique Longin , Frédéric Maris , Maël Valais

Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017

Poster de conférence hal-03116309v1

L’intelligence Artificielle: De quoi s’agit-il vraiment ?

Frédéric Alexandre , Leila Amgoud , Christian Bessiere , Jean-François Bonnefon , Tristan Cazenave et al.

Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502

Ouvrages hal-04270163v1

Social Intelligence

Andreas Herzig , Emiliano Lorini , David Pearce

Herzig; Andreas and Lorini; Emiliano and Pearce; David. Springer, 34, pp.689, 2019, AI & Society, ⟨10.1007/s00146-017-0782-8⟩

Ouvrages hal-02976598v1

Logic, Leadership and Enthusiasm: A Festschrift in Honour of Luis Fariñas del Cerro

Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce

Cabalar, Pedro; Dieguez, Martin; Herzig, Andreas; Pearce, David. Taylor & Francis Group, 27 (3-4), 2017, Journal of Applied Non-Classical Logics, ISSN 1166-3081. ⟨10.1080/11663081.2018.1439360⟩

Ouvrages hal-03128333v1

The Cognitive Foundations of Group Attitudes and Social Interaction

Andreas Herzig , Emiliano Lorini

Herzig, Andreas; Lorini, Emiliano. Springer, 5, 2015, Studies in the Philosophy of Sociality, 978-3319217314. ⟨10.1007/978-3-319-21732-1⟩

Ouvrages hal-03213935v1

Kripke's Worlds: An introduction to modal logics via tableaux

Olivier Gasquet , Andreas Herzig , Bilal Said , François Schwarzentruber

Springer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic - Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩

Ouvrages hal-03220769v1

ECSI 2014: European Conference on Social Intelligence, Proceedings of the European Conference on Social Intelligence (ECSI-2014) Barcelona, Spain, November 3-5, 2014

Andreas Herzig , Emiliano Lorini

Herzig, Andreas; Lorini, Emiliano. CEUR Workshop Proceedings, 1283, pp.1-358, 2014, ISSN 1613-0073

Ouvrages hal-03260614v1

Special issue on Logic and the Foundations of the Theory of Games and Decisions (Selected papers LOFT 9, Toulouse, 2010)

Giacomo Bonanno , Andreas Herzig , Wiebe van Der Hoek , Jérôme Lang

Bonanno, Giacomo; Herzig, Andreas; Lang, Jérôme; Van Der Hoek, Wiebe. Springer, 42 (3), 2013, Special issue of Internatinal Journal of Game theory, ISSN 0020-7276

Ouvrages hal-03464935v1

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

Luis Fariñas del Cerro , Andreas Herzig , Jérôme Mengin

Fariñas del Cerro, Luis; Herzig, Andrea; Mengin, Jérôme. Springer-Verlag, 7519, 2012, Lecture Notes in Computer Science book series, 978-3-642-33352-1

Ouvrages hal-03464945v1

Logical Aspects of Game Theory (LOFT 2010)

Giacomo Bonanno , Andreas Herzig , Jérôme Lang , Wiebe van Der Hoek

Bonanno, Giacomo; Herzig, Andreas; Lang, Jérôme; Van Der Hoek, Wiebe. Hermès, 21 (3-4), 2011, Journal of Applied Non-Classical Logics, ISSN: 1166-3081 (Print) 1958-5780 (Online)

Ouvrages hal-03470299v1

Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2

Philippe Balbiani , Andreas Herzig , Luis Fariñas del Cerro

Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics

Ouvrages hal-03470292v1

Special issue on commonsense reasoning for the semantic web

Frank van Harmelen , Andreas Herzig , Pascal Hitzler , Guilin Qi

Van Harmelen, Frank; Herzig, Andreas; Hitzler, Pascal; Qi, Guilin. Springer, 58 (1-2), 2010, Annals of Mathematics and Artificial Intelligence, ISSN : 1573-7470

Ouvrages hal-03474449v1

NRAC 2009: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, CA (USA), 11/07/2009

Andreas Herzig , Benjamin Johnston

Herzig, Andreas; Johnston, Benjamin. UTSePress, University of Technology, Sydney, 2009, 978-0-9802840-7-2

Ouvrages hal-03526729v1

Belief revision and dynamic logic (JANCL n°2, 17/2007)

Hans Van Ditmarsch , Andreas Herzig

van Ditmarsch, Hans; Herzig, Andreas. Hermès, 17 (2), pp.125-273, 2007, Journal of Applied Non-Classical Logics, ISSN 1166-3081 (Print) ISSN 1958-5780 (Online)

Ouvrages hal-03516652v1

Logical approaches to paraconsistency : best papers WCP III 2003

Philippe Besnard , Andreas Herzig

Besnard, Philippe; Herzig, Andreas. Hermès, Special issue 15 (1), 103p., 2005, Journal of Applied Non-Classical Logics

Ouvrages hal-03519757v1

Belief Change: Theory and Practice

Samir Chopra , Andreas Herzig

Chopra, Samir; Herzig, Andreas. Hermès, 11 (1-2), 2001, Journal of Applied Non-Classical Logics - Special issue CFP: Belief Change Workshop at Workshop on Non-Monotonic Reasoning (NMR 2000), ISSN 1166-3081

Ouvrages hal-03523407v1

Conditionals: From Philosophy to Computer Science

Gabriella Grocco , Luis Fariñas del Cerro , Andreas Herzig

Clarendon Press, 5, pp.1-376, 1996, Studies in Logic and Computation, 978-0198538615

Ouvrages hal-04053312v1
Deposit thumbnail

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

Andreas Herzig , Antonio Yuste-Ginel

Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, 13040, Springer International Publishing, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. ⟨10.1007/978-3-030-89391-0_11⟩

Chapitre d'ouvrage hal-03573580v1
Deposit thumbnail

Epistemic Reasoning About Rationality and Bids in Auctions

Munyque Mittelmann , Andreas Herzig , Laurent Perrussel

Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩

Chapitre d'ouvrage hal-03573581v1
Deposit thumbnail

Reasoning About Action and Change

Florence Dupin de Saint-Cyr , Andreas Herzig , Jérôme Lang , Pierre Marquis

Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.487-518, 2020, Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_15⟩

Chapitre d'ouvrage hal-03015828v1

Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning

Andreas Herzig , Philippe Besnard

Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630. ⟨10.1007/978-3-030-06164-7_2⟩

Chapitre d'ouvrage hal-03015825v1

Possible worlds semantics based on observation and communication

Andreas Herzig , Emiliano Lorini , Faustine Maffre

van Ditmarsch, Hans; Sandu, Gabriel. Jaakko Hintikka on game-theoretical semantics and epistemic logic, 12, Springer, pp.339--362, 2018, Outstanding Contributions to Logic book series (OCTR)

Chapitre d'ouvrage hal-03033975v1

Action theories

Andreas Herzig , Emiliano Lorini , Nicolas Troquard

Hansson, Sven Ove; Hendricks, Vincent F. Handbook of Formal Philosophy, 33, Springer, pp.591--607, 2018, Springer Undergraduate Texts in Philosophy book series (SUTP), 978-3-319-77433-6

Chapitre d'ouvrage hal-03033977v1
Deposit thumbnail

Computer-Mediated Trust in Self-interested Expert Recommendations

Jonathan Ben-Naim , Jean-François Bonnefon , Andreas Herzig , Sylvie Leblois , Emiliano Lorini

Stephen J. Cowley; Frédéric Vallée-Tourangeau. Cognition Beyond the Brain: Computation, Interactivity and Human Artifice, Springer, pp.233-250, 2017, 978-3-319-49115-8. ⟨10.1007/978-3-319-49115-8_12⟩

Chapitre d'ouvrage hal-03092766v1

Using STIT theory to talk about strategies

Jan Broersen , Andreas Herzig

van Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke. Models of Strategic Reasoning: Logics, Games, and Communities, 8972, Springer, pp.137--173, 2015, Lecture Notes in Computer Science book series (LNCS), 978-3-662-48539-2. ⟨10.1007/978-3-662-48540-8_5⟩

Chapitre d'ouvrage hal-03190192v1
Deposit thumbnail

On Modal Logics of Group Belief

Benoit Gaudou , Andreas Herzig , Dominique Longin , Emiliano Lorini

Herzig; Andreas and Lorini; Emiliano. The Cognitive Foundations of Group Attitudes and Social Interaction, 5, Springer, pp.75--106, 2015, Studies in the Philosophy of Sociality

Chapitre d'ouvrage hal-03209308v1
Deposit thumbnail

BDI logics

John-Jules Meyer , Jan Broersen , Andreas Herzig

van Ditmarsch, Hans; Halpern, Joseph Y; van der Hoek, Wiebe; Kooi, Barteld. Handbook of Logics for Knowledge and Belief, Chapter10, College Publications, pp.453-493, 2015, 978-1-84890-158-2

Chapitre d'ouvrage hal-03190191v1

Direct and indirect common belief

Emiliano Lorini , Andreas Herzig

Konzelmann Ziv, Anita; Schmid, Hans Bernhard. Institutions, Emotions, and Group Agents: Contributions to Social Ontology, 2, Springer, pp.355--372, 2014, Studies in the Philosophy of Sociality book series (SIPS), 978-94-007-6933-5. ⟨10.1007/978-94-007-6934-2_22⟩

Chapitre d'ouvrage hal-03220749v1

Raisonnement sur l'action et le changement

Florence Dupin de Saint-Cyr , Andreas Herzig , Jérôme Lang , Pierre Marquis

Marquis, Pierre; Papini, Odile; Prade, Henri. Panorama de l'intelligence artificielle. Ses bases méthodologiques, ses développements, Vol. 1, 1 (Chapitre 12), Cépaduès, Toulouse, pp.255--282, 2014, Représentation des connaissances et formalisation des raisonnements, 978-2364930414

Chapitre d'ouvrage hal-03224119v1

Raisonnement sur l’action et le changement

Florence Dupin de Saint-Cyr , Andreas Herzig , Jérôme Lang , Pierre Marquis

Panorama de l’intelligence artificielle, Volume 1 : représentation des connaissances et formalisation des raisonnements, pp.363-392, 2014

Chapitre d'ouvrage hal-01493402v1

A modal logic of perceptual belief

Andreas Herzig , Emiliano Lorini

Lihoreau, Franck; Rebuschi, Manuel. Epistemology, Context, and Formalism, 369, Springer, pp.197--211, 2014, Synthese Library book series (SYLI), 978-3-319-02942-9. ⟨10.1007/978-3-319-02943-6_12⟩

Chapitre d'ouvrage hal-03220750v1

Three traditions in the logic of action: bringing them together

Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard

Trypuz, Robert. Krister Segerberg on Logic of Action, 1, Springer, pp.61-84, 2013, Outstanding Contributions to Logic book series (OCTR), 978-94-007-7045-4. ⟨10.1007/978-94-007-7046-1_4⟩

Chapitre d'ouvrage hal-03464936v1

Représentation des connaissances : modalités, conditionnels et raisonnement non monotone

Andreas Herzig , Philippe Besnard

Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'intelligence artificielle : Ses bases méthodologiques, ses développements, 2 : Algorithmes pour l'intelligence artificielle, Cépaduès, Toulouse, 2013, 978-2364930421

Chapitre d'ouvrage hal-00770563v1

Deontic logic

Jan Broersen , Dov Gabbay , Andreas Herzig , Emiliano Lorini , John-Jules Meyer et al.

Ossowski, Sascha. Agreement Technologies, 8, Springer, pp.171-180, 2012, Law, Governance and Technology Series book series (LGTS), 978-94-007-5582-6. ⟨10.1007/978-94-007-5583-3_10⟩

Chapitre d'ouvrage hal-03464943v1
Deposit thumbnail

A simple logic of trust based on propositional assignments

Andreas Herzig , Emiliano Lorini , Frédéric Moisan

Paglieri, Fabio; Tummolini, Luca; Falcone, Rino; Miceli, Maria. The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, Chapter 1, College Publications, pp.407-419, 2012, 978-1848900943

Chapitre d'ouvrage hal-03464939v1
Deposit thumbnail

Exploring the power of converse events

Guillaume Aucher , Andreas Herzig

Patrick Girard; Olivier Roy; Mathieu Marion. Dynamic formal epistemology, 351, Springer, pp.51-74, 2011, Synthese Library book series (SYLI), 978-94-007-0073-4. ⟨10.1007/978-94-007-0074-1_4⟩

Chapitre d'ouvrage hal-00557002v2
Deposit thumbnail

Group belief and grounding in conversation

Benoit Gaudou , Andreas Herzig , Dominique Longin

Trognon, Alain and Batt, Martine and Caelen, Jean and Vernant, Denis. Logical Properties of Dialogue, Presses Universitaires de Nancy, pp.59--96, 2011

Chapitre d'ouvrage hal-03464948v1
Deposit thumbnail

Unifying the intentional and institutional semantics of speech acts

Carole Adam , Andreas Herzig , Dominique Longin , Vincent Louis

Matteo Baldoni,; Jamal Bentahar; M. Birna van Riemsdijk; John Lloyd. Declarative Agent Languages and Technologies VII: DALT 2009. Revised Selected and Invited Papers, 5948, Springer-Verlag, pp.68-84, 2010, Lecture Notes in Artificial Intelligence, 978-3-642-11354-3. ⟨10.1007/978-3-642-11355-0_5⟩

Chapitre d'ouvrage istex hal-03527023v1

Coalition games over Kripke semantics

Philippe Balbiani , Olivier Gasquet , Andreas Herzig , François Schwarzentruber , Nicolas Troquard

Dégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130

Chapitre d'ouvrage hal-03526733v1

Modal Tableaux: Completeness vs. Termination

Luis Fariñas del Cerro , Olivier Gasquet , Andreas Herzig , Mohamed Saade

Artemov, Sergei; Barringer, Howard; D'Avila Garcez, Artur; Lamb, Luis C.; Woods, John. We Will Show Them: Essays in Honour of Dov Gabbay, 2, College Publications, pp.587-614, 2005, ‎ 978-1904987116

Chapitre d'ouvrage hal-03519762v1
Deposit thumbnail

Les opérations de changement basées sur le test de Ramsey

Gabriella Crocco , Andreas Herzig

Livet, Pierre. Révision des croyances (Traité des sciences cognitives), Chapitre 2, Hermes Science Publications, pp.21-41, 2002, 978-2746204690

Chapitre d'ouvrage hal-03534103v1

A roadmap of qualitative independence

Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade

Didier Dubois; Henri Prade; Erich Peter Klement. Fuzzy Sets, Logics and Reasoning about Knowledge, 15, Kluwer Academic Publishers; Springer Netherlands, pp.325--350, 1999, Applied Logic series, 978-90-481-5324-4. ⟨10.1007/978-94-017-1652-9_22⟩

Chapitre d'ouvrage istex hal-04013766v1

Logics for Belief Base Updating

Andreas Herzig

Belief Change, 3, Springer Netherlands, pp.189-231, 1998, Handbook of Defeasible Reasoning and Uncertainty Management Systems book series (HAND), 978-94-010-6123-0. ⟨10.1007/978-94-011-5054-5_5⟩

Chapitre d'ouvrage hal-04030465v1
Deposit thumbnail

Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)

Christian Barillot , Inbar Fijalkow , Isabelle Queinnec , Fabrice Theoleyre , Hélène Touzet et al.

[0] CNRS. 2018, pp.1-87

Rapport hal-01956087v1
Deposit thumbnail

Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009)

Benoit Gaudou , Andreas Herzig , Dominique Longin

[Research Report] IRIT/RR–2009-14–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2009

Rapport (rapport de recherche) hal-03474455v1

Knowable' as 'known after an announcement

Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomohiro Hoshi et al.

[Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008

Rapport (rapport de recherche) hal-00872316v1
Deposit thumbnail

From DEL to EDL: exploring the power of converse events

Guillaume Aucher , Andreas Herzig

[Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007

Rapport (rapport de recherche) hal-03516649v1

A simple logical framework for emotional agents

Carole Adam , Fabrice Evrard , Benoit Gaudou , Andreas Herzig , Dominique Longin

[Research Report] IRIT/RR-2006-16-FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2006

Rapport (rapport de recherche) hal-03537174v1
Deposit thumbnail

Contracting TBoxes: the importance of being modular

Andreas Herzig , Laurent Perrussel , Ivan Varzinczak

[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2006

Rapport (rapport de recherche) hal-03537177v1

Uniform Choices in Logics of Agency

Andreas Herzig , Nicolas Troquard

[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2005

Rapport (rapport de recherche) hal-03519769v1
Deposit thumbnail

An assessment of actions with indeterminate and indirect effects in some causal approaches

Andreas Herzig , Ivan Varzinczak

[Research Report] IRIT/2004–08–R, IRIT : Institut de Recherche en Informatique de Toulouse. 2004, pp.1-23

Rapport (rapport de recherche) hal-03534092v1
Deposit thumbnail

Intention Dynamics -preliminary report

Andreas Herzig , Dominique Longin

[Research Report] IRIT/2002-12-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002

Rapport (rapport de recherche) hal-03523403v1
Deposit thumbnail

Sensing and revision in a modal logic of belief and action

Andreas Herzig , Dominique Longin

[Rapport de recherche] IRIT/2002-01-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2002

Rapport (rapport de recherche) hal-03534104v1
Deposit thumbnail

An analysis of communication and cooperation in a logic of belief, intention, and action

Olivier Gasquet , Andreas Herzig , Dominique Longin

[Research Report] IRIT/2001-07-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2001

Rapport (rapport de recherche) hal-03523404v1
Deposit thumbnail

Beliefs, intentions, speech acts and topics

Andreas Herzig , Dominique Longin

[Research Report] IRIT/2000-08-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000

Rapport (rapport de recherche) hal-03523420v1
Deposit thumbnail

Une formalisation de la détection des actes de langage indirects

Rémi Faure , Andreas Herzig , Dominique Longin

[Rapport de recherche] IRIT/2000-26-R, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2000

Rapport (rapport de recherche) hal-03523414v1

Une typologie des relations d'in(dépendance) qualitative

Didier Dubois , Andreas Herzig , Henri Prade , Luis Fariñas del Cerro

[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1998

Rapport (rapport de recherche) hal-04028806v1

Inférence préférentielle et exceptions: sémantique probabiliste et indépendance possibiliste

Salem Benferhat , Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade

[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1997

Rapport (rapport de recherche) hal-04038105v1

Working papers of the workshop : 'Is logic + ordering enough for formalizing common sense reasoning?

Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade

[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 1996

Rapport (rapport de recherche) hal-04049228v1