The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hirohisa Seki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hirohisa Seki, Hidenori Itoh
    A Query Evaluation Method for Stratified Programs Under the Extended CWA. [Citation Graph (7, 0)][DBLP]
    ICLP/SLP, 1988, pp:195-211 [Conf]
  2. Hirohisa Seki
    On the Power of Alexander Templates. [Citation Graph (4, 14)][DBLP]
    PODS, 1989, pp:150-159 [Conf]
  3. Tatsushi Funahashi, Tsuyoshi Miyazaki, Masashi Yamada, Hirohisa Seki, Hidenori Itoh
    A Generating Method for 3-dimensional Knitting Cloth Shapes. [Citation Graph (0, 0)][DBLP]
    ACCV (1), 1998, pp:474-481 [Conf]
  4. Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
    Efficient Induction of Executable Logic Programs from Examples. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:212-224 [Conf]
  5. Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    Constructing More Relevant Models. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:345-346 [Conf]
  6. Satoru Yoshida, Nobuhiro Inuzuka, Tin Tin Naing, Hirohisa Seki, Hidenori Itoh
    A Game-Theoretic Solution of Conflicts among Competitive Agents. [Citation Graph (0, 0)][DBLP]
    Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997, pp:193-204 [Conf]
  7. Todd Law, Hidenori Itoh, Hirohisa Seki
    A Neural Network Energy Minimization Approach to Approximation of 2-dimensional Shapes. [Citation Graph (0, 0)][DBLP]
    CAIP, 1995, pp:796-801 [Conf]
  8. Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh
    A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    DAI, 1996, pp:92-105 [Conf]
  9. Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh
    Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time. [Citation Graph (0, 0)][DBLP]
    DAI, 1996, pp:152-165 [Conf]
  10. Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki
    Knowledge Base System in a Logic Programming Paradigm. [Citation Graph (0, 19)][DBLP]
    DASFAA, 1989, pp:109-116 [Conf]
  11. Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    Efficient Transformation for Bottom-up Computation of Stable Models. [Citation Graph (0, 0)][DBLP]
    DDLP, 1997, pp:0-0 [Conf]
  12. Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
    Parallel Induction Algorithms for Large Samples. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 1998, pp:397-398 [Conf]
  13. Daisuke Shibata, Tsuyoshi Nakamura, Masashi Yamada, Hirohisa Seki, Hidenori Itoh
    Hatched Image Representation of Human Faces Based on a Cognitive Model. [Citation Graph (0, 0)][DBLP]
    FG, 1998, pp:330-335 [Conf]
  14. Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji
    ARGOS/V: A System for Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:994-998 [Conf]
  15. Tadashi Kanamori, Hirohisa Seki
    Verification of Prolog Programs Using an Extension of Execution. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:475-489 [Conf]
  16. Hirohisa Seki
    Unfold/Fold Transformation of Stratified Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:554-568 [Conf]
  17. Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    Making Query Processing Goal-Directed in Disjunctive Logic Databases. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:820- [Conf]
  18. Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:376-390 [Conf]
  19. Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh
    Cost-Based Abduction Using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1999, pp:215-225 [Conf]
  20. Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
    A Description and Reasoning of Plant Controllers in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:405-408 [Conf]
  21. Hirohisa Seki
    Incorporating Generalizaiton Heuristics into Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:737-741 [Conf]
  22. Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh
    A Method of Generating Calligraphy of Japanese Character using Deformable Contourse. [Citation Graph (0, 0)][DBLP]
    IJCAI (2), 1997, pp:1050-1055 [Conf]
  23. Mitsue Furusawa, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
    Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations. [Citation Graph (0, 0)][DBLP]
    ILP, 1997, pp:165-172 [Conf]
  24. Nobuhiro Inuzuka, Masakage Kamo, Naohiro Ishii, Hirohisa Seki, Hidenori Itoh
    Tow-down Induction of Logic Programs from Incomplete Samples. [Citation Graph (0, 0)][DBLP]
    Inductive Logic Programming Workshop, 1996, pp:265-282 [Conf]
  25. Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki
    A Proposal for Inductive Learning Agent Using First-Order Logic. [Citation Graph (0, 0)][DBLP]
    ILP Work-in-progress reports, 2000, pp:- [Conf]
  26. Tomofumi Nakano, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
    Inducing Shogi Heuristics Using Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILP, 1998, pp:155-164 [Conf]
  27. Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki
    On-line Profit Sharing Works Efficiently. [Citation Graph (0, 0)][DBLP]
    KES, 2003, pp:317-324 [Conf]
  28. Chiaki Sakama, Hirohisa Seki
    Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:170-182 [Conf]
  29. Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki
    Soundness and Completeness of Partial Deductions for Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:1-12 [Conf]
  30. Hirohisa Seki
    A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:115-123 [Conf]
  31. Rahmat Budiarto, Masashi Yamada, Hirohisa Seki, Hidenori Itoh
    A 3-D string figure display system for animating cat's cradle game. [Citation Graph (0, 0)][DBLP]
    Pacific Conference on Computer Graphics and Applications, 1997, pp:30-0 [Conf]
  32. Shohei Kato, Hirohisa Seki, Hidenori Itoh
    Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1996, pp:300-311 [Conf]
  33. Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki
    Adapting Behavior by Inductive Prediction in Soccer Agents. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:807- [Conf]
  34. Shohei Kato, Hirohisa Seki, Hidenori Itoh
    An Efficient Abductive Reasoning System Based on Program Analysis. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:230-241 [Conf]
  35. Hirohisa Seki, Koichi Furukawa
    Notes on Transformation Techniques for Generate and Test Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:215-223 [Conf]
  36. Hirohisa Seki
    Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:5-23 [Journal]
  37. Chiaki Sakama, Hirohisa Seki
    Partial Deduction in Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:32, n:3, pp:229-245 [Journal]
  38. Akira Fusaoka, Hirohisa Seki, Kuzuko Takahashi
    Description and Reasoning of VLSI Circuit in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1984, v:2, n:1, pp:79-90 [Journal]
  39. Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    A-SATCHMORE: SATCHMORE with Availability Checking. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1998, v:16, n:1, pp:55-74 [Journal]
  40. Todd Law, Hidenori Itoh, Hirohisa Seki
    Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Pattern Anal. Mach. Intell., 1996, v:18, n:5, pp:481-491 [Journal]
  41. Hirohisa Seki
    Unfold/Fold Transformations of Stratified Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:86, n:1, pp:107-139 [Journal]

  42. PARCAR: Parallel Cost-Based Abductive Reasoning System. [Citation Graph (, )][DBLP]


  43. An Automated Reasoning System for Multi-Agent Cooperation. [Citation Graph (, )][DBLP]


  44. On Negative Unfolding in the Answer Set Semantics. [Citation Graph (, )][DBLP]


  45. On Inductive and Coinductive Proofs via Unfold/Fold Transformations. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.020secs
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