Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hirohisa Seki
2010 – today
- 2012
[c45]Hirohisa Seki, Sho-ich Tanimoto: Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results. CLA 2012: 115-126- [c44]Hirohisa Seki: Proving Properties of Co-logic Programs with Negation by Program Transformations. LOPSTR 2012: 213-227
- 2011
- [c43]Hirohisa Seki: Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. LOPSTR 2011: 205-220
- 2010
- [c42]Hirohisa Seki, Yuya Honda, Shinya Nagano: On Enumerating Frequent Closed Patterns with Key in Multi-relational Data. Discovery Science 2010: 72-86
- [c41]Hirohisa Seki: On Inductive Proofs by Extended Unfold/Fold Transformation Rules. LOPSTR 2010: 117-132
2000 – 2009
- 2009
- [c40]Hirohisa Seki: On Inductive and Coinductive Proofs via Unfold/Fold Transformations. LOPSTR 2009: 82-96
- 2008
- [c39]
- 2003
- [c38]Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: On-line Profit Sharing Works Efficiently. KES 2003: 317-324
- 2000
- [c37]Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: A Proposal for Inductive Learning Agent Using First-Order Logic. ILP Work-in-progress reports 2000
- [c36]Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki: Adapting Behavior by Inductive Prediction in Soccer Agents. PRICAI 2000: 807
1990 – 1999
- 1999
- [c35]Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh: Cost-Based Abduction Using Binary Decision Diagrams. IEA/AIE 1999: 215-225
- 1998
- [j6]Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: A-SATCHMORE: SATCHMORE with Availability Checking. New Generation Comput. 16(1): 55-74 (1998)
- [c34]Tatsushi Funahashi, Tsuyoshi Miyazaki, Masashi Yamada, Hirohisa Seki, Hidenori Itoh: A Generating Method for 3-dimensional Knitting Cloth Shapes. ACCV (1) 1998: 474-481
- [c33]Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Parallel Induction Algorithms for Large Samples. Discovery Science 1998: 397-398
- [c32]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
- [c31]Tomofumi Nakano, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Inducing Shogi Heuristics Using Inductive Logic Programming. ILP 1998: 155-164
- 1997
- [j5]Chiaki Sakama, Hirohisa Seki: Partial Deduction in Disjunctive Logic Programming. J. Log. Program. 32(3): 229-245 (1997)
- [c30]Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Efficient Induction of Executable Logic Programs from Examples. ASIAN 1997: 212-224
- [c29]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
- [c28]Shohei Kato, Hirohisa Seki, Hidenori Itoh: A parallel implementation of cost-based abductive reasoning. PASCO 1997: 111-118
- [c27]Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Efficient Transformation for Bottom-up Computation of Stable Models. DDLP 1997
- [c26]Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. ICLP 1997: 376-390
- [c25]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
- [c24]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
- [c23]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-
- 1996
- [j4]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)
- [c22]Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Constructing More Relevant Models. ASIAN 1996: 345-346
- [c21]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
- [c20]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
- [c19]Shohei Kato, Chiemi Kamakura, Hirohisa Seki, Hidenori Itoh: PARCAR: Parallel Cost-Based Abductive Reasoning System. IEA/AIE 1996: 57-64
- [c18]Lifeng He, Hirohisa Seki, Hidenori Itoh: An Automated Reasoning System for Multi-Agent Cooperation. IEA/AIE 1996: 175-180
- [c17]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
- [c16]Shohei Kato, Hirohisa Seki, Hidenori Itoh: Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. PRICAI 1996: 300-311
- 1995
- [c15]Todd Law, Hidenori Itoh, Hirohisa Seki: A Neural Network Energy Minimization Approach to Approximation of 2-dimensional Shapes. CAIP 1995: 796-801
- [c14]Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Making Query Processing Goal-Directed in Disjunctive Logic Databases. ICLP 1995: 820
- 1994
- [c13]Chiaki Sakama, Hirohisa Seki: Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. LOPSTR 1994: 170-182
- 1993
- [j3]Hirohisa Seki: Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. J. Log. Program. 16(1): 5-23 (1993)
- [c12]Shohei Kato, Hirohisa Seki, Hidenori Itoh: An Efficient Abductive Reasoning System Based on Program Analysis. WSA 1993: 230-241
- 1992
- [c11]Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki: Soundness and Completeness of Partial Deductions for Well-Founded Semantics. LPAR 1992: 1-12
- 1991
- [j2]Hirohisa Seki: Unfold/Fold Transformations of Stratified Programs. Theor. Comput. Sci. 86(1): 107-139 (1991)
- 1990
- [c10]Hirohisa Seki: A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. LPNMR 1990: 115-123
1980 – 1989
- 1989
- [c9]Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki: Knowledge Base System in a Logic Programming Paradigm. DASFAA 1989: 109-116
- [c8]
- [c7]
- 1988
- [c6]Hirohisa Seki, Hidenori Itoh: A Query Evaluation Method for Stratified Programs Under the Extended CWA. ICLP/SLP 1988: 195-211
- 1987
- [c5]Hirohisa Seki, Koichi Furukawa: Notes on Transformation Techniques for Generate and Test Logic Programs. SLP 1987: 215-223
- 1986
- [c4]Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998
- [c3]Tadashi Kanamori, Hirohisa Seki: Verification of Prolog Programs Using an Extension of Execution. ICLP 1986: 475-489
- 1985
- [c2]Hirohisa Seki: Incorporating Generalizaiton Heuristics into Verification of Prolog Programs. IJCAI 1985: 737-741
- 1984
- [j1]Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi: Description and Reasoning of VLSI Circuit in Temporal Logic. New Generation Comput. 2(1): 79-90 (1984)
- 1983
- [c1]Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi: A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI 1983: 405-408
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-10 21:59 CEST by the dblp team