Order:
Disambiguations
L. Sauro [3]Luigi Sauro [2]
  1.  14
    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.  5
    On the logical properties of the nonmonotonic description logic DL N.P. A. Bonatti & L. Sauro - 2017 - Artificial Intelligence 248 (C):85-111.
  3.  15
    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.  8
    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.  5
    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