Switch to: Citations

Add references

You must login to add references.
  1. A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   226 citations  
  • Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Domain-independent planning Representation and plan generation.David E. Wilkins - 1984 - Artificial Intelligence 22 (3):269-301.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • A blackboard architecture for control.Barbara Hayes-Roth - 1985 - Artificial Intelligence 26 (3):251-321.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
    Download  
     
    Export citation  
     
    Bookmark   4 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-c4c498947-6b76t uwo