YAMASAKI Susumu

J-GLOBAL         Last updated: Oct 12, 2009 at 00:00
 
Avatar
Name
YAMASAKI Susumu
Affiliation
Okayama University
Section
The Graduate School of Natural Science and Technology, (Doctor Course) Division of Industrial Innovation Sciences, Department of Computer Science
Job title
Professor
Degree
Doctor of Engineering

Research Areas

 
 

Misc

 
The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Propositional Logic
Information and Control   59(1-3) 1-12   1983
Theoretical Computer Science   76(2/3) 309-322   1990
Journal of Symbolic Computation   18(2) 157-182   1994
Data Flow Programs for Parallel Computations of Logic Programs and their Semantics
Lecture Notes in Computer Science   366, 104-114    1989
Extraction of Functional from Logic Program
Lecture Notes in Computer Science   528, 27-58    1991

Books etc

 
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   

Association Memberships

 
 

Research Grants & Projects

 
Nonmonotonic Logic
Event-Calculus
Fixpoint Semantics
Epistemic logic