SEKI Hirohisa 世木博久

… Alternative Names

世木博久セキヒロヒサ

Less

Researcher Number	90242908
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2012 – 2020: 名古屋工業大学, 工学(系)研究科(研究院), 教授 2009 – 2011: Nagoya Institute of Technology, 大学院・工学研究科, 教授 1997 – 1998: 名古屋工業大学, 工学部, 教授 1997: 名古屋工大, 工学部, 助教授 1996: 名古屋工業大学, 工学部, 助教授 1996: 名古屋工業大学, 工学部・知能情報システム学科, 助教授 1994: 名古屋工業大学, 工学部・知能情報システム学科, 助教授
Review Section/Research Field	Principal Investigator Intelligent informatics / Intelligent informatics / Basic Section 61030:Intelligent informatics-related / Intelligent informatics Except Principal Investigator Intelligent informatics
Keywords	Principal Investigator 計算論理 / プログラム推論 / 探索・論理・推論アルゴリズム / システム検証 / プログラム変換 / 推論アルゴリズム / 仕様マイニング / ルール発見 / パターンマイニング / 形式概念分析 … More / パターン発見 / 定理の自動証明 / 様相論理 / マルチエージェント / 最適化 / 問合せ処理 / 論理プログラム … More Except Principal Investigator inductive learning / higher-level reasoning / parallel processing / artificial intelligence(AI) / multimedia / 帰納学習 / 高次推論 / 並列処理 / 人工知能システム / マルチメディア Less

Specification Mining and Reasoning about Programs for Verifying Systems with Infinite StructuresPrincipal Investigator
- Principal Investigator
  
  Seki Hirohisa
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Nagoya Institute of Technology
Verifying Software Systems using Reasoning about Programs Handling Infinite StructuresPrincipal Investigator
- Principal Investigator
  
  SEKI Hirohisa
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya Institute of Technology
Study on Software Verification Methods Using Program Transformation Handling Infinite TermsPrincipal Investigator
- Principal Investigator
  
  Seki Hirohisa
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya Institute of Technology
Study on Computational Logic-based Methodologies for Building Secure SystemsPrincipal Investigator
- Principal Investigator
  
  SEKI Hirohisa
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya Institute of Technology
マルチエージェント環境のための様相論理に対する推論システムの研究Principal Investigator
- Principal Investigator
  
  世木博久
- Project Period (FY)
  1996 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya Institute of Technology
Study on Parallel Processing of Multimedia in AI Systems
- Principal Investigator
  
  ITO Hidenori
- Project Period (FY)
  1996 – 1998
- Research Category
  
  Grant-in-Aid for international Scientific Research
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya Institute of Technology
論理プログラムの意味論と問合せ処理の最適化技術の研究Principal Investigator
- Principal Investigator
  
  世木博久
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Nagoya Institute of Technology

All 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009

All Journal Article Presentation Book

[Book] Pre-Proc. of 24th Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR2014)2014
- Author(s)
  M. Proietti, H. Seki
- Total Pages
  311
- Publisher
  Istituto Di Analisi Dei Sistemi Ed Informatica, CNR
- Data Source
  KAKENHI-PROJECT-24500171
[Journal Article] Using term similarity measures for classifying short document data2021
- Author(s)
  Hirohisa Seki, Shuhei Toriyama
- Journal Title
  
  International Journal of Computational Intelligence Studies
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11432
[Journal Article] A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database2019
- Author(s)
  S.-Y. Yoon, H. Seki
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  Volume: 23 Pages: 956-961
- NAID
  130007709894
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11432
[Journal Article] Mining Non-Redundant Recurrent Rules from a Sequence Database2018
- Author(s)
  SeungYong Yoon, H. Seki
- Journal Title
  
  International Journal of Computational Intelligence Studies
  
  Volume: 7 Pages: 253-269
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11432
[Journal Article] Parallel Algorithms for Enumerating Closed Patterns from Multi-Relational Data2018
- Author(s)
  Hirohisa Seki, Masahiro Nagao
- Journal Title
  
  Discrete Applied Mathematics
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00305
[Journal Article] An FCA Approach to Mining　Quantitative Association Rules from Multi-Relational Data2018
- Author(s)
  Masahiro Nagao, Hirohisa Seki
- Journal Title
  
  International Journal of Computational Intelligence Studies
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00305
[Journal Article] On dual programs in co-logic programming and the Horn mu-calculus2017
- Author(s)
  Hirohisa Seki
