Hirohisa Seki

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