Switch to: References

Add citations

You must login to add citations.
  1. Attributive concept descriptions with complements.Manfred Schmidt-Schauß & Gert Smolka - 1991 - Artificial Intelligence 48 (1):1-26.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Natural language syntax and first-order inference.David A. McAllester & Robert Givan - 1992 - Artificial Intelligence 56 (1):1-20.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Undecidability of subsumption in NIKL.Peter F. Patel-Schneider - 1989 - Artificial Intelligence 39 (2):263-272.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services.Jon Doyle & Ramesh S. Patil - 1991 - Artificial Intelligence 48 (3):261-297.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A four-valued semantics for terminological logics.Peter F. Patel-Schneider - 1989 - Artificial Intelligence 38 (3):319-351.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Terminological reasoning is inherently intractable.Bernhard Nebel - 1990 - Artificial Intelligence 43 (2):235-249.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • An empirical analysis of terminological representation systems.Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel & Hans-Jürgen Profitlich - 1994 - Artificial Intelligence 68 (2):367-397.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The complexity of existential quantification in concept languages.Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt & Alberto Marchetti Spaccamela - 1992 - Artificial Intelligence 53 (2-3):309-327.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • EXPtime tableaux for ALC.Francesco M. Donini & Fabio Massacci - 2000 - Artificial Intelligence 124 (1):87-138.
    Download  
     
    Export citation  
     
    Bookmark   6 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-6f9648bdd6-6d7m4 uwo