論文

査読有り

2018年

iCon: A Diagrammatic Theorem Prover for Ontologies.

KR 2018

Zohreh Shams
Mateja Jamnik
Gem Stapleton
Yuri Sato

開始ページ: 204
終了ページ: 209
記述言語
掲載種別: 研究論文（国際会議プロシーディングス）
出版者・発行元: AAAI Press

リンク情報

DBLP: https://dblp.uni-trier.de/rec/conf/kr/ShamsJSS18
URL: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18027
Dblp Cross Ref: https://dblp.uni-trier.de/conf/kr/2018
Dblp Url: https://dblp.uni-trier.de/db/conf/kr/kr2018.html#ShamsJSS18

ID情報

DBLP ID : conf/kr/ShamsJSS18

エクスポート: BibTeX RIS

論文リストへ