I received B.Eng. and M.Eng. in Electrical
Engineering, and
Eng.D. in Information Science from
Kyoto University, in 1970, 1972 and 1980, respectively:
Yamasaki,S., Studies on resolution deductions and related
formal language problems, Eng.D. Thesis, Kyoto University, 1979.
During 1974 April-1987 July, I was a member of the academic staff at Department of
Information Science, Kyoto University.
In 1985/86, I was a visiting fellow at
Department of Computer Science, University of Warwick, UK,
where I had met
the late Professor David Michael Ritchie Park (1935-1990).
During 1987 July -2013 March, I was Professor in computing
and artificial intelligence at Department of Computer Science, Okayama University,
being Professor Emeritus as of 1st April.
My research interests have included programming
in computational logic,
automated reasoning and
semantics.
The satisfiablility problem for our proposed class containing propositional non-Horn sentences is referenced and extended in: H. Kleine Buning et al, Propositional Logic: Deduction and Algorithms, Cambridge Tracts in Theoretical Computer Science 48, pp. 285-291, 1999.
Lecture Notes: Yamasaki,S. and Sasakura,M., Objective Knowledge and Reasoning, printed, 2009.