Andreas Herzig
22
Documents
Publications
- 22
- 9
- 6
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Resource separation in dynamic logic of propositional assignmentsInternational 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
|
|
Dynamic logic of propositional assignments : a well-behaved variant of PDL28th 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 actions11h 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 unification6è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 actions12th 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 systems22rd International Joint Conference on Artificial Intelligence (IJCAI 2011), Jul 2011, Barcelona, Spain. pp.228-233
Communication dans un congrès
hal-03464955v1
|
|
|
Dynamic languages of propositional control for protocol specificationWorkshop "Logics in Security" at (ESSLLI 2010), Aug 2010, Copenhague, Denmark
Communication dans un congrès
hal-03470306v1
|
Delegation and mental states6th 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
|
|
|
A normal simulation of coalition logic and an epistemic extensionTheoretical 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 ATL10th 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 Agency5th 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 themTrends 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 STITThird 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 theoriesHansson, 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 togetherTrypuz, 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 semanticsDé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[Research Report] IRIT : Institut de Recherche Informatique de Toulouse. 2005
Rapport
hal-03519769v1
|