Top > Back > 学会発表 の検索結果 77 件中 61‐77 件目
Relation Changers are Bounded Morphisms |
[ 共同発表者名 ] Ryo Hatano and Katsuhiko Sano |
[ 学会・会議名 ] The 4th Asian Workshop on Philosophical Logic (AWPL 2018) |
[ 発表日付 ] 2018年10月21日 |
Dynamic Epistemic Reasoning System with Awareness (DEMO+A) and its Legal Application |
[ 共同発表者名 ] Tetsuji Goto, Ryo Hatano and Satoshi Tojo |
[ 学会・会議名 ] Big Data Analytics, Data Mining and Computational Intelligence 2018 (BigDaCI 2018) |
[ 発表日付 ] 2018年7月19日 |
Classification of User's Interest on Topics in Chat Dialogue |
[ 共同発表者名 ] Hikari Handa, Ryo Hatano and Hiroyuki Nishiyama |
[ 学会・会議名 ] 2018 INFORMS Annual Meeting Phoenix |
[ 発表日付 ] 2018年6月17日 |
Server Failure Detection System Based on Inductive Logic Programming and Random Forest |
[ 共同発表者名 ] Takuma Shimada, Ryo Hatano and Hiroyuki Nishiyama |
[ 学会・会議名 ] The 33rd International Conference on Computers and Their Applications (CATA-2018) |
[ 発表日付 ] 2018年3月21日 |
A Labeling Method Using EEG for Dozing Prediction by Facial Expression Recognition Technology |
[ 共同発表者名 ] Daichi Naito, Ryo Hatano and Hiroyuki Nishiyama |
[ 学会・会議名 ] The 33rd International Conference on Computers and Their Applications (CATA-2018) |
[ 発表日付 ] 2018年3月21日 |
Server Failure Detection using Parallel Computation of Logic based Machine Learning |
[ 共同発表者名 ] Takuma Shimada, Ryo Hatano and Hiroyuki Nishiyama |
[ 学会・会議名 ] The 23rd International Symposium on Artificial Life and Robotics (AROB 2018) |
[ 発表日付 ] 2018年1月20日 |
Cat health management system using support vector machine based on acceleration and pressure sensors |
[ 共同発表者名 ] Rina Katsumata, Ryo Hatano and Hiroyuki Nishiyama |
[ 学会・会議名 ] The 23rd International Symposium on Artificial Life and Robotics (AROB 2018) |
[ 発表日付 ] 2018年1月19日 |
A method of Doze Detection by Machine Learning Using EEG |
[ 共同発表者名 ] Daichi Naito, Ryo Hatano and Hiroyuki Nishiyama |
[ 学会・会議名 ] The 23rd International Symposium on Artificial Life and Robotics (AROB 2018) |
[ 発表日付 ] 2018年1月19日 |
DEMO+A: Epistemic Reasoning System with Awareness and its Legal Application |
[ 共同発表者名 ] Tetsuji Goto, Ryo Hatano and Satoshi Tojo |
[ 学会・会議名 ] 11th International Workshop on Juris-informatics (JURISIN2017) |
[ 発表日付 ] 2017年11月14日 |
Cut free Labelled Sequent Calculus for Dynamic Logic with Relation Changers |
[ 共同発表者名 ] Ryo Hatano and Katsuhiko Sano |
[ 学会・会議名 ] The Joint Conference of the 3rd Asian Workshop on Philosophical Logic & the 3rd Taiwan Philosophical Logic Colloquium (AWPL-TPLC 2016) |
[ 発表日付 ] 2016年10月8日 |
Teaching Modal Logic from Linear Algebraic Viewpoints |
[ 共同発表者名 ] Ryo Hatano, Katsuhiko Sano and Satoshi Tojo |
[ 学会・会議名 ] The 4th International Conference on Tools for Teaching Logic (TTL2015) |
[ 発表日付 ] 2015年6月11日 |
Linear Algebraic Semantics for Multi-agent Communication |
[ 共同発表者名 ] Ryo Hatano, Katsuhiko Sano, and Satoshi Tojo |
[ 学会・会議名 ] The 7th International Conference on Agents and Artificial Intelligence (ICAART2015) |
[ 発表日付 ] 2015年1月11日 |
木構造操作としての計算機操作の学習 |
[ 共同発表者名 ] 秦野 亮, 東条 敏 |
[ 学会・会議名 ] 人工知能学会 |
[ 発表日付 ] 2014年5月12日 |
Detecting Context Free Grammar for GUI Operation |
[ 共同発表者名 ] Ryo Hatano and Satoshi Tojo |
[ 学会・会議名 ] The 8th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2013) |
[ 発表日付 ] 2013年11月7日 |
環境情報を考慮したGUI 操作のための文脈自由言語の学習, |
[ 共同発表者名 ] 秦野 亮, 東条 敏 |
[ 学会・会議名 ] 人工知能学会 |
[ 発表日付 ] 2013年6月4日 |
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月30日 |
リフレクションとオブジェクト資源の構造化を組み合わせたJava の動的なモデル構成 |
[ 共同発表者名 ] 秦野 亮, 西山 裕之 |
[ 学会・会議名 ] 情報処理学会 |
[ 発表日付 ] 2010年3月10日 |