A Description and Reasoning of Plant Controllers in Temporal Logic. - Akira Fusaoka; Hirohisa Seki; Kazuko Takahashi (IJCAI, 1983)

Description and Reasoning of VLSI Circuit in Temporal Logic. - Akira Fusaoka; Hirohisa Seki; Kazuko Takahashi (New Gener. Comput., 1984)

Incorporating Generalization Heuristics into Verification of Prolog Programs. - Hirohisa Seki (IJCAI, 1985)

ARGOS/V: A System for Verification of Prolog Programs. - Tadashi Kanamori; Hiroshi Fujita; Hirohisa Seki; Kenji Horiuchi; Machi Maeji (FJCC, 1986)

Verification of Prolog Programs Using an Extension of Execution. - Tadashi Kanamori; Hirohisa Seki (ICLP, 1986)

Notes on Transformation Techniques for Generate and Test Logic Programs. - Hirohisa Seki; Koichi Furukawa (SLP, 1987)

A Query Evaluation Method for Stratified Programs Under the Extended CWA. - Hirohisa Seki; Hidenori Itoh (ICLP/SLP, 1988)

Knowledge Base System in a Logic Programming Paradigm. - Hidenori Itoh; Hidetoshi Monoi; Hirohisa Seki (DASFAA, 1989)

Unfold/Fold Transformation of Stratified Programs. - Hirohisa Seki (ICLP, 1989)

On the Power of Alexander Templates. - Hirohisa Seki (PODS, 1989)

A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. - Hirohisa Seki (LPNMR, 1990)

Unfold/Fold Transformations of Stratified Programs. - Hirohisa Seki (Theor. Comput. Sci., 1991)

Soundness and Completeness of Partial Deductions for Well-Founded Semantics. - Halina Przymusinska; Teodor C. Przymusinski; Hirohisa Seki (LPAR, 1992)

An Efficient Abductive Reasoning System Based on Program Analysis. - Shohei Kato; Hirohisa Seki; Hidenori Itoh (WSA, 1993)

Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. - Hirohisa Seki (J. Log. Program., 1993)

Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. - Chiaki Sakama; Hirohisa Seki (LOPSTR, 1994)

A Neural Network Energy Minimization Approach to Approximation of 2-dimensional Shapes. - Todd Law; Hidenori Itoh; Hirohisa Seki (CAIP, 1995)

Making Query Processing Goal-Directed in Disjunctive Logic Databases. - Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (ICLP, 1995)

Constructing More Relevant Models. - Lifeng He; Yuyan Chao; Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (ASIAN, 1996)

A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases. - Lifeng He; Yuyan Chao; Shohei Kato; Tetsuo Araki; Hirohisa Seki; Hidenori Itoh (DAI, 1996)

Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time. - Lifeng He; Yuyan Chao; Shohei Kato; Tetsuo Araki; Hirohisa Seki; Hidenori Itoh (DAI, 1996)

Implementing an Automated Reasoning System for Multi-Robot Cooperation. - Lifeng He; Hirohisa Seki; Hidenori Itoh (DARS, 1996)

An Automated Reasoning System for Multi-Agent Cooperation. - Lifeng He; Hirohisa Seki; Hidenori Itoh (IEA/AIE, 1996)

PARCAR: Parallel Cost-Based Abductive Reasoning System. - Shohei Kato; Chiemi Kamakura; Hirohisa Seki; Hidenori Itoh (IEA/AIE, 1996)

Tow-down Induction of Logic Programs from Incomplete Samples. - Nobuhiro Inuzuka; Masakage Kamo; Naohiro Ishii; Hirohisa Seki; Hidenori Itoh (Inductive Logic Programming Workshop, 1996)

Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. - Shohei Kato; Hirohisa Seki; Hidenori Itoh (PRICAI, 1996)

Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning. - Todd Law; Hidenori Itoh; Hirohisa Seki (IEEE Trans. Pattern Anal. Mach. Intell., 1996)

Efficient Induction of Executable Logic Programs from Examples. - Nobuhiro Inuzuka; Hirohisa Seki; Hidenori Itoh (ASIAN, 1997)

A Game-Theoretic Solution of Conflicts among Competitive Agents. - Satoru Yoshida; Nobuhiro Inuzuka; Tin Tin Naing; Hirohisa Seki; Hidenori Itoh (Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997)

A parallel implementation of cost-based abductive reasoning. - Shohei Kato; Hirohisa Seki; Hidenori Itoh (PASCO, 1997)

Efficient Transformation for Bottom-up Computation of Stable Models. - Chiemi Kamakura; Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (DDLP, 1997)

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. - Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (ICLP, 1997)

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

Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations. - Mitsue Furusawa; Nobuhiro Inuzuka; Hirohisa Seki; Hidenori Itoh (ILP, 1997)

A 3-D string figure display system for animating cat's cradle game. - Rahmat Budiarto; Masashi Yamada; Hirohisa Seki; Hidenori Itoh (PG, 1997)

Partial Deduction in Disjunctive Logic Programming. - Chiaki Sakama; Hirohisa Seki (J. Log. Program., 1997)

A Generating Method for 3-dimensional Knitting Cloth Shapes. - Tatsushi Funahashi; Tsuyoshi Miyazaki 001; Masashi Yamada; Hirohisa Seki; Hidenori Itoh (ACCV (1), 1998)

