論文
公開件数:39件
No. 種別 査読の有無 標題 単著・共著区分 著者 誌名 巻号頁 出版日 ISSN DOI URL
1 一般論文

極小RDF推論に基づく記述論理SROIQの概念生成
共著
兼岩 憲,長井拓馬
人工知能学会論文誌
35/ 1, B-J62_1-13
2020/01/01



2 一般論文

RDFグラフの多様性に対する汎用カーネル関数
共著
荒井大地, 兼岩 憲
人工知能学会論文誌
33/ 5, B-I12_1-14
2018/09/03



3 一般論文

RDF データに対するグラフパターンマイニング
共著
廣橋美紀, 兼岩 憲
日本データベース学会和文論文誌
17-J/ Article No.1
2018/06/28



4 一般論文

大規模RDFグラフに対するインデックス付きデータ圧縮と高速検索
共著
兼岩 憲, 藤原浩司
人工知能学会論文誌
33/ 2, E-H43_1-10
2018/03/01



5 一般論文

RDFグラフの冗長な特徴表現に対するカーネル関数とその高速計算
共著
荒井大地, 兼岩 憲
人工知能学会論文誌
32/ 1, B-G34_1-12
2017/01/13



6 一般論文

A Logical and Ontological Framework for Compositional Concepts of Objects and Properties
共著
Ken Kaneiwa, Philip H. P. Nguyen, and Riichiro Mizoguchi
New Generation Computing
33/ 2, 149-172
2015/04/01



7 一般論文

大規模RDFグラフのための効率的なクエリ解決
共著
藤原浩司, 兼岩 憲
人工知能学会論文誌
29/ 4, 364-374
2014/06/18



8 一般論文

RDFデータの極小モデル推論に基づく記述論理ALCH(D) の概念学習
共著
長井拓馬, 兼岩 憲
人工知能学会論文誌
29/ 3, 343-355
2014/06/05



9 一般論文

Event Inference with Relation and Meta-relation Type Hierarchies in Conceptual Structure Theory
共著
Philip H. P. Nguyen and Ken Kaneiwa
Applied Artificial Intelligence
28/ 2, 139-177
2014/03



10 一般論文

An Order-Sorted Query System for Sort, Predicate, and Meta-Predicate Hierarchies

Ken Kaneiwa and Philip H. P. Nguyen
Knowledge and Information Systems
35/ 2, 463-492
2013



11 一般論文

Reasoning about Resources and Information: A Linear Logic Approach

Norihiro Kamide and Ken Kaneiwa
Fundamenta Informaticae
125/ 1, 51-70
2013



12 一般論文

Conceptual Modeling in Full Computation-Tree Logic with Sequence Modal Operator
共著
Ken Kaneiwa and Norihiro Kamide
International Journal of Intelligent Systems
26/ 7, 636-651
2011



13 一般論文

A Belief-Based Multi-Agent Markov Decision Process for Staff Management

Philip H. P. Nguyen, Minh-Quang Nguyen, and Ken Kaneiwa
International Journal of Energy, Information and Communications
2/ 2, 23-39
2011



14 一般論文

A Sequential Pattern Mining Algorithm using Rough Set Theory

Ken Kaneiwa and Yasuo Kudo
International Journal of Approximate Reasoning
52/ 6, 894-913
2011



15 一般論文

Existential Rigidity and Many Modalities in Order-Sorted Logic

Ken Kaneiwa
Knowledge-Based Systems
24/ 5, 629-641
2011



16 一般論文

A Rough Set Approach to Multiple Datasets Analysis

Ken Kaneiwa
Applied Soft Computing
11/ 2, 2538-2547
2011



17 一般論文

A Time and Situation Dependent Semantics for Ontological Property Classification

Ken Kaneiwa and Riichiro Mizoguchi
IEICE Transactions on Information and Systems
E94-D/ 3, 639-647
2011



18 一般論文

セマンティックWeb のためのイベントオントロジー

兼岩 憲, 岩爪道昭
コンピュータソフトウェア
28/ 3, 153-166
2011



19 一般論文

Paraconsistent Computation Tree Logic

