Keynote Speakers

Kuan-Ching Li, Professor, FIET, SMIEEE 
Dept. of Computer Science and Information Engr. (CSIE)
Providence University 

Kuan-Ching Li is a Professor in the Department of Computer Science and Information Engineering at the Providence University, Taiwan. In this same university, he is appointed also as the Special Assistant to the University President and Vice-Dean for Office of International and Cross-Strait Affairs (OIA). Dr. Li received several guest and chair professorships from universities in China and other countries. Dr. Li has published more than 220 book chapters and scientific articles/papers, and author, co-author or editor of more than 10 technical professional books published by CRC Press, IGI Global and Springer. He is recipient of awards from Nvidia, Ministry of Education (MOE)/Taiwan and Ministry of Science and Technology (MOST)/Taiwan, as also industrial collaboration funding.

Dr. Li is currently the Editor-in-Chief of technical publications International Journal of Computational Science and Engineering (IJCSE), International Journal of Embedded Systems (IJES) and International Journal of High Performance Computing and Networking (IJHPCN), all published by Inderscience, also serving as associate editor in other leading journals. He has been actively involved, in a variety of capacities, in the organization of more than 100 conferences. His research interests include areas in parallel and distributed computing. He is a member of Taiwan Association of Cloud Computing (TACC), a senior member of the IEEE and a Fellow of the IET.

Kazumi Nakamatsu Prof. Dr.Sc.
School of Human Science and Environment
University of Hyogo
Shinzaike-hon-cho, Himeji 670-0092

Kazumi Nakamatsu received the Ms. Eng. and Dr. Sci. from Shizuoka University and Kyushu University, Japan, respectively. He is a full 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) recently, and applied them to various intelligent systems such as a safety verification based railway interlocking control system and process order control. He is an author of over 150 papers and 20 book chapters, and 10 edited books published by prominent publishers.

Kazumi Nakamatsu has chaired various international conferences, workshops and invited sessions, and he has been a member of numerous international program committees of workshops and conferences in the area of Computer Science. He serves as Editor-in-Chief of the International Journal of Reasoning-based Intelligent Systems(IJRIS) by Inderscience Publisher(UK) and an editorial board member of many international journals. He has contributed numerous invited lectures at international workshops, conferences, and academic organizations. He also is a recipient of some conference and paper awards. He is a member of Japan AI Society, Japan Facial Society, etc.

Lecture Title:

Intelligent Decision Technologies from the Viewpoint of Paraconsistent Reasoning-based Intelligent Systems


Intelligent decision technologies have become to constitute an important area in computer science/AI and been applied to various intelligent systems recently.  In this lecture, “What is intelligent decision technology?” “How can we implement intelligent decision technologies?” “Future directions of Intelligent Decision Technologies” will be clarified from the viewpoint of a formal reasoning-based intelligent system that can deal with contradiction. Furthermore, it will be introduced that some intelligent decision technologies can be implemented as the formal reasoning-based intelligent systems with small examples.
Paraconsistent annotated logic is well known as a formal logic that can deal with contradiction in the framework of consistent logical systems. One of its logic programs called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN) has been developed for dealing with non-monotonic reasoning such as default reasoning, defeasible reasoning, defeasible deontic reasoning, plausible reasoning, etc. by Kazumi Nakamatsu and applied to conflict resolving, various intelligent control systems such as pipeline valve control, traffic signal control, railway interlocking safety verification, etc. Some of these applications of EVALPSN will be introduced as applications of intelligent decision technology. 
Moreover, a special EVALPSN that can deal with a sort of temporal reasoning, before-after relations between processes (time intervals), which has been named bf(before-after)–EVALPSN and its application to real-time process order control will be introduced.

Professor Dr. Lorna Uden
School of Computing
Faculty of Computing Engineering and Sciences
Staffordshire University College Road Stoke-on-Trent Staffordshire ST4 2DE

Short Profile: Professor Dr. Lorna Uden has published over 200 papers in conferences, journals, chapters of books and workshops. Her research interests include Learning Technology, Web Engineering and Technology, Human Computer Interaction, Groupware, Activity Theory, big data, innovation , E-business, Knowledge management, E-government, Semantic web, Web services , service innovation, social media, Service Science, Internet of Internet and Problem-Based Learning (PBL). She co-authored the book, ‘Technology and Problem - Based Learning’, published by IGI publishers. Professor Uden travels round the world to give workshops in problem Based learning. She collaborates with colleagues internationally in paper writing.

Professor Uden is program committee member for many international conferences and workshops. She is on the editorial board of several international journals. She is founder and editor in chief of the International Journal of Web Engineering and Technology (IJWET) and the International Journal of Learning Technology (IJLT), published by Inderscience, UK.

Professor Uden has been a visiting professor to universities in Australia, Brazil, China, Colombia, Finland, India, Italy, Japan, South Korea, Malaysia, Mexico, New Zealand, Singapore, Slovenia, Slovakia, Spain, South Africa and Taiwan. She has been keynote speaker at many international conferences. On the international front, she collaborates widely with colleagues worldwide. She is conference chair for the KMO 2017 and LTEC 2017 in Mexico.

Lecture Title:

Design Internet of Things (IOT) for user experience


Current IOT design tends to focus on visible and tangible elements. These are important concerns and have major impact on the end user’s experience of the product. However, they are only part of the picture. It is possible to have a beautiful IOT product, but users still have a poor experience of the product. The design of IOT is not trivial. One of the main issues is that there are more aspects of the design to consider as well as our lack of understanding of consumer value creation. It is important to take a holistic approach to create a coherent user experience for IOT. A new approach is needed taking cross-discipline collaboration between design, technology, and business. This paper describes a model that can be used to design IOT for experience based on human computer interaction and co-creation of value from service science.