Switch to: References

Add citations

You must login to add citations.
  1. First order LUB approximations: characterization and algorithms.Alvaro del Val - 2005 - Artificial Intelligence 162 (1-2):7-48.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Defaults and relevance in model-based reasoning.Roni Khardon & Dan Roth - 1997 - Artificial Intelligence 97 (1-2):169-193.
    Download  
     
    Export citation  
     
    Bookmark  
  • Ordered binary decision diagrams as knowledge-bases.Takashi Horiyama & Toshihide Ibaraki - 2002 - Artificial Intelligence 136 (2):189-213.
    Download  
     
    Export citation  
     
    Bookmark  
  • The complexity of theory revision.Russell Greiner - 1999 - Artificial Intelligence 107 (2):175-217.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Symbolic knowledge extraction from trained neural networks: A sound approach.A. S. D'Avila Garcez, K. Broda & D. M. Gabbay - 2001 - Artificial Intelligence 125 (1-2):155-207.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • What makes propositional abduction tractable.Gustav Nordh & Bruno Zanuttini - 2008 - Artificial Intelligence 172 (10):1245-1284.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Semantical and computational aspects of Horn approximations.Marco Cadoli & Francesco Scarcello - 2000 - Artificial Intelligence 119 (1-2):1-17.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On functional dependencies in q-Horn theories.Toshihide Ibaraki, Alexander Kogan & Kazuhisa Makino - 2001 - Artificial Intelligence 131 (1-2):171-187.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the hardness of approximate reasoning.Dan Roth - 1996 - Artificial Intelligence 82 (1-2):273-302.
    Download  
     
    Export citation  
     
    Bookmark   28 citations