Switch to: Citations

Add references

You must login to add references.
  1. Intensional Concepts in Propositional Semantic Networks.Anthony S. Maida & Stuart C. Shapiro - 1982 - Cognitive Science 6 (4):291-330.
    An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in same world. This framework is employed in three application problems to illustrate the nature of its solutions.The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many of (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis.Richard M. Stallman & Gerald J. Sussman - 1977 - Artificial Intelligence 9 (2):135-196.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Extended inference modes in reasoning by computer systems.Terry Winograd - 1980 - Artificial Intelligence 13 (1-2):5-26.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A model for belief revision.João P. Martins & Stuart C. Shapiro - 1988 - Artificial Intelligence 35 (1):25-79.
    Download  
     
    Export citation  
     
    Bookmark   33 citations