Switch to: References

Add citations

You must login to add citations.
  1. The Kleene symposium and the summer meeting of the Association for Symbolic Logic, Madison 1978.John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis - 1979 - Journal of Symbolic Logic 44 (3):469-480.
    Download  
     
    Export citation  
     
    Bookmark  
  • Compulsory reduction in linear derivation systems.Geoff Sutcliffe - 1991 - Artificial Intelligence 50 (1):131-132.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Clause trees: a tool for understanding and implementing resolution in automated reasoning.J. D. Horton & Bruce Spencer - 1997 - Artificial Intelligence 92 (1-2):25-89.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Prolog technology for default reasoning: proof theory and compilation techniques.Torsten Schaub & Stefan Brüning - 1998 - Artificial Intelligence 106 (1):1-75.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Using rewriting rules for connection graphs to prove theorems.C. L. Chang & J. R. Slagle - 1979 - Artificial Intelligence 12 (2):159-178.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A comparative study of several proof procedures.Wolfgang Bibel - 1982 - Artificial Intelligence 18 (3):269-293.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
    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-75db656dfb-fjc52 uwo