Order:
Disambiguations
L. Sauro [3]Luigi Sauro [2]
  1.  27
    A new semantics for overriding in description logics.P. A. Bonatti, M. Faella, I. M. Petrova & L. Sauro - 2015 - Artificial Intelligence 222 (C):1-48.
  2.  16
    On the logical properties of the nonmonotonic description logic DL N.P. A. Bonatti & L. Sauro - 2017 - Artificial Intelligence 248 (C):85-111.
  3.  27
    Algorithms for finding coalitions exploiting a new reciprocity condition.Guido Boella, Luigi Sauro & Leendert van der Torre - 2009 - Logic Journal of the IGPL 17 (3):273-297.
    We introduce a reciprocity criterion for coalition formation among goal-directed agents, which we call the indecomposable do-ut-des property. It refines an older reciprocity property, called the do-ut-des or give-to-get property by considering the fact that agents prefer to form coalitions whose components cannot be formed independently. A formal description of this property is provided as well as an analysis of algorithms and their complexity. We provide an algorithm to decide whether a coalition has the desired property, and we show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  17
    Optimizing the computation of overriding in DL N.P. A. Bonatti, I. M. Petrova & L. Sauro - 2022 - Artificial Intelligence 311 (C):103764.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  11
    Real-time reasoning in OWL2 for GDPR compliance.Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro & Ida R. Siahaan - 2020 - Artificial Intelligence 289 (C):103389.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark