山崎 進

J-GLOBALへ         更新日: 09/10/12 00:00
 
アバター
研究者氏名
山崎 進
 
ヤマサキ ススム
URL
http://www.momo.it.okayama-u.ac.jp
所属
岡山大学
部署
大学院自然科学研究科 産業創成工学専攻 計算機科学講座
職名
教授
学位
京都大学工学博士

研究分野

 
 

Misc

 
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming   (6) 737-749   2006年
An interactive constraint system and its relation to logic in AI
Proc. of 19th Belgium/Netherlands Artificial Intelligence Conference   299-306   2007年
A calculus effectively performing event formation with visualization
Lecture Notes in Computer Science   (4759) 287-294   2008年
A fixed point representation of references
FTP 2009 Workshops Proceedings   120-129   2009年

書籍等出版物

 
計算論理に基づく推論ソフトウェア論
コロナ社(単著)   2000年   

競争的資金等の研究課題

 
非単調論理
イベント計算系
不動点意味論
認識系の論理