Switch to: Citations

Add references

You must login to add references.
  1. Attributive concept descriptions with complements.Manfred Schmidt-Schauß & Gert Smolka - 1991 - Artificial Intelligence 48 (1):1-26.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Logic and the complexity of reasoning.Hector J. Levesque - 1988 - Journal of Philosophical Logic 17 (4):355 - 389.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
    Download  
     
    Export citation  
     
    Bookmark   241 citations  
  • Network-based heuristics for constraint-satisfaction problems.Rina Dechter & Judea Pearl - 1987 - Artificial Intelligence 34 (1):1-38.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Logic and artificial intelligence.Nils J. Nilsson - 1991 - Artificial Intelligence 47 (1-3):31-56.
    Download  
     
    Export citation  
     
    Bookmark   14 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  
  • Hard problems for simple default logics.Henry A. Kautz & Bart Selman - 1991 - Artificial Intelligence 49 (1-3):243-279.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • (1 other version)An Overview of the KL-ONE Knowledge Representation System.J. Brachman Ronald & G. Schmolze James - 1985 - Cognitive Science 9 (2):171-216.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • (1 other version)An Overview of the KL‐ONE Knowledge Representation System.Ronald J. Brachman & James G. Schmolze - 1985 - Cognitive Science 9 (2):171-216.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
    Download  
     
    Export citation  
     
    Bookmark   181 citations  
  • Terminological reasoning is inherently intractable.Bernhard Nebel - 1990 - Artificial Intelligence 43 (2):235-249.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.
    Download  
     
    Export citation  
     
    Bookmark   16 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  
    • 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-6f97f49787-hdzht uwo