dblp.uni-trier.dewww.uni-trier.de

Hirohisa Seki Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
44EEHirohisa Seki: On Negative Unfolding in the Answer Set Semantics. LOPSTR 2008: 168-184
2003
43EETohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: On-line Profit Sharing Works Efficiently. KES 2003: 317-324
2000
42EETohgoroh 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
38EETohgoroh 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
33EESatoru 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
28EERahmat 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
20EEShohei Kato, Hirohisa Seki, Hidenori Itoh: Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. PRICAI 1996: 300-311
19EETodd 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
13EEHalina 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
10EEHidenori 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
8EEHirohisa 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)