Parallel Induction Algorithms for Large Samples. - Tohgoroh Matsui; Nobuhiro Inuzuka; Hirohisa Seki; Hidenori Itoh (Discovery Science, 1998)

Hatched Image Representation of Human Faces Based on a Cognitive Model. - Daisuke Shibata; Tsuyoshi Nakamura; Masashi Yamada; Hirohisa Seki; Hidenori Itoh (FG, 1998)

Inducing Shogi Heuristics Using Inductive Logic Programming. - Tomofumi Nakano; Nobuhiro Inuzuka; Hirohisa Seki; Hidenori Itoh (ILP, 1998)

A-SATCHMORE: SATCHMORE with Availability Checking. - Lifeng He; Yuyan Chao; Yuka Shimajiri; Hirohisa Seki; Hidenori Itoh (New Gener. Comput., 1998)

Cost-Based Abduction Using Binary Decision Diagrams. - Shohei Kato; Satoru Oono; Hirohisa Seki; Hidenori Itoh (IEA/AIE, 1999)

A Proposal for Inductive Learning Agent Using First-Order Logic. - Tohgoroh Matsui; Nobuhiro Inuzuka; Hirohisa Seki (ILP Work-in-progress reports, 2000)

Adapting Behavior by Inductive Prediction in Soccer Agents. - Tohgoroh Matsui; Nobuhiro Inuzuka; Hirohisa Seki (PRICAI, 2000)

On-line Profit Sharing Works Efficiently. - Tohgoroh Matsui; Nobuhiro Inuzuka; Hirohisa Seki (KES, 2003)

On Negative Unfolding in the Answer Set Semantics. - Hirohisa Seki (LOPSTR, 2008)

On Inductive and Coinductive Proofs via Unfold/Fold Transformations. - Hirohisa Seki (LOPSTR, 2009)

On Enumerating Frequent Closed Patterns with Key in Multi-relational Data. - Hirohisa Seki; Yuya Honda; Shinya Nagano (Discovery Science, 2010)

On Inductive Proofs by Extended Unfold/Fold Transformation Rules. - Hirohisa Seki (LOPSTR, 2010)

Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. - Hirohisa Seki (LOPSTR, 2011)

Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results. - Hirohisa Seki; Sho-ich Tanimoto (CLA, 2012)

Proving Properties of Co-logic Programs with Negation by Program Transformations. - Hirohisa Seki (LOPSTR, 2012)

Extending Co-logic Programs for Branching-Time Model Checking. - Hirohisa Seki (LOPSTR, 2013)

Merging Closed Pattern Sets in Distributed Multi-Relational Data. - Hirohisa Seki; Yohei Kamiya (CLA, 2014)

Towards efficient closed pattern mining from distributed multi-relational data. - Yohei Kamiya; Hirohisa Seki (SCIS&ISIS, 2014)

Towards parallel mining of closed patterns from multi-relational data. - Masahiro Nagao; Hirohisa Seki (IWCIA, 2015)

On Dual Programs in Co-Logic Programming. - Hirohisa Seki (LOPSTR, 2015)

Distributed Mining of Closed Patterns from Multi-Relational Data. - Yohei Kamiya; Hirohisa Seki (J. Adv. Comput. Intell. Intell. Informatics, 2015)

On mining quantitative association rules from multi-relational data with FCA. - Masahiro Nagao; Hirohisa Seki (IWCIA, 2016)

Towards efficient mining of non-redundant recurrent rules from a sequence database. - SeungYong Yoon; Hirohisa Seki (IWCIA, 2017)

An efficient java implementation of a GA-based miner for relational association rules with numerical attributes. - Hirohisa Seki; Masahiro Nagao (SMC, 2017)

Editorial. - Maurizio Proietti; Hirohisa Seki; Jim Woodcock 001 (Formal Aspects Comput., 2017)

On dual programs in co-logic programming and the Horn μ -calculus. - Hirohisa Seki (Formal Aspects Comput., 2017)

An FCA approach to mining quantitative association rules from multi-relational data. - Masahiro Nagao; Hirohisa Seki (Int. J. Comput. Intell. Stud., 2017)

Mining Correlated Association Rules from Multi-Relational Data using Interval Patterns. - Hirohisa Seki; Masahiro Nagao (CLA, 2018)

Efficient Mining of Recurrent Rules from a Sequence Database Using Multi-Core Processors. - Seungyong Yoon; Hirohisa Seki (SCIS&ISIS, 2018)

Parallel algorithms for enumerating closed patterns from multi-relational data. - Hirohisa Seki; Masahiro Nagao (Discret. Appl. Math., 2018)

Mining non-redundant recurrent rules from a sequence database. - SeungYong Yoon; Hirohisa Seki (Int. J. Comput. Intell. Stud., 2018)

On Term Similarity Measures for Short Text Classification. - Hirohisa Seki; Shuhei Toriyama (IWCIA, 2019)

A New Algorithm for Mining Recurrent Rules from a Sequence Database. - Hirohisa Seki; SeungYong Yoon (SMC, 2019)

A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database. - Seungyong Yoon; Hirohisa Seki (J. Adv. Comput. Intell. Intell. Informatics, 2019)

A CbO-based Algorithm for Mining Class Relevant Patterns. - Hirohisa Seki; Taiki Yamada (CLA, 2020)

Using term similarity measures for classifying short document data. - Hirohisa Seki; Shuhei Toriyama (Int. J. Comput. Intell. Stud., 2021)