Switch to: References

Add citations

You must login to add citations.
  1. Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the succinctness of some modal logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197 (C):56-85.
    Download  
     
    Export citation  
     
    Bookmark   5 citations