Hirohisa Seki

According to our database, Hirohisa Seki authored at least 73 papers between 1983 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Using term similarity measures for classifying short document data.

Hirohisa Seki, Shuhei Toriyama

Int. J. Comput. Intell. Stud., 2021

2020

A CbO-based Algorithm for Mining Class Relevant Patterns.

Hirohisa Seki, Taiki Yamada

Proceedings of the Fifthteenth International Conference on Concept Lattices and Their Applications, 2020

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 New Algorithm for Mining Recurrent Rules from a Sequence Database.

Hirohisa Seki, SeungYong Yoon

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

On Term Similarity Measures for Short Text Classification.

Hirohisa Seki, Shuhei Toriyama

Proceedings of the 11th IEEE International Workshop on Computational Intelligence and Applications, 2019

2018

Mining non-redundant recurrent rules from a sequence database.

SeungYong Yoon, Hirohisa Seki

Int. J. Comput. Intell. Stud., 2018

Parallel algorithms for enumerating closed patterns from multi-relational data.

Hirohisa Seki, Masahiro Nagao

Discret. Appl. Math., 2018

Efficient Mining of Recurrent Rules from a Sequence Database Using Multi-Core Processors.

Seungyong Yoon, Hirohisa Seki

Proceedings of the 2018 Joint 10th International Conference on Soft Computing and Intelligent Systems (SCIS) and 19th International Symposium on Advanced Intelligent Systems (ISIS), 2018

Mining Correlated Association Rules from Multi-Relational Data using Interval Patterns.

Hirohisa Seki, Masahiro Nagao

Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, 2018

2017

An FCA approach to mining quantitative association rules from multi-relational data.

Masahiro Nagao, Hirohisa Seki

Int. J. Comput. Intell. Stud., 2017

On dual programs in co-logic programming and the Horn μ -calculus.

Hirohisa Seki

Formal Aspects Comput., 2017

Editorial.

Maurizio Proietti, Hirohisa Seki, Jim Woodcock

Formal Aspects Comput., 2017

An efficient java implementation of a GA-based miner for relational association rules with numerical attributes.

Hirohisa Seki, Masahiro Nagao

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Towards efficient mining of non-redundant recurrent rules from a sequence database.

SeungYong Yoon, Hirohisa Seki

Proceedings of the 10th IEEE International Workshop on Computational Intelligence and Applications, 2017

2016

On mining quantitative association rules from multi-relational data with FCA.

Masahiro Nagao, Hirohisa Seki

Proceedings of the 9th IEEE International Workshop on Computational Intelligence and Applications, 2016

2015

Distributed Mining of Closed Patterns from Multi-Relational Data.

Yohei Kamiya, Hirohisa Seki

J. Adv. Comput. Intell. Intell. Informatics, 2015

On Dual Programs in Co-Logic Programming.

Hirohisa Seki

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Towards parallel mining of closed patterns from multi-relational data.

Masahiro Nagao, Hirohisa Seki

Proceedings of the IEEE 8th International Workshop on Computational Intelligence and Applications, 2015

2014

Towards efficient closed pattern mining from distributed multi-relational data.

Yohei Kamiya, Hirohisa Seki

Proceedings of the 2014 Joint 7th International Conference on Soft Computing and Intelligent Systems (SCIS) and 15th International Symposium on Advanced Intelligent Systems (ISIS), 2014

Merging Closed Pattern Sets in Distributed Multi-Relational Data.

Hirohisa Seki, Yohei Kamiya

Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

2013

Extending Co-logic Programs for Branching-Time Model Checking.

Hirohisa Seki

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2012

Proving Properties of Co-logic Programs with Negation by Program Transformations.

Hirohisa Seki

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results.

Hirohisa Seki, Sho-ich Tanimoto

Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

2011

Proving Properties of Co-Logic Programs by Unfold/Fold Transformations.

Hirohisa Seki

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010

On Inductive Proofs by Extended Unfold/Fold Transformation Rules.

Hirohisa Seki

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

On Enumerating Frequent Closed Patterns with Key in Multi-relational Data.

Hirohisa Seki, Yuya Honda, Shinya Nagano

Proceedings of the Discovery Science - 13th International Conference, 2010

2009

On Inductive and Coinductive Proofs via Unfold/Fold Transformations.

Hirohisa Seki

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

On Negative Unfolding in the Answer Set Semantics.

Hirohisa Seki

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2003

On-line Profit Sharing Works Efficiently.

Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

2000

Adapting Behavior by Inductive Prediction in Soccer Agents.

Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

A Proposal for Inductive Learning Agent Using First-Order Logic.

Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki

Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

1999

Cost-Based Abduction Using Binary Decision Diagrams.

Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1998

A-SATCHMORE: SATCHMORE with Availability Checking.

Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

New Gener. Comput., 1998

Inducing Shogi Heuristics Using Inductive Logic Programming.

Tomofumi Nakano, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh

Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998

Hatched Image Representation of Human Faces Based on a Cognitive Model.

Daisuke Shibata, Tsuyoshi Nakamura, Masashi Yamada, Hirohisa Seki, Hidenori Itoh

