Switch to: References

Add citations

You must login to add citations.
  1. Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Nonstandard set theories and information management.Varol Akman & Mujdat Pakkan - 1996 - Journal of Intelligent Information Systems 6:5-31.
    The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation.Alan Bundy & Bob Welham - 1981 - Artificial Intelligence 16 (2):189-211.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Inductive reasoning on recursive equations.Frank Malloy Brown & Sten-Åke Tärnlund - 1979 - Artificial Intelligence 12 (3):207-229.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An experimental logic based on the fundamental deduction principle.Frank M. Brown - 1986 - Artificial Intelligence 30 (2):117-263.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning.Frank Malloy Brown - 1980 - Artificial Intelligence 14 (3):221-242.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics.Dominique Pastre - 1989 - Artificial Intelligence 38 (3):257-318.
    Download  
     
    Export citation  
     
    Bookmark