Accéder directement au contenu

Andreas Herzig

8
Documents

Publications

"tiago-de-lima"
"emiliano-lorini"

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

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

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

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

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