The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ryuzo Hasegawa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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. Akira Aiba, Ryuzo Hasegawa
    Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. [Citation Graph (1, 0)][DBLP]
    FGCS, 1992, pp:113-131 [Conf]
  3. Makoto Amamiya, Ryuzo Hasegawa
    Dataflow Computing and Eager and Lazy Evaluations. [Citation Graph (1, 0)][DBLP]
    New Generation Comput., 1984, v:2, n:2, pp:105-129 [Journal]
  4. Shunichi Uchida, Ryuzo Hasegawa, Kazumasa Yokota, Takashi Chikayama, Katsumi Nitta, Akira Aiba
    Outline of the FGCS Fallow-on Project. [Citation Graph (1, 0)][DBLP]
    New Generation Comput., 1993, v:11, n:2, pp:217-222 [Journal]
  5. 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]
  6. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
    Efficient Minimal Model Generation Using Branching Lemmas. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:184-199 [Conf]
  7. 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]
  8. 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]
  9. Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa
    On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:333-348 [Conf]
  10. Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya
    Fuce: the continuation-based multithreading processor. [Citation Graph (0, 0)][DBLP]
    Conf. Computing Frontiers, 2007, pp:213-224 [Conf]
  11. Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai
    Moder Generation Theorem Proving with Finite Interval Constraints. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:285-299 [Conf]
  12. Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa
    Constraints Logic Programming Language CAL. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:263-276 [Conf]
  13. 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]
  14. Ryuzo Hasegawa, Makoto Amamiya
    Parallel Execution of Logic Programs based on Dataflow Concept. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:507-516 [Conf]
  15. Ryuzo Hasegawa, Masayuki Fujita
    Parallel Theorem Provers and Their Applications. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:132-154 [Conf]
  16. Ryuzo Hasegawa
    Problem-Solving and Inference Software. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:54-69 [Conf]
  17. Hiroshi Fujita, Ryuzo Hasegawa
    A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:535-548 [Conf]
  18. Ryuzo Hasegawa
    Model Generation Theorem Provers and Their Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:7- [Conf]
  19. Yasuyuki Shirai, Ryuzo Hasegawa
    Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:249-263 [Conf]
  20. Yasushi Kiyoki, Ryuzo Hasegawa, Makoto Amamiya
    A Stream-Oriented Parallel Processing Scheme for Relational Database Operations. [Citation Graph (0, 0)][DBLP]
    ICPP, 1986, pp:1013-1020 [Conf]
  21. Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima
    Bottom-up Abduction by Model Generation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:102-108 [Conf]
  22. Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, Hirohide Mikami
    Implementation and Evaluation of a List-Processing-Oriented Data Flow Machine. [Citation Graph (0, 0)][DBLP]
    ISCA, 1986, pp:10-19 [Conf]
  23. 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]
  24. Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
    Model Generation with Boolean Constraints. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:299-308 [Conf]
  25. Miyuki Koshimura, Ryuzo Hasegawa
    Proof Simplification for Model Generation and Its Applications. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:96-113 [Conf]
  26. Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa
    Abstract Model Generation for Preprocessing Clause Sets. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:67-78 [Conf]
  27. Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa
    Minimal Model Generation with Factorization and Constrained Search. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:793- [Conf]
  28. Yasuyuki Shirai, Ryuzo Hasegawa
    Answer Set Computation Based on a Minimal Model Generation Theorem Prover. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:43-52 [Conf]
  29. Makoto Amamiya, Ryuzo Hasegawa, Hirohide Mikami
    List Processing with a Data Flow Machine. [Citation Graph (0, 0)][DBLP]
    RIMS Symposium on Software Science and Engineering, 1982, pp:165-190 [Conf]
  30. 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]
  31. Shunichi Uchida, Akira Aiba, Kazuaki Rokusawa, Takashi Chikayama, Ryuzo Hasegawa
    The parallel logic programming system in the FGCS project and its future directions. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1999, v:25, n:13-14, pp:1601-1633 [Journal]

  32. A list-processing-oriented data flow machine architecture. [Citation Graph (, )][DBLP]


  33. A Method for Query Expansion Using the Related Word Extraction Algorithm. [Citation Graph (, )][DBLP]


  34. Personalized Search Using ODP-based User Profiles Created from User Bookmark. [Citation Graph (, )][DBLP]


  35. User-Schedule-based Web Page Recommendation. [Citation Graph (, )][DBLP]


  36. Related Word Extraction from Wikipedia for Web Retrieval Assistance. [Citation Graph (, )][DBLP]


Search in 0.216secs, Finished in 0.217secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002