Top > Back > 学術論文・プロシーディングス・著作 の検索結果 42 件中 31‐42 件目
| Dynamic Epistemic Reasoning System with Awareness (DEMO+A) and its Legal Application |
| [ 全著者名 ] Tetsuji Goto, Ryo Hatano, and Satoshi Tojo |
| [ 掲載誌名 ] Proc. of Big Data Analytics, Data Mining and Computational Intelligence 2018 (BigDaCI 2018) |
| [ 掲載年月 ] 2018年 7月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Server Failure Detection System Based on Inductive Logic Programming and Random Forest |
| [ 全著者名 ] Takuma Shimada, Ryo Hatano and Hiroyuki Nishiyama |
| [ 掲載誌名 ] Proc. of the 33rd International Conference on Computers and Their Applications (CATA-2018) |
| [ 掲載年月 ] 2018年 3月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| A Labeling Method Using EEG for Dozing Prediction by Facial Expression Recognition Technology |
| [ 全著者名 ] Daichi Naito, Ryo Hatano and Hiroyuki Nishiyama |
| [ 掲載誌名 ] Proc. of the 33rd International Conference on Computers and Their Applications (CATA-2018) |
| [ 掲載年月 ] 2018年 3月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Cat health management system using support vector machine based on acceleration and pressure sensors |
| [ 全著者名 ] Rina Katsumata, Ryo Hatano and Hiroyuki Nishiyama |
| [ 掲載誌名 ] Proc. of the 23rd International Symposium on Artificial Life and Robotics (AROB 2018) |
| [ 掲載年月 ] 2018年 1月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Server Failure Detection using Parallel Computation of Logic based Machine Learning |
| [ 全著者名 ] Takuma Shimada, Ryo Hatano, Hiroyuki Nishiyama |
| [ 掲載誌名 ] Proc. of the 23rd International Symposium on Artificial Life and Robotics (AROB 2018) |
| [ 掲載年月 ] 2018年 1月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| A method of Doze Detection by Machine Learning Using EEG |
| [ 全著者名 ] Daichi Naito, Ryo Hatano and Hiroyuki Nishiyama |
| [ 掲載誌名 ] Proc. of the 23rd International Symposium on Artificial Life and Robotics (AROB 2018) |
| [ 掲載年月 ] 2018年 1月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| DEMO+A: Epistemic Reasoning System with Awareness and its Legal Application |
| [ 全著者名 ] Tetsuji Goto, Ryo Hatano, Satoshi Tojo |
| [ 掲載誌名 ] The Proceedings of the 11th International Workshop on Juris-informatics (JURISIN 2017) |
| [ 掲載年月 ] 2017年 11月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Cut free Labelled Sequent Calculus for Dynamic Logic with Relation Changers |
| [ 全著者名 ] Ryo Hatano and Katsuhiko Sano |
| [ 掲載誌名 ] Proceedings of the Joint Conference of the 3rd Asian Workshop on Philosophical Logic & the 3rd Taiwan Philosophical Logic Colloquium |
| [ 掲載年月 ] 2016年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Teaching Modal Logic from Linear Algebraic Viewpoints |
| [ 全著者名 ] Ryo Hatano, Katsuhiko Sano, and Satoshi Tojo |
| [ 掲載誌名 ] Proceedings of the 4th International Conference on Tools for Teaching Logic |
| [ 掲載年月 ] 2015年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Linear Algebraic Semantics for Multi-agent Communication |
| [ 全著者名 ] Ryo Hatano, Katsuhiko Sano, and Satoshi Tojo |
| [ 掲載誌名 ] Proceedings of the 7th International Conference on Agents and Articial Intelligence |
| [ 掲載年月 ] 2015年 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Detecting Context Free Grammar for GUI Operation |
| [ 全著者名 ] Ryo Hatano and Satoshi Tojo |
| [ 掲載誌名 ] Proceedings of the 8th International Conference on Knowledge, Information and Creativity Support Systems |
| [ 掲載年月 ] 2013年 11月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
| Misconception in Legal Cases From Dynamic Logical Viewpoints |
| [ 全著者名 ] Katsuhiko Sano, Ryo Hatano and Satoshi Tojo |
| [ 掲載誌名 ] The 6th International Workshop on Juris-informatics (JURISIN 2012) |
| [ 掲載年月 ] 2012年 11月 |
| [ 著作区分 ] レフェリー付プロシーディングス（外国語） |
