坂間 千秋

J-GLOBALへ         更新日: 15/01/20 14:43
 
アバター
研究者氏名
坂間 千秋
 
サカマ チアキ
URL
http://www.wakayama-u.ac.jp/~sakama
所属
和歌山大学
部署
システム工学部 情報通信システム学科
職名
教授
学位
博士(工学)(京都大学)

研究分野

 
 

経歴

 
1985年4月
 - 
1989年4月
(株)東芝総合研究所 研究員
 
1986年4月
 - 
1989年3月
(財)新世代コンピュータ技術開発機構 出向
 
1989年5月
 - 
1995年3月
(財)京都高度技術研究所 研究員
 
1995年4月
 - 
1996年3月
和歌山大学システム工学部講師
 
1996年4月
 - 
2002年3月
和歌山大学システム工学部助教授
 

学歴

 
 
 - 
1985年
京都大学 工学部 情報
 

Misc

 
Partial Evaluation of Queries in Deductive Databases(jointly worked)
New Generation Computing, Springer-Verlag   6 249-258   1988年
SAKAMA C, INOUE K
Journal of Automated Reasoning Kluwer Academic Publishers   13(1) 145-172   1994年
Paraconsistent Stable Semantics for Extended Disjunctive Programs(jointly worked)
Journal of Logic and Computation Oxford Univ. Press   5 265-285   1995年
INOUE K, SAKAMA C
Journal of Logic Programming, North-Holland   27(2) 107-136   1996年
SAKAMA C, SEKI H
Journal of Logic Programming   32(3) 229-245   1997年

書籍等出版物

 
Handling Knowledge by its Representative(jointly worked)
Proceedings of the 2nd International Conference on Expert Database Systems, Beujamin/Cummings Publishers   1988年   
Nonmonotonic Parallel Inheritance Network(jointly worked)
Lecture Notes in Computer Science Springer-Verlag   1988年   
Possible Model Semantics for Disjunctive Databases
Proceedings of the 1st International Conference on Deductive and Object-Oriented Databases, North-Holland   1989年   
Exfended Well-Founded Semantics for Paraconsistent Logic Programs
Proceedings of the International Conference on Fifth Generation Computer Systems, Ohm-Sha   1992年   
Negation in Disjunctive Logic Programs(jointly worked)
Proceedings of the 10th International Conference on Logic Programming, MIT Press   1993年   

競争的資金等の研究課題

 
人工知能