Andreas Herzig
19
Documents
Publications
- 19
- 11
- 8
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
|
Announcements to Attentive AgentsJournal 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
|
Public announcements, public assignments and the complexity of their logicJournal of Applied Non-Classical Logics, 2012, 22 (3), pp.249-273. ⟨10.1080/11663081.2012.705964⟩
Article dans une revue
hal-00868339v1
|
|
From situation calculus to dynamic epistemic logicJournal of Logic and Computation, 2011, 21 (2), pp.179-204. ⟨10.1093/logcom/exq024⟩
Article dans une revue
hal-00868361v1
|
|
Tableaux for public announcement logicsJournal 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
hal-03470301v1
|
|
Introspective ForgettingSynthese, 2009, 169, pp.405-423. ⟨10.1007/s11229-009-9554-4⟩
Article dans une revue
hal-00868609v1
|
|
'Knowable' as 'known after an announcement'The review of symbolic logic, 2008, 1 (3), pp.305--334. ⟨10.1017/S1755020308080210⟩
Article dans une revue
hal-00800649v1
|
|
Arbitrary announcement logic (abstract)The 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
hal-00747135v1
|
|
Before announcement11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Communication dans un congrès
hal-01650180v1
|
|
Parameters for Epistemic Gossip ProblemsLOFT 2016 - 12th Conference on Logic and the Foundations of Game and Decision Theory, Jul 2016, Maastricht, Netherlands
Communication dans un congrès
hal-03159069v1
|
|
Listen to me! Public announcements to agents that pay attention - or not4th 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
|
|
Some truths are best left unsaid9th conference on Advances in Modal logic (AiML 2012), Aug 2012, Copenhagen, Denmark. pp.36-54
Communication dans un congrès
hal-00866705v1
|
Intentions and assignments2nd 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
|
|
Introspective Forgetting21st 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 can we achieve by arbitrary announcements? A dynamic take on Fitch's knowabilityTheoretical 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
|
Raisonnement sur les actions : de Toronto à Amstermdam4è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
|
|
Optimal Regression for Reasoning about Knowledge and ActionsConference 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
|
|
A tableau method for public announcement logics16th 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
|
Belief revision and dynamic logic (JANCL n°2, 17/2007)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
|
'Knowable' as 'known after an announcement'[Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008
Rapport
hal-00872316v1
|