Switch to: Citations

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   16 citations  
  • Optimal compression of propositional Horn knowledge bases: complexity and approximation.Peter L. Hammer & Alexander Kogan - 1993 - Artificial Intelligence 64 (1):131-145.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Horn approximations of empirical data.Henry Kautz, Michael Kearns & Bart Selman - 1995 - Artificial Intelligence 74 (1):129-145.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Reasoning with models.Roni Khardon & Dan Roth - 1996 - Artificial Intelligence 87 (1-2):187-213.
    Download  
     
    Export citation  
     
    Bookmark   12 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  
  • Functional dependencies in Horn theories.Toshihide Ibaraki, Alexander Kogan & Kazuhisa Makino - 1999 - Artificial Intelligence 108 (1-2):1-30.
    Download  
     
    Export citation  
     
    Bookmark   2 citations