Yamasaki Susumu

ヤマサキススム | Yamasaki Susumu

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://www.momo.it.okayama-u.ac.jp

Research field (3)： Intelligent informatics , Software , Information theory

Research keywords (8)：ソフトウェアの形式的方法方法論 , 推論機構 , 形式意味論 , 計算論理学 , Formal Method , Automated Reasoning , Formal Semantics , Computational Logic

Research theme for competitive and other funds (8)：

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

Show all

MISC (39)：

A fixed point representation of references. FTP 2009 Workshops Proceedings. 2009. 120-129
A calculus effectively performing event formation with visualization. Lecture Notes in Computer Science. 2008. 4759. 287-294
An interactive constraint system and its relation to logic in AI. Proc. of 19th Belgium/Netherlands Artificial Intelligence Conference. 2007. 299-306
Susumu Yamasaki. Logic programming with default, weak and strict negations. THEORY AND PRACTICE OF LOGIC PROGRAMMING. 2006. 6. 6. 737-749
Automated consultant to acquire knowledge for human interface. Proc. of IPSI-2005 Amsterdam. 2005

ｍore...

Books (2)：

計算論理に基づく推論ソフトウェア論
コロナ社(単著) 2000
Dataflow Computing Mechanism for Logic Program and Extraction of Functional from it
World Scientific, Software Science and Engineering (Nakata,I and Hagiya,M., eds.) 1991

Professional career (1)：

Doctor of Engineering

Association Membership(s) (5)：

日本数学会 , アメリカ人工知能学会(American Association for Artificial Intelligence) , ヨーロッパ理論計算機科学会(European Association for Theoretical Computer Science) , AAAI , EATCS

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page