| 2019 | SMC | A New Algorithm for Mining Recurrent Rules from a Sequence Database. | Hirohisa Seki, SeungYong Yoon |
| 2017 | SMC | An efficient java implementation of a GA-based miner for relational association rules with numerical attributes. | Hirohisa Seki, Masahiro Nagao |
| 2015 | LOPSTR | On Dual Programs in Co-Logic Programming. | Hirohisa Seki |
| 2013 | LOPSTR | Extending Co-logic Programs for Branching-Time Model Checking. | Hirohisa Seki |
| 2012 | LOPSTR | Proving Properties of Co-logic Programs with Negation by Program Transformations. | Hirohisa Seki |
| 2011 | LOPSTR | Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. | Hirohisa Seki |
| 2010 | DIS | On Enumerating Frequent Closed Patterns with Key in Multi-relational Data. | Hirohisa Seki, Yuya Honda, Shinya Nagano |
| 2010 | LOPSTR | On Inductive Proofs by Extended Unfold/Fold Transformation Rules. | Hirohisa Seki |
| 2009 | LOPSTR | On Inductive and Coinductive Proofs via Unfold/Fold Transformations. | Hirohisa Seki |
| 2008 | LOPSTR | On Negative Unfolding in the Answer Set Semantics. | Hirohisa Seki |
| 2003 | KES | On-line Profit Sharing Works Efficiently. | Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki |
| 2000 | ILP | A Proposal for Inductive Learning Agent Using First-Order Logic. | Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki |
| 2000 | PRICAI | Adapting Behavior by Inductive Prediction in Soccer Agents. | Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki |
| 1998 | ACCV | A Generating Method for 3-dimensional Knitting Cloth Shapes. | Tatsushi Funahashi, Tsuyoshi Miyazaki, Masashi Yamada, Hirohisa Seki, Hidenori Itoh |
| 1998 | DIS | Parallel Induction Algorithms for Large Samples. | Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh |
| 1998 | ILP | Inducing Shogi Heuristics Using Inductive Logic Programming. | Tomofumi Nakano, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh |
| 1997 | ICLP | Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. | Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
| 1997 | IJCAI | A Method of Generating Calligraphy of Japanese Character using Deformable Contourse. | Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh |
| 1997 | ILP | Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations. | Mitsue Furusawa, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh |
| 1997 | PG | A 3-D string figure display system for animating cat's cradle game. | Rahmat Budiarto, Masashi Yamada, Hirohisa Seki, Hidenori Itoh |
| 1996 | ILP | Tow-down Induction of Logic Programs from Incomplete Samples. | Nobuhiro Inuzuka, Masakage Kamo, Naohiro Ishii, Hirohisa Seki, Hidenori Itoh |
| 1996 | PRICAI | Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. | Shohei Kato, Hirohisa Seki, Hidenori Itoh |
| 1995 | CAIP | A Neural Network Energy Minimization Approach to Approximation of 2-dimensional Shapes. | Todd Law, Hidenori Itoh, Hirohisa Seki |
| 1995 | ICLP | Making Query Processing Goal-Directed in Disjunctive Logic Databases. | Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
| 1994 | LOPSTR | Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. | Chiaki Sakama, Hirohisa Seki |
| 1993 | SAS | An Efficient Abductive Reasoning System Based on Program Analysis. | Shohei Kato, Hirohisa Seki, Hidenori Itoh |
| 1992 | LPAR | Soundness and Completeness of Partial Deductions for Well-Founded Semantics. | Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki |
| 1990 | LPNMR | A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. | Hirohisa Seki |
| 1989 | DASFAA | Knowledge Base System in a Logic Programming Paradigm. | Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki |
| 1989 | ICLP | Unfold/Fold Transformation of Stratified Programs. | Hirohisa Seki |
| 1989 | PODS | On the Power of Alexander Templates. | Hirohisa Seki |
| 1988 | ICLP | A Query Evaluation Method for Stratified Programs Under the Extended CWA. | Hirohisa Seki, Hidenori Itoh |
| 1986 | ICLP | Verification of Prolog Programs Using an Extension of Execution. | Tadashi Kanamori, Hirohisa Seki |
| 1985 | IJCAI | Incorporating Generalization Heuristics into Verification of Prolog Programs. | Hirohisa Seki |
| 1983 | IJCAI | A Description and Reasoning of Plant Controllers in Temporal Logic. | Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi |