Kazumi Nakamatsu received the M.Eng., and D.Sci. from Shizuoka University and Kyushu University, Japan, respectively. He is a Professor at School of Human Science and Environment, University of Hyogo, Japan. His research interests encompass various kinds of logic and their applications to Computer Science, especially paraconsistent annotated logic programs and their applications. He has developed some paraconsistent annotated logic programs called ALPSN(Annotated Logic Program with Strong Negation), VALPSN(Vector ALPSN), EVALPSN(Extended VALPSN) and bf-EVALPSN (before-after EVALPSN), and applied them to various intelligent systems such as safety verification based control systems. Kazumi Nakamatsu has organized some international conferences and been a member of numerous international program committees of workshops and conferences in the area of Artificial Intelligence. He serves as Editor-in-Chief of the International Journal of Reasoning-based Intelligent Systems and an editorial board member of other international journals. He has contributed numerous invited lectures at international workshops and conferences. He also is a recipient of some conference and paper awards. |