7 found
Sort by:
  1. Guillaume Aucher (2012). DEL-Sequents for Regression and Epistemic Planning. Journal of Applied Non-Classical Logics 22 (4):337 - 367.
    (2012). DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 337-367. doi: 10.1080/11663081.2012.736703.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Guillaume Aucher, Bastien Maubert & François Schwarzentruber (2012). Generalized DEL-Sequents. In. In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. 54--66.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Guillaume Aucher (2011). DEL-Sequents for Progression. Journal of Applied Non-Classical Logics 21 (3-4):289-321.
    Dynamic Epistemic Logic (DEL) deals with the representation and the study in a multi-agent setting of knowledge and belief change. It can express in a uniform way epistemic statements about: 1. what is true about an initial situation 2. what is true about an event occurring in this situation 3. what is true about the resulting situation after the event has occurred. We axiomatize within the DEL framework what we can infer about (iii) given (i) and (ii). Given three formulas (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Guillaume Aucher, Guido Boella & Leendert Torre (2011). A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law 19 (2-3):187-231.
    Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Guillaume Aucher, Guido Boella & Leendert van der Torre (2011). A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law 19 (2-3):187-231.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Guillaume Aucher (2010). An Internal Version of Epistemic Logic. Studia Logica 94 (1):1 - 22.
    Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic situation. In the rest of the paper we focus on what we call the internal approach, where the modeler is (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Guillaume Aucher (2007). Interpreting an Action From What We Perceive and What We Expect. Journal of Applied Non-Classical Logics 17 (1):9-38.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation