dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Guillaume Aucher Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Philippe Balbiani [8]
2Steve Barker [19]
3Guido Boella [11] [15] [18] [19]
4Luis Fariñas del Cerro [8]
5Valerio Genovese [19]
6Davide Grossi [10]
7Andreas Herzig [5] [8] [10]
8Emiliano Lorini [10]
9Bastien Maubert [17]
10François Schwarzentruber [17]
11Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre) [11] [15] [18] [19]

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page