Hirohisa Seki

Publication Activity (10 Years)

Years Active: 1983-2021
Publications (10 Years): 18

Top Topics

Closed Patterns

Similarity Measure

Relational Data

Top Venues

Int. J. Comput. Intell. Stud.

Publications

Hirohisa Seki, Shuhei Toriyama
Using term similarity measures for classifying short document data. Int. J. Comput. Intell. Stud. 10 (2/3) (2021)
Hirohisa Seki, Taiki Yamada
A CbO-based Algorithm for Mining Class Relevant Patterns. CLA (2020)
Seungyong Yoon, Hirohisa Seki
A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database. J. Adv. Comput. Intell. Intell. Informatics 23 (5) (2019)
Hirohisa Seki, SeungYong Yoon
A New Algorithm for Mining Recurrent Rules from a Sequence Database. SMC (2019)
Hirohisa Seki, Shuhei Toriyama
On Term Similarity Measures for Short Text Classification. IWCIA (2019)
Hirohisa Seki, Masahiro Nagao
Parallel algorithms for enumerating closed patterns from multi-relational data. Discret. Appl. Math. 249 (2018)
Seungyong Yoon, Hirohisa Seki
Efficient Mining of Recurrent Rules from a Sequence Database Using Multi-Core Processors. SCIS&ISIS (2018)
Hirohisa Seki, Masahiro Nagao
Mining Correlated Association Rules from Multi-Relational Data using Interval Patterns. CLA (2018)
SeungYong Yoon, Hirohisa Seki
Mining non-redundant recurrent rules from a sequence database. Int. J. Comput. Intell. Stud. 7 (3/4) (2018)
SeungYong Yoon, Hirohisa Seki
Towards efficient mining of non-redundant recurrent rules from a sequence database. IWCIA (2017)
Masahiro Nagao, Hirohisa Seki
An FCA approach to mining quantitative association rules from multi-relational data. Int. J. Comput. Intell. Stud. 6 (4) (2017)
Hirohisa Seki, Masahiro Nagao
An efficient java implementation of a GA-based miner for relational association rules with numerical attributes. SMC (2017)
Maurizio Proietti, Hirohisa Seki, Jim Woodcock
Editorial. Formal Aspects Comput. 29 (1) (2017)
Hirohisa Seki
On dual programs in co-logic programming and the Horn μ -calculus. Formal Aspects Comput. 29 (3) (2017)
Masahiro Nagao, Hirohisa Seki
On mining quantitative association rules from multi-relational data with FCA. IWCIA (2016)
Yohei Kamiya, Hirohisa Seki
Distributed Mining of Closed Patterns from Multi-Relational Data. J. Adv. Comput. Intell. Intell. Informatics 19 (6) (2015)
Hirohisa Seki
On Dual Programs in Co-Logic Programming. LOPSTR (2015)
Masahiro Nagao, Hirohisa Seki
Towards parallel mining of closed patterns from multi-relational data. IWCIA (2015)
Yohei Kamiya, Hirohisa Seki
Towards efficient closed pattern mining from distributed multi-relational data. SCIS&ISIS (2014)
Hirohisa Seki, Yohei Kamiya
Merging Closed Pattern Sets in Distributed Multi-Relational Data. CLA (2014)
Hirohisa Seki
Extending Co-logic Programs for Branching-Time Model Checking. LOPSTR (2013)
Hirohisa Seki, Sho-ich Tanimoto
Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results. CLA (2012)
Hirohisa Seki
Proving Properties of Co-logic Programs with Negation by Program Transformations. LOPSTR (2012)
Hirohisa Seki
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. LOPSTR (2011)
Hirohisa Seki
On Inductive Proofs by Extended Unfold/Fold Transformation Rules. LOPSTR (2010)
Hirohisa Seki, Yuya Honda, Shinya Nagano
On Enumerating Frequent Closed Patterns with Key in Multi-relational Data. Discovery Science (2010)
Hirohisa Seki
On Inductive and Coinductive Proofs via Unfold/Fold Transformations. LOPSTR (2009)
Hirohisa Seki
On Negative Unfolding in the Answer Set Semantics. LOPSTR (2008)
Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki
On-line Profit Sharing Works Efficiently. KES (2003)
Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki
Adapting Behavior by Inductive Prediction in Soccer Agents. PRICAI (2000)
Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki
A Proposal for Inductive Learning Agent Using First-Order Logic. ILP Work-in-progress reports (2000)
Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh
Cost-Based Abduction Using Binary Decision Diagrams. IEA/AIE (1999)
Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
A-SATCHMORE: SATCHMORE with Availability Checking. New Gener. Comput. 16 (1) (1998)
Tomofumi Nakano, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
Inducing Shogi Heuristics Using Inductive Logic Programming. ILP (1998)
Daisuke Shibata, Tsuyoshi Nakamura, Masashi Yamada, Hirohisa Seki, Hidenori Itoh
Hatched Image Representation of Human Faces Based on a Cognitive Model. FG (1998)
Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
Parallel Induction Algorithms for Large Samples. Discovery Science (1998)
Tatsushi Funahashi, Tsuyoshi Miyazaki, Masashi Yamada, Hirohisa Seki, Hidenori Itoh
A Generating Method for 3-dimensional Knitting Cloth Shapes. ACCV (1) (1998)
Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh
A Method of Generating Calligraphy of Japanese Character using Deformable Contourse. IJCAI (2) (1997)
Mitsue Furusawa, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations. ILP (1997)
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)
Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. ICLP (1997)
Rahmat Budiarto, Masashi Yamada, Hirohisa Seki, Hidenori Itoh
A 3-D string figure display system for animating cat's cradle game. PG (1997)
Shohei Kato, Hirohisa Seki, Hidenori Itoh
A parallel implementation of cost-based abductive reasoning. PASCO (1997)
Chiaki Sakama, Hirohisa Seki
Partial Deduction in Disjunctive Logic Programming. J. Log. Program. 32 (3) (1997)
Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Efficient Transformation for Bottom-up Computation of Stable Models. DDLP (1997)
Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh
Efficient Induction of Executable Logic Programs from Examples. ASIAN (1997)
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)
Shohei Kato, Hirohisa Seki, Hidenori Itoh
Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. PRICAI (1996)
Lifeng He, Hirohisa Seki, Hidenori Itoh
Implementing an Automated Reasoning System for Multi-Robot Cooperation. DARS (1996)
Todd Law, Hidenori Itoh, Hirohisa Seki
Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning. IEEE Trans. Pattern Anal. Mach. Intell. 18 (5) (1996)
Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Constructing More Relevant Models. ASIAN (1996)
Shohei Kato, Chiemi Kamakura, Hirohisa Seki, Hidenori Itoh
PARCAR: Parallel Cost-Based Abductive Reasoning System. IEA/AIE (1996)
Nobuhiro Inuzuka, Masakage Kamo, Naohiro Ishii, Hirohisa Seki, Hidenori Itoh
Tow-down Induction of Logic Programs from Incomplete Samples. Inductive Logic Programming Workshop (1996)
Lifeng He, Hirohisa Seki, Hidenori Itoh
An Automated Reasoning System for Multi-Agent Cooperation. IEA/AIE (1996)
Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh
A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases. DAI (1996)
Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Making Query Processing Goal-Directed in Disjunctive Logic Databases. ICLP (1995)
Todd Law, Hidenori Itoh, Hirohisa Seki
A Neural Network Energy Minimization Approach to Approximation of 2-dimensional Shapes. CAIP (1995)
Chiaki Sakama, Hirohisa Seki
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. LOPSTR (1994)
Hirohisa Seki
Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. J. Log. Program. 16 (1) (1993)
Shohei Kato, Hirohisa Seki, Hidenori Itoh
An Efficient Abductive Reasoning System Based on Program Analysis. WSA (1993)
Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki
Soundness and Completeness of Partial Deductions for Well-Founded Semantics. LPAR (1992)
Hirohisa Seki
Unfold/Fold Transformations of Stratified Programs. Theor. Comput. Sci. 86 (1) (1991)
Hirohisa Seki
A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. LPNMR (1990)
Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki
Knowledge Base System in a Logic Programming Paradigm. DASFAA (1989)
Hirohisa Seki
On the Power of Alexander Templates. PODS (1989)
Hirohisa Seki
Unfold/Fold Transformation of Stratified Programs. ICLP (1989)
Hirohisa Seki, Hidenori Itoh
A Query Evaluation Method for Stratified Programs Under the Extended CWA. ICLP/SLP (1988)
Hirohisa Seki, Koichi Furukawa
Notes on Transformation Techniques for Generate and Test Logic Programs. SLP (1987)
Tadashi Kanamori, Hirohisa Seki
Verification of Prolog Programs Using an Extension of Execution. ICLP (1986)
Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji
ARGOS/V: A System for Verification of Prolog Programs. FJCC (1986)
Hirohisa Seki
Incorporating Generalization Heuristics into Verification of Prolog Programs. IJCAI (1985)
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
Description and Reasoning of VLSI Circuit in Temporal Logic. New Gener. Comput. 2 (1) (1984)
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI (1983)