- Journal Title
  
  Formal Aspects of Computing
  
  Volume: 29(3) Issue: 3 Pages: 401-421
- DOI
  10.1007/s00165-016-0404-0
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00305
[Journal Article] On Dual Programs in Co-logic Programming2016
- Author(s)
  Hirohisa Seki
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9527 Pages: 1-15
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00305
[Journal Article] Distributed Mining of Closed Patterns from Multi-Relational Data2015
- Author(s)
  Yohei Kamiya, Hirohisa Seki
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  Volume: 19 Pages: 804-809
- NAID
  130007673331
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500171
[Journal Article] Extending Co-logic Programs for Branching-Time Model Checking2014
- Author(s)
  Hirohisa Seki
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8901 Pages: 127-144
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24500171
[Journal Article] Proving Properties of Co-logic Programs with Negation by Program Transformations2013
- Author(s)
  世木博久
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 7844 Pages: 213-227
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500171
[Journal Article] Proving Properties of Co-logic Programs by Unfold/Fold Transformations2012
- Author(s)
  世木博久
- Journal Title
  
  Lecture Notes in Computer Science(Springer-Verlag)
  
  Volume: 7225(印刷中) Pages: 205-220
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500136
[Journal Article] Proving Properties of Co-logic Programs by Unfold/Fold Transformations2012
- Author(s)
  世木博久
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 7225 Pages: 205-220
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500171
[Journal Article] Proving Properties of Co-ogic Programs by Unfold/Fold Transformations2012
- Author(s)
  H. Seki
- Journal Title
  
  Revised Selected Papers, Lecture Notes in Computer Science
  
  Volume: LNCS 7225(印刷中) Pages: 205-220
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500136
[Journal Article] On Inductive Proofs by Extended Unfold/fold Transformation Rules2011
- Author(s)
  H. Seki
- Journal Title
  
  Revised Selected Papers, Lecture Notes in Computer Science
  
  Volume: LNCS 6564 Pages: 117-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500136
[Journal Article] On Inductive Proofs by Extended Unfold/fold Transformation Rules2011
- Author(s)
  世木博久
- Journal Title
  
  Lecture Notes in Computer Science, Springer-Verlag
  
  Volume: 6564(印刷中) Pages: 117-132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500136
[Journal Article] On Inductive and Coinductive Proofs via Unfold/fold Transformations2010
- Author(s)
  H. Seki
- Journal Title
  
  Revised Selected Papers, Lecture Notes in Computer Science
  
  Volume: LNCS 6037 Pages: 82-96
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500136
[Journal Article] On Inductive and Coinductive Proofs via Unfold/fold Transformations2010
- Author(s)
  世木博久
- Journal Title
  
  Lecture Notes in Computer Science, Springer-Verlag 6037(印刷中)
  
  Pages: 82-96
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500136
[Journal Article] On Negative Unfolding in the Answer Set Semantics2009
- Author(s)
  H. Seki
- Journal Title
  
  Revised Selected Papers, Lecture Notes in Computer Science
  
  Volume: LNCS 5438 Pages: 168-184
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500136
[Presentation] 単語拡張によるテキスト分類精度の改善と評価2021
- Author(s)
  鳥山修平, 世木博久,
- Organizer
  情報処理学会第83回全国大会
- Data Source
  KAKENHI-PROJECT-18K11432
[Presentation] 単語拡張によるテキスト分類精度の改善と評価2020
- Author(s)
  鳥山修平, 世木博久,
- Organizer
  第18回情報学ワークショップ（WiNF2020）
- Data Source
  KAKENHI-PROJECT-18K11432
[Presentation] A CbO-based Algorithm for Mining Class Relevant Patterns2020
- Author(s)
  Hirohisa Seki, Taiki Yamada
- Organizer
  15th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11432
[Presentation] On Term Similarity Measures for Short Text Classification2019
- Author(s)
  H. Seki, S. Toriyama
- Organizer
  2019 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11432
[Presentation] テキスト分類のための文書拡張法の評価2019
- Author(s)
  鳥山修平世木博久
- Organizer
  情報処理学会第81回全国大会
- Data Source
  KAKENHI-PROJECT-18K11432
[Presentation] A New Algorithm for Mining Recurrent Rules from a Sequence Database2019
- Author(s)
  H. Seki, S.-Y. Yoon
- Organizer
  2019 IEEE Int'l. Conf. on Systems, Man and Cybernetics (SMC 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11432
