Switch to: References

Add citations

You must login to add citations.
  1. Optimizing the computation of overriding in DL N.P. A. Bonatti, I. M. Petrova & L. Sauro - 2022 - Artificial Intelligence 311 (C):103764.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On the logical properties of the nonmonotonic description logic DL N.P. A. Bonatti & L. Sauro - 2017 - Artificial Intelligence 248 (C):85-111.
    Download  
     
    Export citation  
     
    Bookmark   5 citations