Proceedings of the 3rd International Conference on Face & Gesture Recognition (FG '98), 1998

Parallel Induction Algorithms for Large Samples.

Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh

Proceedings of the Discovery Science, 1998

A Generating Method for 3-dimensional Knitting Cloth Shapes.

Tatsushi Funahashi, Tsuyoshi Miyazaki, Masashi Yamada, Hirohisa Seki, Hidenori Itoh

Proceedings of the Computer Vision, 1998

1997

Partial Deduction in Disjunctive Logic Programming.

Chiaki Sakama, Hirohisa Seki

J. Log. Program., 1997

A 3-D string figure display system for animating cat's cradle game.

Rahmat Budiarto, Masashi Yamada, Hirohisa Seki, Hidenori Itoh

Proceedings of the 5th Pacific Conference on Computer Graphics and Applications, 1997

Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations.

Mitsue Furusawa, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh

Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

A Method of Generating Calligraphy of Japanese Character using Deformable Contourse.

Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP.

Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Proceedings of the Logic Programming, 1997

Efficient Transformation for Bottom-up Computation of Stable Models.

Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, 1997

A parallel implementation of cost-based abductive reasoning.

Shohei Kato, Hirohisa Seki, Hidenori Itoh

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

A Game-Theoretic Solution of Conflicts among Competitive Agents.

Satoru Yoshida, Nobuhiro Inuzuka, Tin Tin Naing, Hirohisa Seki, Hidenori Itoh

Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

Efficient Induction of Executable Logic Programs from Examples.

Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh

Proceedings of the Advances in Computing Science, 1997

1996

Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning.

Todd Law, Hidenori Itoh, Hirohisa Seki

IEEE Trans. Pattern Anal. Mach. Intell., 1996

Parallel Cost-based Abductive Reasoning for Distributed Memory Systems.

Shohei Kato, Hirohisa Seki, Hidenori Itoh

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Tow-down Induction of Logic Programs from Incomplete Samples.

Nobuhiro Inuzuka, Masakage Kamo, Naohiro Ishii, Hirohisa Seki, Hidenori Itoh

Proceedings of the Inductive Logic Programming, 6th International Workshop, 1996

PARCAR: Parallel Cost-Based Abductive Reasoning System.

Shohei Kato, Chiemi Kamakura, Hirohisa Seki, Hidenori Itoh

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

An Automated Reasoning System for Multi-Agent Cooperation.

Lifeng He, Hirohisa Seki, Hidenori Itoh

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

Implementing an Automated Reasoning System for Multi-Robot Cooperation.

Lifeng He, Hirohisa Seki, Hidenori Itoh

Proceedings of the Distributed Autonomous Robotic Systems 2, 1996

Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time.

Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh

Proceedings of the Multi-Agent Systems: Methodologies and Applications, 1996

A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases.

Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh

Proceedings of the Multi-Agent Systems: Methodologies and Applications, 1996

Constructing More Relevant Models.

Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Proceedings of the Concurrency and Parallelism, 1996

1995

Making Query Processing Goal-Directed in Disjunctive Logic Databases.

Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Proceedings of the Logic Programming, 1995

A Neural Network Energy Minimization Approach to Approximation of 2-dimensional Shapes.

Todd Law, Hidenori Itoh, Hirohisa Seki

Proceedings of the Computer Analysis of Images and Patterns, 6th International Conference, 1995

1994

Partial Deduction of Disjunctive Logic Programs: A Declarative Approach.

Chiaki Sakama, Hirohisa Seki

Proceedings of the Logic Programming Synthesis and Transformation, 1994

1993

Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics.

Hirohisa Seki

J. Log. Program., 1993

An Efficient Abductive Reasoning System Based on Program Analysis.

Shohei Kato, Hirohisa Seki, Hidenori Itoh

Proceedings of the Static Analysis, Third International Workshop, 1993

1992

Soundness and Completeness of Partial Deductions for Well-Founded Semantics.

Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Unfold/Fold Transformations of Stratified Programs.

Hirohisa Seki

Theor. Comput. Sci., 1991

1990

A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint.

Hirohisa Seki

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989

On the Power of Alexander Templates.

Hirohisa Seki

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Unfold/Fold Transformation of Stratified Programs.

Hirohisa Seki

Proceedings of the Logic Programming, 1989

Knowledge Base System in a Logic Programming Paradigm.

Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki

Proceedings of the International Symposium on Database Systems for Advanced Applications, 1989

1988

A Query Evaluation Method for Stratified Programs Under the Extended CWA.

Hirohisa Seki, Hidenori Itoh

Proceedings of the Logic Programming, 1988

1987

Notes on Transformation Techniques for Generate and Test Logic Programs.

Hirohisa Seki, Koichi Furukawa

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986

Verification of Prolog Programs Using an Extension of Execution.

Tadashi Kanamori, Hirohisa Seki

Proceedings of the Third International Conference on Logic Programming, 1986

ARGOS/V: A System for Verification of Prolog Programs.

Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

Incorporating Generalization Heuristics into Verification of Prolog Programs.

Hirohisa Seki

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

Description and Reasoning of VLSI Circuit in Temporal Logic.

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi

New Gener. Comput., 1984

1983

A Description and Reasoning of Plant Controllers in Temporal Logic.

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983