SAKAMA Chiaki

J-GLOBAL         Last updated: Jan 20, 2015 at 14:43
 
Avatar
Name
SAKAMA Chiaki
URL
http://www.wakayama-u.ac.jp/~sakama
Affiliation
Wakayama University
Section
Faculty of Systems Engineering
Job title
Professor
Degree
Doctor of Engineering(Kyoto University)

Research Areas

 
 

Academic & Professional Experience

 
1985
 - 
1989
Toshiba L.T.D Researcher
 
1986
 - 
1989
Institute for New Generation Computer
 
 
   
 
Technology
 
1989
 - 
1995
Advanced Software Technology and Mechatronics
 
 
   
 
Research Institute of Kyoto
 

Education

 
 
 - 
1985
Faculty of Engineering, Kyoto University
 

Misc

 
Partial Evaluation of Queries in Deductive Databases(jointly worked)
New Generation Computing, Springer-Verlag   6 249-258   1988
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
Journal of Logic Programming, North-Holland   27(2) 107-136   1996
Journal of Logic Programming   32(3) 229-245   1997

Books etc

 
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   

Research Grants & Projects

 
Artificial Intelligence