Switch to: Citations

Add references

You must login to add references.
  1. Verification of knowledge bases based on containment checking.Alon Y. Levy & Marie-Christine Rousset - 1998 - Artificial Intelligence 101 (1-2):227-250.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Tractable query answering and rewriting under description logic constraints.Héctor Pérez-Urbina, Boris Motik & Ian Horrocks - 2010 - Journal of Applied Logic 8 (2):186-209.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Combining Horn rules and description logics in CARIN.Alon Y. Levy & Marie-Christine Rousset - 1998 - Artificial Intelligence 104 (1-2):165-209.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On rules with existential variables: Walking the decidability line.Jean-François Baget, Michel Leclère, Marie-Laure Mugnier & Eric Salvat - 2011 - Artificial Intelligence 175 (9-10):1620-1654.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-76d885d765-crb2p uwo