Susumu Yamasaki
Semantics and Artificial Intelligence Programming
Language and Theorem Proving
Application of Fairness
Semantics for Logic Programs
Procedures in Nonmonotonic Reasoning
Logic Program Analysis
Distributed Programming
Diagnostic Knowledge Processing
Knowledge Structure
Current Research Subjects
- Semantics for Non-Procedural Languages
- Distributed Programming Systems
- Negation and Diagnosis
- Procedures in Nonmonotonic Reasoning
- Knowledge Engineering