default search action
Hirohisa Seki
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j14]Hirohisa Seki, Shuhei Toriyama:
Using term similarity measures for classifying short document data. Int. J. Comput. Intell. Stud. 10(2/3): 181-197 (2021) - 2020
- [c59]Hirohisa Seki, Taiki Yamada:
A CbO-based Algorithm for Mining Class Relevant Patterns. CLA 2020: 223-234
2010 – 2019
- 2019
- [j13]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): 956-961 (2019) - [c58]Hirohisa Seki, Shuhei Toriyama:
On Term Similarity Measures for Short Text Classification. IWCIA 2019: 53-58 - [c57]Hirohisa Seki, SeungYong Yoon
A New Algorithm for Mining Recurrent Rules from a Sequence Database. SMC 2019: 1932-1937 - 2018
- [j12]Hirohisa Seki, Masahiro Nagao:
Parallel algorithms for enumerating closed patterns from multi-relational data. Discret. Appl. Math. 249: 120-134 (2018) - [j11]SeungYong Yoon, Hirohisa Seki:
Mining non-redundant recurrent rules from a sequence database. Int. J. Comput. Intell. Stud. 7(3/4): 253-269 (2018) - [c56]Hirohisa Seki, Masahiro Nagao:
Mining Correlated Association Rules from Multi-Relational Data using Interval Patterns. CLA 2018: 47-58 - [c55]Seungyong Yoon
Efficient Mining of Recurrent Rules from a Sequence Database Using Multi-Core Processors. SCIS&ISIS 2018: 1442-1447 - 2017
- [j10]Maurizio Proietti, Hirohisa Seki, Jim Woodcock
Editorial. Formal Aspects Comput. 29(1): 1-2 (2017) - [j9]Hirohisa Seki:
On dual programs in co-logic programming and the Horn μ -calculus. Formal Aspects Comput. 29(3): 401-421 (2017) - [j8]Masahiro Nagao, Hirohisa Seki:
An FCA approach to mining quantitative association rules from multi-relational data. Int. J. Comput. Intell. Stud. 6(4): 366-383 (2017) - [c54]SeungYong Yoon
Towards efficient mining of non-redundant recurrent rules from a sequence database. IWCIA 2017: 141-146 - [c53]Hirohisa Seki, Masahiro Nagao:
An efficient java implementation of a GA-based miner for relational association rules with numerical attributes. SMC 2017: 2028-2033 - 2016
- [c52]Masahiro Nagao, Hirohisa Seki:
On mining quantitative association rules from multi-relational data with FCA. IWCIA 2016: 81-86 - 2015
- [j7]Yohei Kamiya, Hirohisa Seki:
Distributed Mining of Closed Patterns from Multi-Relational Data. J. Adv. Comput. Intell. Intell. Informatics 19(6): 804-809 (2015) - [c51]Masahiro Nagao, Hirohisa Seki:
Towards parallel mining of closed patterns from multi-relational data. IWCIA 2015: 103-108 - [c50]Hirohisa Seki:
On Dual Programs in Co-Logic Programming. LOPSTR 2015: 21-35 - [e1]Maurizio Proietti
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8981, Springer 2015, ISBN 978-3-319-17821-9 [contents] - 2014
- [c49]Hirohisa Seki, Yohei Kamiya:
Merging Closed Pattern Sets in Distributed Multi-Relational Data. CLA 2014: 71-82 - [c48]Yohei Kamiya, Hirohisa Seki:
Towards efficient closed pattern mining from distributed multi-relational data. SCIS&ISIS 2014: 1138-1141 - 2013
- [c47]Hirohisa Seki:
Extending Co-logic Programs for Branching-Time Model Checking. LOPSTR 2013: 127-144 - 2012
- [c46]Hirohisa Seki, Sho-ich Tanimoto:
Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results. CLA 2012: 115-126 - [c45]Hirohisa Seki:
Proving Properties of Co-logic Programs with Negation by Program Transformations. LOPSTR 2012: 213-227 - 2011
- [c44]Hirohisa Seki:
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. LOPSTR 2011: 205-220 - 2010
- [c43]Hirohisa Seki, Yuya Honda, Shinya Nagano:
On Enumerating Frequent Closed Patterns with Key in Multi-relational Data. Discovery Science 2010: 72-86 - [c42]Hirohisa Seki:
On Inductive Proofs by Extended Unfold/Fold Transformation Rules. LOPSTR 2010: 117-132
2000 – 2009
- 2009
- [c41]Hirohisa Seki:
On Inductive and Coinductive Proofs via Unfold/Fold Transformations. LOPSTR 2009: 82-96 - 2008
- [c40]Hirohisa Seki:
On Negative Unfolding in the Answer Set Semantics. LOPSTR 2008: 168-184 - 2003
- [c39]Tohgoroh Matsui
On-line Profit Sharing Works Efficiently. KES 2003: 317-324 - 2000
- [c38]Tohgoroh Matsui, Nobuhiro Inuzuka, Hirohisa Seki:
A Proposal for Inductive Learning Agent Using First-Order Logic. ILP Work-in-progress reports 2000 - [c37]Tohgoroh Matsui
Adapting Behavior by Inductive Prediction in Soccer Agents. PRICAI 2000: 807
1990 – 1999
- 1999
- [c36]Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh:
Cost-Based Abduction Using Binary Decision Diagrams. IEA/AIE 1999: 215-225 - 1998
- [j6]Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
A-SATCHMORE: SATCHMORE with Availability Checking. New Gener. Comput. 16(1): 55-74 (1998) - [c35]Tatsushi Funahashi, Tsuyoshi Miyazaki, Masashi Yamada, Hirohisa Seki, Hidenori Itoh:
A Generating Method for 3-dimensional Knitting Cloth Shapes. ACCV (1) 1998: 474-481 - [c34]Tohgoroh Matsui
Parallel Induction Algorithms for Large Samples. Discovery Science 1998: 397-398 - [c33]Daisuke Shibata, Tsuyoshi Nakamura, Masashi Yamada, Hirohisa Seki, Hidenori Itoh:
Hatched Image Representation of Human Faces Based on a Cognitive Model. FG 1998: 330-335 - [c32]Tomofumi Nakano, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh:
Inducing Shogi Heuristics Using Inductive Logic Programming. ILP 1998: 155-164 - 1997
- [j5]Chiaki Sakama, Hirohisa Seki:
Partial Deduction in Disjunctive Logic Programming. J. Log. Program. 32(3): 229-245 (1997) - [c31]Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh:
Efficient Induction of Executable Logic Programs from Examples. ASIAN 1997: 212-224 - [c30]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: 193-204 - [c29]Shohei Kato, Hirohisa Seki, Hidenori Itoh:
A parallel implementation of cost-based abductive reasoning. PASCO 1997: 111-118 - [c28]Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Efficient Transformation for Bottom-up Computation of Stable Models. DDLP 1997 - [c27]Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. ICLP 1997: 376-390 - [c26]Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh:
A Method of Generating Calligraphy of Japanese Character using Deformable Contourse. IJCAI (2) 1997: 1050-1055 - [c25]Mitsue Furusawa, Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh:
Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations. ILP 1997: 165-172 - [c24]Rahmat Budiarto, Masashi Yamada, Hirohisa Seki, Hidenori Itoh:
A 3-D string figure display system for animating cat's cradle game. PG 1997: 30- - 1996
- [j4]Todd Law, Hidenori Itoh, Hirohisa Seki:
Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning. IEEE Trans. Pattern Anal. Mach. Intell. 18(5): 481-491 (1996) - [c23]Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Constructing More Relevant Models. ASIAN 1996: 345-346 - [c22]Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh:
A Multi-Agent Cooperative Reasoning System for Amalgamated Knowledge Bases. DAI 1996: 92-105 - [c21]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: 152-165 - [c20]Lifeng He, Hirohisa Seki, Hidenori Itoh:
Implementing an Automated Reasoning System for Multi-Robot Cooperation. DARS 1996: 280-291 - [c19]Shohei Kato, Chiemi Kamakura, Hirohisa Seki, Hidenori Itoh:
PARCAR: Parallel Cost-Based Abductive Reasoning System. IEA/AIE 1996: 57-64 - [c18]Lifeng He, Hirohisa Seki, Hidenori Itoh:
An Automated Reasoning System for Multi-Agent Cooperation. IEA/AIE 1996: 175-180 - [c17]Nobuhiro Inuzuka, Masakage Kamo, Naohiro Ishii, Hirohisa Seki, Hidenori Itoh:
Tow-down Induction of Logic Programs from Incomplete Samples. Inductive Logic Programming Workshop 1996: 265-282 - [c16]Shohei Kato, Hirohisa Seki, Hidenori Itoh:
Parallel Cost-based Abductive Reasoning for Distributed Memory Systems. PRICAI 1996: 300-311 - 1995
- [c15]Todd Law, Hidenori Itoh, Hirohisa Seki:
A Neural Network Energy Minimization Approach to Approximation of 2-dimensional Shapes. CAIP 1995: 796-801 - [c14]Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh:
Making Query Processing Goal-Directed in Disjunctive Logic Databases. ICLP 1995: 820 - 1994
- [c13]Chiaki Sakama, Hirohisa Seki:
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. LOPSTR 1994: 170-182 - 1993
- [j3]Hirohisa Seki:
Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. J. Log. Program. 16(1): 5-23 (1993) - [c12]Shohei Kato, Hirohisa Seki, Hidenori Itoh:
An Efficient Abductive Reasoning System Based on Program Analysis. WSA 1993: 230-241 - 1992
- [c11]Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki:
Soundness and Completeness of Partial Deductions for Well-Founded Semantics. LPAR 1992: 1-12 - 1991
- [j2]Hirohisa Seki:
Unfold/Fold Transformations of Stratified Programs. Theor. Comput. Sci. 86(1): 107-139 (1991) - 1990
- [c10]Hirohisa Seki:
A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. LPNMR 1990: 115-123
1980 – 1989
- 1989
- [c9]Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki:
Knowledge Base System in a Logic Programming Paradigm. DASFAA 1989: 109-116 - [c8]Hirohisa Seki:
Unfold/Fold Transformation of Stratified Programs. ICLP 1989: 554-568 - [c7]Hirohisa Seki:
On the Power of Alexander Templates. PODS 1989: 150-159 - 1988
- [c6]Hirohisa Seki, Hidenori Itoh:
A Query Evaluation Method for Stratified Programs Under the Extended CWA. ICLP/SLP 1988: 195-211 - 1987
- [c5]Hirohisa Seki, Koichi Furukawa:
Notes on Transformation Techniques for Generate and Test Logic Programs. SLP 1987: 215-223 - 1986
- [c4]Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji:
ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998 - [c3]Tadashi Kanamori, Hirohisa Seki:
Verification of Prolog Programs Using an Extension of Execution. ICLP 1986: 475-489 - 1985
- [c2]Hirohisa Seki:
Incorporating Generalization Heuristics into Verification of Prolog Programs. IJCAI 1985: 737-741 - 1984
- [j1]Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi:
Description and Reasoning of VLSI Circuit in Temporal Logic. New Gener. Comput. 2(1): 79-90 (1984) - 1983
- [c1]Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi:
A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI 1983: 405-408
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: