Andreas Herzig
21
Documents
Publications
- 21
- 11
- 8
- 7
- 4
- 3
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
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
|
|
On the dynamics of institutional agreements (2009)Synthese, 2009, 171 (2), pp.321--355. ⟨10.1007/s11229-009-9645-2⟩
Article dans une revue
hal-03474458v1
|
|
'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
|
|
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
|
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 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
|
|
Tableaux for Acceptance Logic7th 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
|
|
On the Dynamics of Institutional Agreements (KRAMAS 2008)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?Prague International Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic
Communication dans un congrès
hal-03526740v1
|
|
What Do We Accept After an Announcement ? (KRAMAS 2008)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
|
|
|
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
|
|
Epistemic Actions and Ontic Actions: a Unified Logical Framework2nd 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
hal-03537162v1
|
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
|
|
Raisonnement sur les actions : de Toronto à Amsterdam2007
Pré-publication, Document de travail
hal-00188885v1
|
'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
|