[Presentation] Mining Correlated Association Rules from Multi-Relational Data using Interval Patterns2018
- Author(s)
  H. Seki , M. Nagao
- Organizer
  14th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11432
[Presentation] Efficient Mining of Recurrent Rules from a Sequence Database Using Multi-Core Processors2018
- Author(s)
  S.-Y. Yoon , H. Seki
- Organizer
  Joint 10th Int’l. Conf. on Soft Computing and Intelligent Systems and 19th Int’l Symp. on Advanced Intelligent Systems (SCIS&ISIS 2016)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11432
[Presentation] Towards Efficient Mining of Non-Redundant Recurrent Rules from a Sequence Database2017
- Author(s)
  SeungYong Yoon, H. Seki
- Organizer
  2017 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] Parallel Mining of Non-Redundant Recurrent Rules from a Sequence Database2017
- Author(s)
  SeungYong Yoon, H. Seki
- Organizer
  18th Int'l. Symp. on Advanced Intelligent Systems (ISIS 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] 形式概念の並列計算における負荷分散方式の検討2017
- Author(s)
  戸崎友斗, 長尾雅弘, 世木博久
- Organizer
  情報処理学会第79回全国大会
- Place of Presentation
  名古屋大学 (名古屋市)
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] An Efficient Java Implementation of a GA-based Miner for Relational Association Rules with Numerical Attributes2017
- Author(s)
  H. Seki, M. Nagao
- Organizer
  2017 IEEE Int'l. Conf. on Systems, Man and Cybernetics (SMC 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] On Mining Quantitative Association Rules from Multi-Relational Data with FCA2016
- Author(s)
  M. Nagao, H. Seki
- Organizer
  2016 IEEE 9th Int'l. Workshop on Computational Intelligence and Applications
- Place of Presentation
  江田島コミュニティセンター(江田島市)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] Mining Correlated Association Rules from Multi-Relational Data Using FCA2016
- Author(s)
  M. Nagao, H. Seki
- Organizer
  Joint 8th Int’l. Conf. on Soft Computing and Intelligent Systems and 17th Int’l Symp. on Advanced Intelligent Systems
- Place of Presentation
  北海学園大学 (札幌市)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] Towards Parallel Mining of Closed Patterns from Multi-Relational Data2015
- Author(s)
  Masahiro Nagao, Hirohisa Seki
- Organizer
  2015 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA)
- Place of Presentation
  広島市立大学 (広島県・広島市)
- Year and Date
  2015-11-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] 関係データからの飽和パターンマイニングにおける並列化のための負荷分散方式2015
- Author(s)
  長尾雅弘世木博久
- Organizer
  電気・電子・情報関係学会東海支部連合大会
- Place of Presentation
  名古屋工業大学
- Year and Date
  2015-09-28
- Data Source
  KAKENHI-PROJECT-24500171
[Presentation] Towards Efficient Mining of Closed Patterns from Multi-Relational Data2015
- Author(s)
  Masahiro Nagao, Hirohisa Seki
- Organizer
  11th Int'l. Conf. on Knowledge Managemengt (ICKM)
- Place of Presentation
  大阪府立大学 (大阪府・大阪市)
- Year and Date
  2015-11-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] On Dual Programs in Co-logic Programming2015
- Author(s)
  Hirohisa Seki
- Organizer
  25th Int'l. Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)
- Place of Presentation
  シエナ (イタリア)
- Year and Date
  2015-07-13
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00305
[Presentation] 分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化2014
- Author(s)
  谷本　翔一, 神谷　洋平, 世木　博久
- Organizer
  情報処理学会・第76回全国大会
- Place of Presentation
  東京都
- Data Source
  KAKENHI-PROJECT-24500171
[Presentation] Towards Efficient Closed Pattern Mining from Distributed Multi-Relational Data2014
- Author(s)
  Yohei Kamiya, Hirohisa Seki
- Organizer
  Joint 7th Int’l. Conf. on Soft Computing and Intelligent Systems and 15th Int’l Symp. on Advanced Intelligent Systems (SCIS&ISIS 2014)
- Place of Presentation
  北九州国際会議場 (福岡県・北九州市)
- Year and Date
  2014-12-05
- Data Source
  KAKENHI-PROJECT-24500171
[Presentation] Merging Closed Pattern Sets in Distributed Multi-Relational Data2014
- Author(s)
  Hirohisa Seki, Yohei Kamiya
- Organizer
  11th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2014)
- Place of Presentation
  Kosice　（Slovakia）
- Year and Date
  2014-10-10
