 | 2011 |
| 19 |  | Guillaume Aucher,
Steve Barker,
Guido Boella,
Valerio Genovese,
Leendert van der Torre:
Dynamics in Delegation and Revocation Schemes: A Logical Approach.
DBSec 2011: 90-105 |
| 18 |  | Guillaume Aucher,
Guido Boella,
Leendert van der Torre:
A dynamic logic for privacy compliance.
Artif. Intell. Law 19(2-3): 187-231 (2011) |
| 17 |  | Guillaume Aucher,
Bastien Maubert,
François Schwarzentruber:
Tableau Method and NEXPTIME-Completeness of DEL-Sequents.
Electr. Notes Theor. Comput. Sci. 278: 17-30 (2011) |
| 16 |  | Guillaume Aucher:
DEL-sequents for progression.
Journal of Applied Non-Classical Logics 21(3-4): 289-321 (2011) |
| 2010 |
| 15 |  | Guillaume Aucher,
Guido Boella,
Leendert van der Torre:
Privacy Policies with Modal Logic: The Dynamic Turn.
DEON 2010: 196-213 |
| 14 |  | Guillaume Aucher:
Characterizing Updates in Dynamic Epistemic Logic.
KR 2010 |
| 13 |  | Guillaume Aucher:
Generalizing AGM to a multi-agent setting.
Logic Journal of the IGPL 18(4): 530-558 (2010) |
| 12 |  | Guillaume Aucher:
An Internal Version of Epistemic Logic.
Studia Logica 94(1): 1-22 (2010) |
| 2009 |
| 11 |  | Guillaume Aucher,
Guido Boella,
Leendert van der Torre:
Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic.
AICOL Workshops 2009: 150-161 |
| 10 |  | Guillaume Aucher,
Davide Grossi,
Andreas Herzig,
Emiliano Lorini:
Dynamic Context Logic.
LORI 2009: 15-26 |
| 9 |  | Guillaume Aucher:
BMS revisited.
TARK 2009: 24-33 |
| 8 |  | Guillaume Aucher,
Philippe Balbiani,
Luis Fariñas del Cerro,
Andreas Herzig:
Global and Local Graph Modifiers.
Electr. Notes Theor. Comput. Sci. 231: 293-307 (2009) |
| 2008 |
| 7 |  | Guillaume Aucher:
Internal models and private multi-agent belief revision.
AAMAS (2) 2008: 721-727 |
| 6 |  | Guillaume Aucher:
Consistency Preservation and Crazy Formulas in BMS.
JELIA 2008: 21-33 |
| 2007 |
| 5 |  | Guillaume Aucher,
Andreas Herzig:
From DEL to EDL : Exploring the Power of Converse Events.
ECSQARU 2007: 199-209 |
| 4 |  | Guillaume Aucher:
A logical formalism for the subjective approach in a multi-agent setting.
Formal Models of Belief Change in Rational Agents 2007 |
| 3 |  | Guillaume Aucher:
Interpreting an action from what we perceive and what we expect.
Journal of Applied Non-Classical Logics 17(1): 9-38 (2007) |
| 2005 |
| 2 |  | Guillaume Aucher:
How Our Beliefs Contribute to Interpret Actions.
CEEMAS 2005: 276-285 |
| 2004 |
| 1 |  | Guillaume Aucher:
A Combined System for Update Logic and Belief Revision.
PRIMA 2004: 1-17 |