Search the dblp DataBase

Publications of Author

1. Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa
   Embedding Negation as Failure into a Model Generation Theorem Prover. [Citation Graph (1, 0)][DBLP]
   CADE, 1992, pp:400-415 [Conf]
   
2. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
   A Model Generation Based Theorem Prover MGTP for First-Order Logic. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:178-213 [Conf]
   
3. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
   Efficient Minimal Model Generation Using Branching Lemmas. [Citation Graph (0, 0)][DBLP]
   CADE, 2000, pp:184-199 [Conf]
   
4. Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura
   Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:176-190 [Conf]
   
5. Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
   MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. [Citation Graph (0, 0)][DBLP]
   CADE, 1992, pp:776-780 [Conf]
   
6. Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
   Model Generation Theorem Provers on a Parallel Inference Machine. [Citation Graph (0, 0)][DBLP]
   FGCS, 1992, pp:357-375 [Conf]
   
7. Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
   Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. [Citation Graph (0, 0)][DBLP]
   IWAR, 1992, pp:221-238 [Conf]
   
8. Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
   Model Generation with Boolean Constraints. [Citation Graph (0, 0)][DBLP]
   LPAR, 2001, pp:299-308 [Conf]
   
9. Miyuki Koshimura, Ryuzo Hasegawa
   Proof Simplification for Model Generation and Its Applications. [Citation Graph (0, 0)][DBLP]
   LPAR, 2000, pp:96-113 [Conf]
   
10. Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa
    Abstract Model Generation for Preprocessing Clause Sets. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:67-78 [Conf]
    
11. Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa
    Minimal Model Generation with Factorization and Constrained Search. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:793- [Conf]
    
12. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
    MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:1-15 [Conf]
    
13. 
    A Method for Query Expansion Using the Related Word Extraction Algorithm. [Citation Graph (, )][DBLP]
    
    
14. 
    Personalized Search Using ODP-based User Profiles Created from User Bookmark. [Citation Graph (, )][DBLP]
    
    
15. 
    User-Schedule-based Web Page Recommendation. [Citation Graph (, )][DBLP]
    
    
16. 
    Related Word Extraction from Wikipedia for Web Retrieval Assistance. [Citation Graph (, )][DBLP]