default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuillaume Aucher
Person information
- affiliation: IRISA Rennes, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j15]Guillaume Aucher
:
On the Universality of Atomic and Molecular Logics via Protologics. Logica Universalis 16(1-2): 285-322 (2022)- [c26]Guillaume Aucher:
A van Benthem Theorem for Atomic and Molecular Logics. NCL 2022: 84-101 - 2020
- [j14]Guillaume Aucher:
Towards Universal Logic: Gaggle Logics. FLAP 7(6): 875-942 (2020) - [j13]Guillaume Aucher:
Corrigendum to: Displaying updates in logic. J. Log. Comput. 30(6): 1303 (2020) - [c25]Guillaume Aucher:
Expedition in the Update Universe. DaLí 2020: 1-16
2010 – 2019
- 2019
- [j12]Guillaume Aucher, Jean Berbinau, Marie-Laure Morin:
Principles for a Judgement Editor Based on Binary Decision Diagrams. FLAP 6(5): 781-814 (2019) - [i4]Guillaume Aucher, Paul Égré, Gabriele Kern-Isberner, Francesca Poggiolesi:
Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032). Dagstuhl Reports 9(1): 47-66 (2019) - 2018
- [j11]Guillaume Aucher, Johan van Benthem, Davide Grossi:
Modal logics of sabotage revisited. J. Log. Comput. 28(2): 269-303 (2018) - 2016
- [j10]Guillaume Aucher:
Displaying updates in logic. J. Log. Comput. 26(6): 1865-1912 (2016) - [j9]Guillaume Aucher:
Dynamic epistemic logic in update logic. J. Log. Comput. 26(6): 1913-1960 (2016) - 2015
- [j8]Guillaume Aucher:
Intricate Axioms as Interaction Axioms. Stud Logica 103(5): 1035-1062 (2015) - [c24]Guillaume Aucher:
When Conditional Logic and Belief Revision Meet Substructural Logics. DARe@IJCAI 2015 - [c23]Guillaume Aucher, Vaishak Belle:
Multi-Agent Only Knowing on Planet Kripke. IJCAI 2015: 2713-2719 - [c22]Guillaume Aucher, Johan van Benthem, Davide Grossi:
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. LORI 2015: 1-13 - [c21]Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber:
Games with Communication: From Belief to Preference Change. PRIMA 2015: 670-677 - 2014
- [c20]Guillaume Aucher:
Supervisory control theory in epistemic temporal logic. AAMAS 2014: 333-340 - [c19]Guillaume Aucher:
Axioms .2 and .4 as Interaction Axioms. KR 2014 - [c18]Guillaume Aucher, Bastien Maubert, Sophie Pinchinat:
Automata Techniques for Epistemic Protocol Synthesis. SR 2014: 97-103 - [p1]Guillaume Aucher:
Dynamic Epistemic Logic as a Substructural Logic. Johan van Benthem on Logic and Information Dynamics 2014: 855-880 - 2013
- [c17]Guillaume Aucher, Thomas Bolander:
Undecidability in Epistemic Planning. IJCAI 2013: 27-33 - [c16]Yanjing Wang, Guillaume Aucher:
An Alternative Axiomatization of DEL and Its Applications. IJCAI 2013: 1139-1146 - [c15]Guillaume Aucher, François Schwarzentruber:
On the Complexity of Dynamic Epistemic Logic. TARK 2013 - [i3]Guillaume Aucher, François Schwarzentruber:
On the Complexity of Dynamic Epistemic Logic. CoRR abs/1310.6406 (2013) - 2012
- [j7]Guillaume Aucher:
DEL-sequents for regression and epistemic planning. J. Appl. Non Class. Logics 22(4): 337-367 (2012) - [j6]Guillaume Aucher:
Private announcement and belief expansion: an internal perspective. J. Log. Comput. 22(3): 451-479 (2012) - [c14]Guillaume Aucher, Bastien Maubert, François Schwarzentruber:
Generalized DEL-Sequents. JELIA 2012: 54-66 - 2011
- [j5]Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre:
A dynamic logic for privacy compliance. Artif. Intell. Law 19(2-3): 187-231 (2011) - [j4]Guillaume Aucher:
DEL-sequents for progression. J. Appl. Non Class. Logics 21(3-4): 289-321 (2011) - [c13]Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre:
Dynamics in Delegation and Revocation Schemes: A Logical Approach. DBSec 2011: 90-105 - [c12]Guillaume Aucher, Bastien Maubert, François Schwarzentruber:
Tableau Method and NEXPTIME-Completeness of DEL-Sequents. M4M/LAMAS 2011: 17-30 - 2010
- [j3]Guillaume Aucher:
Generalizing AGM to a multi-agent setting. Log. J. IGPL 18(4): 530-558 (2010) - [j2]Guillaume Aucher:
An Internal Version of Epistemic Logic. Stud Logica 94(1): 1-22 (2010) - [c11]Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre:
Privacy Policies with Modal Logic: The Dynamic Turn. DEON 2010: 196-213 - [c10]Guillaume Aucher:
Characterizing Updates in Dynamic Epistemic Logic. KR 2010
2000 – 2009
- 2009
- [c9]Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre:
Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. AICOL Workshops 2009: 150-161 - [c8]Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini:
Dynamic Context Logic. LORI 2009: 15-26 - [c7]Guillaume Aucher:
BMS revisited. TARK 2009: 24-33 - [i2]Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini:
Dynamic Context Logic and its Application to Norm. Normative Multi-Agent Systems 2009 - 2008
- [b1]Guillaume Aucher:
Perspectives on belief and change. Paul Sabatier University, Toulouse, France, 2008 - [c6]Guillaume Aucher:
Internal models and private multi-agent belief revision. AAMAS (2) 2008: 721-727 - [c5]Guillaume Aucher:
Consistency Preservation and Crazy Formulas in BMS. JELIA 2008: 21-33 - 2007
- [j1]Guillaume Aucher:
Interpreting an action from what we perceive and what we expect. J. Appl. Non Class. Logics 17(1): 9-38 (2007) - [c4]Guillaume Aucher, Andreas Herzig:
From DEL to EDL : Exploring the Power of Converse Events. ECSQARU 2007: 199-209 - [c3]Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Global and Local Graph Modifiers. M4M 2007: 293-307 - [i1]Guillaume Aucher:
A logical formalism for the subjective approach in a multi-agent setting. Formal Models of Belief Change in Rational Agents 2007 - 2005
- [c2]Guillaume Aucher:
How Our Beliefs Contribute to Interpret Actions. CEEMAS 2005: 276-285 - 2004
- [c1]Guillaume Aucher:
A Combined System for Update Logic and Belief Revision. PRIMA 2004: 1-17
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 01:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
