Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2008 | |
---|---|---|

44 | EE | Hirohisa Seki: On Negative Unfolding in the Answer Set Semantics. LOPSTR 2008: 168-184 |

2003 | ||

43 | EE | Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: On-line Profit Sharing Works Efficiently. KES 2003: 317-324 |

2000 | ||

42 | EE | Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: A Proposal for Inductive Learning Agent Using First-Order Logic. ILP Work-in-progress reports 2000 |

41 | Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: Adapting Behavior by Inductive Prediction in Soccer Agents. PRICAI 2000: 807 | |

1999 | ||

40 | Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh: Cost-Based Abduction Using Binary Decision Diagrams. IEA/AIE 1999: 215-225 | |

1998 | ||

39 | Tatsushi Funahashi, Tsuyoshi Miyazaki, Masashi Yamada, Hirohisa Seki, Hidenori Itoh: A Generating Method for 3-dimensional Knitting Cloth Shapes. ACCV (1) 1998: 474-481 | |

38 | EE | Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Parallel Induction Algorithms for Large Samples. Discovery Science 1998: 397-398 |

37 | Daisuke Shibata, Tsuyoshi Nakamura, Masashi Yamada, Hirohisa Seki, Hidenori Itoh: Hatched Image Representation of Human Faces Based on a Cognitive Model. FG 1998: 330-335 | |

36 | Tomofumi Nakano, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Inducing Shogi Heuristics Using Inductive Logic Programming. ILP 1998: 155-164 | |

35 | Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: A-SATCHMORE: SATCHMORE with Availability Checking. New Generation Comput. 16(1): 55-74 (1998) | |

1997 | ||

34 | Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Efficient Induction of Executable Logic Programs from Examples. ASIAN 1997: 212-224 | |

33 | EE | Satoru Yoshida, Nobuhiro Inuzuka, Tin Tin Naing, Hirohisa Seki, Hidenori Itoh: A Game-Theoretic Solution of Conflicts among Competitive Agents. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 193-204 |

32 | Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Efficient Transformation for Bottom-up Computation of Stable Models. DDLP 1997: 0- | |

31 | Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. ICLP 1997: 376-390 | |

30 | Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh: A Method of Generating Calligraphy of Japanese Character using Deformable Contourse. IJCAI (2) 1997: 1050-1055 | |

29 | Mitsue Furusawa, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations. ILP 1997: 165-172 | |

28 | EE | Rahmat Budiarto, Masashi Yamada, Hirohisa Seki, Hidenori Itoh: A 3-D string figure display system for animating cat's cradle game. Pacific Conference on Computer Graphics and Applications 1997: 30- |

27 | Chiaki Sakama, Hirohisa Seki: Partial Deduction in Disjunctive Logic Programming. J. Log. Program. 32(3): 229-245 (1997) | |

1996 | ||

26 | Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Constructing More Relevant Models. ASIAN 1996: 345-346 | |

25 | Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh: Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time. DAI 1996: 152-165 | |

24 | Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh: A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases. DAI 1996: 92-105 | |

23 | Lifeng He, Hirohisa Seki, Hidenori Itoh: An Automated Reasoning System for Multi-Agent Cooperation. IEA/AIE 1996: 175-180 | |

22 | Shohei Kato, Chiemi Kamakura, Hirohisa Seki, Hidenori Itoh: PARCAR: Parallel Cost-Based Abductive Reasoning System. IEA/AIE 1996: 57-64 | |

21 | Nobuhiro Inuzuka, Masakage Kamo, Naohiro Ishii, Hirohisa Seki, Hidenori Itoh: Tow-down Induction of Logic Programs from Incomplete Samples. Inductive Logic Programming Workshop 1996: 265-282 | |

20 | EE | Shohei Kato, Hirohisa Seki, Hidenori Itoh: Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. PRICAI 1996: 300-311 |

19 | EE | Todd Law, Hidenori Itoh, Hirohisa Seki: Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning. IEEE Trans. Pattern Anal. Mach. Intell. 18(5): 481-491 (1996) |

1995 | ||

18 | Todd Law, Hidenori Itoh, Hirohisa Seki: A Neural Network Energy Minimization Approach to Approximation of 2-dimensional Shapes. CAIP 1995: 796-801 | |

17 | Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Making Query Processing Goal-Directed in Disjunctive Logic Databases. ICLP 1995: 820 | |

1994 | ||

16 | Chiaki Sakama, Hirohisa Seki: Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. LOPSTR 1994: 170-182 | |

1993 | ||

15 | Shohei Kato, Hirohisa Seki, Hidenori Itoh: An Efficient Abductive Reasoning System Based on Program Analysis. WSA 1993: 230-241 | |

14 | Hirohisa Seki: Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. J. Log. Program. 16(1): 5-23 (1993) | |

1992 | ||

13 | EE | Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki: Soundness and Completeness of Partial Deductions for Well-Founded Semantics. LPAR 1992: 1-12 |

1991 | ||

12 | Hirohisa Seki: Unfold/Fold Transformations of Stratified Programs. Theor. Comput. Sci. 86(1): 107-139 (1991) | |

1990 | ||

11 | Hirohisa Seki: A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. LPNMR 1990: 115-123 | |

1989 | ||

10 | EE | Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki: Knowledge Base System in a Logic Programming Paradigm. DASFAA 1989: 109-116 |

9 | Hirohisa Seki: Unfold/Fold Transformation of Stratified Programs. ICLP 1989: 554-568 | |

8 | EE | Hirohisa Seki: On the Power of Alexander Templates. PODS 1989: 150-159 |

1988 | ||

7 | Hirohisa Seki, Hidenori Itoh: A Query Evaluation Method for Stratified Programs Under the Extended CWA. ICLP/SLP 1988: 195-211 | |

1987 | ||

6 | Hirohisa Seki, Koichi Furukawa: Notes on Transformation Techniques for Generate and Test Logic Programs. SLP 1987: 215-223 | |

1986 | ||

5 | Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998 | |

4 | Tadashi Kanamori, Hirohisa Seki: Verification of Prolog Programs Using an Extension of Execution. ICLP 1986: 475-489 | |

1985 | ||

3 | Hirohisa Seki: Incorporating Generalizaiton Heuristics into Verification of Prolog Programs. IJCAI 1985: 737-741 | |

1984 | ||

2 | Akira Fusaoka, Hirohisa Seki, Kuzuko Takahashi: Description and Reasoning of VLSI Circuit in Temporal Logic. New Generation Comput. 2(1): 79-90 (1984) | |

1983 | ||

1 | Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi: A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI 1983: 405-408 |