GAO HONGBIAO 高宏彪

Researcher Number	50756955
Affiliation (based on the past Project Information) *help	2015 – 2017: 埼玉大学, 理工学研究科, 助教
Review Section/Research Field	Principal Investigator Intelligent informatics
Keywords	Principal Investigator 形式理論グリッド / 前向き推論 / 離散数学 / 認識的プログラミング / 自動定理発見 / 自動推論

Research Projects
(1 results)
Research Products
(7 results)

Automated Theorem Finding by Epistemic ProgrammingPrincipal Investigator
- Principal Investigator
  
  GAO HONGBIAO
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Intelligent informatics
- Research Institution
  Saitama University

All 2017 2016 2015

All Journal Article Presentation

[Journal Article] A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning2017
- Author(s)
  Goto Yuichi、Gao Hongbiao、Cheng Jingde
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10192 Pages: 125-134
- DOI
  10.1007/978-3-319-54430-4_13
- ISBN
  9783319544298, 9783319544304
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06081
[Journal Article] Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic2017
- Author(s)
  Gao Hongbiao、Cheng Jingde
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10192 Pages: 115-124
- DOI
  10.1007/978-3-319-54430-4_12
- ISBN
  9783319544298, 9783319544304
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06081
[Journal Article] Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski’s Geometry2016
- Author(s)
  Gao Hongbiao、Cheng Jingde
- Journal Title
  
  Lecture Notes in Electrical Engineering
  
  Volume: 393 Pages: 55-61
- DOI
  10.1007/978-981-10-1536-6_8
- ISBN
  9789811015359, 9789811015366
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06081
[Journal Article] Predicting New Attacks: A Case Study in Security Analysis of Cryptographic Protocols2016
- Author(s)
  Bao Da、Wagatsuma Kazunori、Gao Hongbiao、Cheng Jingde
- Journal Title
  
  Lecture Notes in Electrical Engineering
  
  Volume: 393 Pages: 263-270
- DOI
  10.1007/978-981-10-1536-6_35
- ISBN
  9789811015359, 9789811015366
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06081
[Journal Article] A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory2015
- Author(s)
  Hongbiao Gao, Yuichi Goto, and Jingde Cheng
- Journal Title
  
  Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques
  
  Volume: 9243 Pages: 508-517
- DOI
  10.1007/978-3-319-23862-3_50
- ISBN
  9783319238616, 9783319238623
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H06081
[Presentation] Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski's Geometry2016
- Author(s)
  Hongbiao Gao and Jingde Cheng
- Organizer
  The 11th International Conference on Future Information Technology
- Place of Presentation
  Beijing, China
- Year and Date
  2016-04-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06081
[Presentation] A Formal Analysis Method with Reasoning for Cryptographic Protocols2016
- Author(s)
  Yan Jingchen、Wagatsuma Kazunori、Gao Hongbiao、Cheng Jingde
- Organizer
  The 12th International Conference on Computational Intelligence and Security
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H06081

GAO HONGBIAO 高 宏彪

Research Projects

Research Products

Automated Theorem Finding by Epistemic ProgrammingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning2017

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic2017

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski’s Geometry2016

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Predicting New Attacks: A Case Study in Security Analysis of Cryptographic Protocols2016

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory2015

Author(s)

Journal Title

DOI

ISBN

Data Source

[Presentation] Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski's Geometry2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] A Formal Analysis Method with Reasoning for Cryptographic Protocols2016

Author(s)

Organizer

Data Source

GAO HONGBIAO 高宏彪