Switch to: Citations

References in:

Reasoning with models

Artificial Intelligence 87 (1-2):187-213 (1996)

Add references

You must login to add references.
  1. (1 other version)The decision problem for some classes of sentences without quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.
    Download  
     
    Export citation  
     
    Bookmark   17 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  
  • Model-preference default theories.Bart Selman & Henry A. Kautz - 1990 - Artificial Intelligence 45 (3):287-322.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • (1 other version)On sentences which are true of direct unions of algebras.Alfred Horn - 1951 - Journal of Symbolic Logic 16 (1):14-21.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Structure identification in relational data.Rina Dechter & Judea Pearl - 1992 - Artificial Intelligence 58 (1-3):237-270.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Making believers out of computers.Hector J. Levesque - 1986 - Artificial Intelligence 30 (1):81-108.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On the hardness of approximate reasoning.Dan Roth - 1996 - Artificial Intelligence 82 (1-2):273-302.
    Download  
     
    Export citation  
     
    Bookmark   28 citations