11 found
Order:
  1.  21
    Complexity Results of STIT Fragments.François Schwarzentruber - 2012 - Studia Logica 100 (5):1001-1045.
    We provide a Kripke semantics for a STIT logic with the "next" operator. As the atemporal group STIT is undecidable and unaxiomatizable, we are interested in strict fragments of atemporal group STIT. First we prove that the satisfiability problem of a formula of the fragment made up of individual coalitions plus the grand coalition is also NEXPTIME-complete. We then generalize this result to a fragment where coalitions are in a given lattice. We also prove that if we restrict the language (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  2
    Properties of Logics of Individual and Group Agency.Andreas Herzig & François Schwarzentruber - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 133-149.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  2
    DEL-Based Epistemic Planning: Decidability and Complexity.Thomas Bolander, Tristan Charrier, Sophie Pinchinat & François Schwarzentruber - 2020 - Artificial Intelligence 287:103304.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  1
    Properties of Logics of Individual and Group Agency.Andreas Herzig & François Schwarzentruber - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-149.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  19
    Epistemic Protocols for Dynamic Gossip.Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian & François Schwarzentruber - 2017 - Journal of Applied Logic 20:1-31.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  47
    Generalized DEL-Sequents.Guillaume Aucher, Bastien Maubert & François Schwarzentruber - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 54--66.
  7.  18
    Building an Epistemic Logic for Argumentation.François Schwarzentruber, Srdjan Vesic & Tjitze Rienstra - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 359--371.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  9
    Epistemic Probability Logic Simplified.Jan van Eijck & François Schwarzentruber - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 158-177.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. A Logic for Reasoning About Counterfactual Emotions.Emiliano Lorini & François Schwarzentruber - 2011 - Artificial Intelligence 175 (3-4):814-847.
  10.  13
    Drawing Interactive Euler Diagrams From Region Connection Calculus Specifications.François Schwarzentruber - 2015 - Journal of Logic, Language and Information 24 (4):375-408.
    This paper describes methods for generating interactive Euler diagrams. User interaction is needed to improve the aesthetic quality of the drawing without writing tedious formal specifications. More precisely, the user can modify the diagram’s layout on the fly by mouse control. We prove that the satisfiability problem is in \ and we provide two syntactic fragments such that the corresponding restricted satisfiability problem is already \-hard. We describe an improved local search based approach, a method inspired from the gradient method (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    Knowledge-Based Programs as Succinct Policies for Partially Observable Domains.Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine & François Schwarzentruber - 2020 - Artificial Intelligence 288:103365.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark