Accéder directement au contenu

Andreas Herzig

22
Documents

Publications

972110
Image document

Resource separation in dynamic logic of propositional assignments

Joseph Boudou , Andreas Herzig , Nicolas Troquard
International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), Oct 2019, Porto, Portugal. pp.155-170, ⟨10.1007/978-3-030-38808-9_10⟩
Communication dans un congrès hal-02942300v1
Image document

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

Philippe Balbiani , Andreas Herzig , Nicolas Troquard
28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), Jun 2013, New Orleans, LA, United States. pp.143-152, ⟨10.1109/LICS.2013.20⟩
Communication dans un congrès hal-01240721v1

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

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

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

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

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

A normal simulation of coalition logic and an epistemic extension

Jan Broersen , Andreas Herzig , Nicolas Troquard
Theoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Brussels, Belgium. pp.91-101, ⟨10.1145/1324249.1324264⟩
Communication dans un congrès hal-03516647v1

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

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

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

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

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

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

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

Uniform Choices in Logics of Agency

Andreas Herzig , Nicolas Troquard
[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2005
Rapport hal-03519769v1