- Data Source
  KAKENHI-PROJECT-24500171
[Presentation] Extending Co-logic Programs for Branching-Time Model Checking2013
- Author(s)
  世木博久
- Organizer
  23rd International Symposium on Logic-Based Program Synthesis and Transformation
- Place of Presentation
  Madrid, Spain
- Data Source
  KAKENHI-PROJECT-24500171
[Presentation] Proving Properties of Co-logic Programs with Negation by Program Transformations2012
- Author(s)
  世木博久
- Organizer
  22nd Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR2012)
- Place of Presentation
  Leuven, Belgium
- Data Source
  KAKENHI-PROJECT-24500171
[Presentation] Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results2012
- Author(s)
  世木博久，谷本翔一
- Organizer
  9th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2012)
- Place of Presentation
  Fuengirola, Spain
- Data Source
  KAKENHI-PROJECT-24500171
[Presentation] Proving Properties of Co-logic Programs by Unfold/fold Transformations2011
- Author(s)
  H. Seki
- Organizer
  Pre-Proc. of 21st Int' l. Symp. on Logic-Based Program Synthesis and Transformation(LOPSTR2011)
- Place of Presentation
  Univ. of Southern Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-21500136
[Presentation] Proving Properties of Co-logic Programs by Unfold/Fold Transformations2011
- Author(s)
  世木博久
- Organizer
  21st Int.Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  Odense(デンマーク)
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-21500136
[Presentation] On Inductive Proofs by Extended Unfold/fold Transformation Rules2010
- Author(s)
  H. Seki
- Organizer
  Pre-Proc. of the 20th Int' l. Symp. on Logic-Based Program Synthesis and Transformation(LOPSTR2010)
- Place of Presentation
  RISC-Linz, Report Series
- Year and Date
  2010-07-25
- Data Source
  KAKENHI-PROJECT-21500136
[Presentation] On Inductive Proofs by Extended Unfold/fold Transformation Rules2010
- Author(s)
  世木博久
- Organizer
  20th Int.Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
- Place of Presentation
  オーストリア
- Year and Date
  2010-07-25
- Data Source
  KAKENHI-PROJECT-21500136
[Presentation] On Inductive and Coinductive Proofs via Unfold/fold Transformations2009
- Author(s)
  世木博久
- Organizer
  19th Int. Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009)
- Place of Presentation
  ポルトガル
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-21500136
[Presentation] On Inductive and Coinductive Proofs via Unfold/fold Transformations2009
- Author(s)
  H. Seki
- Organizer
  Pre-Proc. of 19th Int' l. Symp. on Logic-Based Program Synthesis and Transformation(LOPSTR2009)
- Place of Presentation
  Univ. of Coimbra
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-21500136

1. ITO Hidenori (80213073)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. INUZUKA Nobuhiro (10221780)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. SUZUKI Ikuo (10023152)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. WALLACE Mark G.

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. RICHARDS Barry

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. MARK G. Wall

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. BARRY Richar

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

SEKI Hirohisa 世木 博久

世木 博久 セキ ヒロヒサ

Research Projects

Research Products

Co-Researchers

Specification Mining and Reasoning about Programs for Verifying Systems with Infinite StructuresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Verifying Software Systems using Reasoning about Programs Handling Infinite StructuresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Software Verification Methods Using Program Transformation Handling Infinite TermsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Computational Logic-based Methodologies for Building Secure SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

マルチエージェント環境のための様相論理に対する推論システムの研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Parallel Processing of Multimedia in AI Systems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

論理プログラムの意味論と問合せ処理の最適化技術の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Pre-Proc. of 24th Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR2014)2014

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Using term similarity measures for classifying short document data2021

Author(s)

Journal Title

Data Source

[Journal Article] A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database2019

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Mining Non-Redundant Recurrent Rules from a Sequence Database2018

Author(s)

Journal Title

Data Source

[Journal Article] Parallel Algorithms for Enumerating Closed Patterns from Multi-Relational Data2018

Author(s)

Journal Title

Data Source

[Journal Article] An FCA Approach to Mining Quantitative Association Rules from Multi-Relational Data2018

Author(s)

Journal Title

Data Source

[Journal Article] On dual programs in co-logic programming and the Horn mu-calculus2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On Dual Programs in Co-logic Programming2016

Author(s)

SEKI Hirohisa 世木博久

世木博久セキヒロヒサ

[Journal Article] An FCA Approach to Mining　Quantitative Association Rules from Multi-Relational Data2018