Ken Kaneiwa and Norihiro Kamide
New Generation Computing
29/ 4, 391-408
2011



20 一般論文

Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application

Ken Kaneiwa and Norihiro Kamide
Applied Artificial Intelligence
24/ 10, 896-913
2010



21 一般論文

On the Complexities of Consistency Checking Algorithms for Restricted UML Class Diagrams

Ken Kaneiwa and Ken Satoh
Theoretical Computer Science
411/ 2, 301-323
2010



22 一般論文

Meta-Relation and Ontology Closure in Conceptual Structure Theory
共著
Philip H. P. Nguyen, Ken Kaneiwa, Dan R. Corbett, Minh-Quang Nguyen
Artificial Intelligence and Law
17/ 4, 291-320
2009



23 一般論文

Distributed Reasoning with Ontologies and Rules in Order-Sorted Logic Programming
共著
Ken Kaneiwa and Riichiro Mizoguchi
Journal of Web Semantics
7/ 3, 252-270
2009



24 一般論文

Evaluation Data and Prototype System WISDOM for Information Credibility Analysis
共著
Hisashi Miyamori, Susumu Akamine, Yoshikiyo Kato, Ken Kaneiwa, Kaoru Sumi, Kentaro Inui, Sadao Kurohashi
Internet Research
18/ 2, 155-164
2008



25 一般論文

法的推論のための論理型イベント言語
共著
兼岩 憲, 東条 敏
情報処理学会論文誌
48/ 12, 3996-4011
2007



26 一般論文

Description Logics with Contraries, Contradictories, and Subcontraries
単著
Ken Kaneiwa
New Generation Computing
25/ 4, 443-468
2007



27 一般論文

形式オントロジーと順序ソート論理の拡張
共著
兼岩 憲, 溝口理一郎
人工知能学会論文誌
20/ 6, 387-395
2006



28 一般論文

A Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge Bases
単著
Ken Kaneiwa
New Generation Computing
24/ 1, 29-51
2006



29 一般論文

強い否定と古典論理の否定をもつ一階述語論理
単著
兼岩 憲
電子情報通信学会論文誌
J90-D/ 4, 1031-1042
2005



30 一般論文

Resolution for Label-based Formulas in Hierarchical Representation
共著
Ken Kaneiwa
New Generation Computing
22/ 3, 253-269
2004



31 一般論文

Order-Sorted Logic Programming with Predicate Hierarchy

Ken Kaneiwa
Artificial Intelligence
158/ 2, 155-188
2004



32 一般論文

The Completeness of Logic Programming with Sort Predicates
単著
Ken Kaneiwa
Systems and Computers in Japan
35/ 1, 37-46
2004



33 一般論文

オントロジー構築に対する概念階層の整合性
単著
兼岩 憲
コンピュータソフトウェア
21/ 2, 94-106
2004



34 一般論文

ソート述語を導入した論理プログラミングの完全性
共著
兼岩 憲
電子情報通信学会論文誌
J85-D-I/ 7, 662-671
2002



35 一般論文

否定的意味が内在するソートを含んだソート階層の論理
共著
兼岩 憲, 東条 敏
情報処理学会論文誌
43/ 5, 1505-1517
2002



36 一般論文

ソートと述語の二つの階層をもつ論理のホーン節計算の完全性
共著
兼岩 憲, 東条 敏
電子情報通信学会論文誌
J83-D-I/ 12, 1239-1248
2000



37 一般論文

イベントとプロパティの区別を導入した型階層論理
共著
兼岩 憲, 東条 敏
コンピュータソフトウェア
17/ 2, 118-132
2000



38 一般論文

法律知識の事象的/属性的読みを区別した推論システム
共著
兼岩 憲, 東条 敏
情報処理学会論文誌
40/ 7, 2892-2904
1999



39 国際会議プロシーディングス等

Community-Driven and Ontology-Based Biological Knowledge Management: A Hybrid Approach to Harnessing Collective Intelligence
共著
Michiaki Iwazume and Ken Kaneiwa
14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel & Distributed Computing (SNPD 2013)
387-393
2013/07/01