Hirohisa Seki

2008
42	EE	Hirohisa Seki: On Negative Unfolding in the Answer Set Semantics. LOPSTR 2008: 168-184
2003
41	EE	Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: On-line Profit Sharing Works Efficiently. KES 2003: 317-324
2000
40	EE	Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: A Proposal for Inductive Learning Agent Using First-Order Logic. ILP Work-in-progress reports 2000
39		Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: Adapting Behavior by Inductive Prediction in Soccer Agents. PRICAI 2000: 807
1999
38		Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh: Cost-Based Abduction Using Binary Decision Diagrams. IEA/AIE 1999: 215-225
1998
37		Tatsushi Funahashi, Tsuyoshi Miyazaki, Masashi Yamada, Hirohisa Seki, Hidenori Itoh: A Generating Method for 3-dimensional Knitting Cloth Shapes. ACCV (1) 1998: 474-481
36	EE	Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Parallel Induction Algorithms for Large Samples. Discovery Science 1998: 397-398
35		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
34		Tomofumi Nakano, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Inducing Shogi Heuristics Using Inductive Logic Programming. ILP 1998: 155-164
33		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
32		Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Efficient Induction of Executable Logic Programs from Examples. ASIAN 1997: 212-224
31	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
30		Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Efficient Transformation for Bottom-up Computation of Stable Models. DDLP 1997: 0-
29		Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. ICLP 1997: 376-390
28		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
27		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
26	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-
25		Chiaki Sakama, Hirohisa Seki: Partial Deduction in Disjunctive Logic Programming. J. Log. Program. 32(3): 229-245 (1997)
1996
24		Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Constructing More Relevant Models. ASIAN 1996: 345-346
23		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
22		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
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		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		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

Coauthor Index

1	Tetsuo Araki	[22] [23]
2	Rahmat Budiarto	[26]
3	Yuyan Chao	[22] [23] [24] [33]
4	Hiroshi Fujita	[5]
5	Tatsushi Funahashi	[37]
6	Koichi Furukawa	[6]
7	Mitsue Furusawa	[27]
8	Akira Fusaoka	[1] [2]
9	Lifeng He	[22] [23] [24] [33]
10	Kenji Horiuchi	[5]
11	Nobuhiro Inuzuka	[21] [27] [31] [32] [34] [36] [39] [40] [41]
12	Naohiro Ishii	[21]
13	Hidenori Itoh	[7] [10] [15] [17] [18] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38]
14	Chiemi Kamakura	[30]
15	Masakage Kamo	[21]
16	Tadashi Kanamori	[4] [5]
17	Shohei Kato	[15] [20] [22] [23] [38]
18	Todd Law	[18] [19]
19	Machi Maeji	[5]
20	Tohgoroh Matsui	[36] [39] [40] [41]
21	Tsuyoshi Miyazaki	[37]
22	Hidetoshi Monoi	[10]
23	Tin Tin Naing	[31]
24	Tsuyoshi Nakamura	[28] [35]
25	Tomofumi Nakano	[34]
26	Satoru Oono	[38]
27	Halina Przymusinska	[13]
28	Teodor C. Przymusinski	[13]
29	Chiaki Sakama	[16] [25]
30	Daisuke Shibata	[35]
31	Yuka Shimajiri	[17] [24] [29] [30] [33]
32	Kazuko Takahashi	[1]
33	Kuzuko Takahashi	[2]
34	Lisong Wang	[28]
35	Minkai Wang	[28]
36	Masashi Yamada	[26] [35] [37]
37	Satoru Yoshida	[31]

Colors in the list of coauthors