Accéder directement au contenu

Andreas Herzig

64
Documents

Publications

emiliano-lorini
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⟩
Article dans une revue hal-01625886v1
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⟩
Article dans une revue hal-01692711v1
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⟩
Article dans une revue hal-01585237v1
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⟩
Article dans une revue hal-01153715v1

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 hal-03470305v1

A logic of trust and reputation

Andreas Herzig , Emiliano Lorini , Jomi F. Hübner , Laurent Vercouter
Logic Journal of the IGPL, 2010, 18 (1), pp.214-244. ⟨10.1093/jigpal/jzp077⟩
Article dans une revue hal-03470303v1
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
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
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⟩
Article dans une revue hal-03466389v1
Image document

A logic of intention and attempt

Emiliano Lorini , Andreas Herzig
Synthese, 2008, 163 (1), pp.45-77
Article dans une revue hal-03526735v1

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
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⟩
Communication dans un congrès hal-03873341v1
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
Communication dans un congrès hal-03008589v1
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⟩
Communication dans un congrès hal-02925894v1
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⟩
Communication dans un congrès hal-02411254v1
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⟩
Communication dans un congrès hal-01919061v1
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
Communication dans un congrès hal-01530163v1
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
Communication dans un congrès hal-04109521v1
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
Communication dans un congrès hal-01592020v1
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
Communication dans un congrès hal-03193119v1
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
Communication dans un congrès hal-03224137v1
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⟩
Communication dans un congrès 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⟩
Communication dans un congrès hal-01226475v1
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
Communication dans un congrès hal-03464938v1

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

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

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
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
Communication dans un congrès 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
Communication dans un congrès hal-03470298v1
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⟩
Communication dans un congrès hal-03470293v1

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
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⟩
Communication dans un congrès hal-03470308v1
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
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
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
Communication dans un congrès hal-03526731v1

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

Emiliano Lorini , François Schwarzentruber , Andreas Herzig
Second International Workshop on Logic, Rationality and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.212-226, ⟨10.1007/978-3-642-04893-7_17⟩
Communication dans un congrès hal-03474460v1

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
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
Communication dans un congrès hal-03526732v1

Tableaux for Acceptance Logic

Mathijs de Boer , Andreas Herzig , Tiago De Lima , Emiliano Lorini
7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.85-100, ⟨10.1007/978-3-642-11355-0_6⟩
Communication dans un congrès hal-03470302v1
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⟩
Communication dans un congrès inria-00556156v1
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
Communication dans un congrès hal-03474453v1
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
Communication dans un congrès hal-03526737v1

On the Dynamics of Institutional Agreements (KRAMAS 2008)

Andreas Herzig , Tiago De Lima , Emiliano Lorini
1st International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia. pp.66-80, ⟨10.1007/978-3-642-05301-6_5⟩
Communication dans un congrès hal-03474452v1

What do we accept after an announcement?

Andreas Herzig , Tiago de Lima , Emiliano Lorini
Prague International Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic
Communication dans un congrès hal-03526740v1

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
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
Communication dans un congrès hal-00405595v1

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

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

Introducing attempt in a modal logic of intentional action

Emiliano Lorini , Andreas Herzig , Cristiano Castelfranchi
10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.280-292, ⟨10.1007/11853886_24⟩
Communication dans un congrès hal-03537169v1

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
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
Communication dans un congrès hal-03519770v1

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
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⟩
Chapitre d'ouvrage hal-03092766v1
Image document

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

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

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

A simple logic of trust based on propositional assignments

Andreas Herzig , Emiliano Lorini , Frédéric Moisan
Paglieri, Fabio; Tummolini, Luca; Falcone, Rino; Miceli, Maria. The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi, Chapter 1, College Publications, pp.407-419, 2012, 978-1848900943
Chapitre d'ouvrage hal-03464939v1

Deontic logic

Jan Broersen , Dov Gabbay , Andreas Herzig , Emiliano Lorini , John-Jules Meyer
Ossowski, Sascha. Agreement Technologies, 8, Springer, pp.171-180, 2012, Law, Governance and Technology Series book series (LGTS), 978-94-007-5582-6. ⟨10.1007/978-94-007-5583-3_10⟩
Chapitre d'ouvrage hal-03464943v1