2012 Fiscal Year Final Research Report
Study of High Level Functional Logic Elements for High Performance Automated Reasoning Systems
| Project/Area Number |
22650028
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
FUJITA Hiroshi 九州大学, 大学院・システム情報科学研究院, 准教授 (70284552)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HASEGAWA Ryuzo 九州大学, 大学院・システム情報科学研究院, 教授 (20274483)
KOSHIMURA Miyuki 九州大学, 大学院・システム情報科学研究院, 助教 (30274492)
|
|---|
| Project Period (FY) |
2010 – 2012
|
| Keywords | 探索 / 推論アルゴリズム / 論理 |
|---|
| Research Abstract |
We studied the problems about difficulties of current computing systems in developing high performance automated reasoning systems, considered the possibilityof logic elements that realize higher level functions directly and efficiently, and obtained some useful findings. We also obtained several remarkable results of case studies
|
-
-
-
-
[Journal Article]2012
Author(s)
鍋島 英知,越村 三幸,番原 睦則
-
Journal Title
コンピュータソフトウェア
Volume: Vol.29, No.4
Pages: 9-14
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
