About the Book
About the Author: Prof. Kazumi Nakamatsu received the Ms. Eng. and Dr. Sci. from Shizuoka University and Kyushu University, Japan, respectively. 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 Annotated Logic Program with Strong Negation (ALPSN), Vector ALPSN (VALPSN), Extended VALPSN (EVALPSN), and before-after EVALPSN (bf-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 chapters, and 10 edited books published by prominent publishers. He 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 has served as the editor-in-chief of the International Journal of Reasoning-based Intelligent Systems (IJRIS); he is now the founding editor of IJRIS, 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 numerous research paper awards. He is a member of ACM. Prof. Roumen Kountchev, Ph.D., D. Sc., is a professor at the Faculty of Telecommunications, Department of Radio Communications and Video Technologies, Technical University of Sofia, Bulgaria. His areas of interest include: digital signal and image processing, image compression, multimedia watermarking, video communications, pattern recognition, and neural networks. He has 350 papers published in magazines and proceedings of conferences; 20 books; 47 chapters; and 21 patents. He had been principle investigator of 38 research projects. At present, he is a member of Euro Mediterranean Academy of Arts and Sciences and president of Bulgarian Association for Pattern Recognition (member of Intern. Association for Pattern Recognition). He is an editorial board member of: Intern. J. of Reasoning-based Intelligent Systems; Intern. J. Broad Research in Artificial Intelligence and Neuroscience; KES Focus Group on Intelligent Decision Technologies; Egyptian Computer Science J.; Intern. J. of Bio-Medical Informatics and e-Health, and Intern. J. Intelligent Decision Technologies. He has been a plenary speaker at: WSEAS Intern. Conf. on Signal Processing, 2009, Istanbul, Turkey; WSEAS Intern. Conf. on Signal Processing, Robotics and Automation, University of Cambridge 2010, UK; WSEAS Intern. Conf. on Signal Processing, Computational Geometry and Artificial Vision 2012, Istanbul, Turkey; Intern. Workshop on Bioinformatics, Medical Informatics and e-Health 2013, Ain Shams University, Cairo, Egypt; Workshop SCCIBOV 2015, Djillali Liabes University, Sidi Bel Abbes, Algeria; Intern. Conf. on Information Technology 2015 and 2017, Al-Zaytoonah University, Amman, Jordan; WSEAS European Conf. of Computer Science 2016, Rome, Italy; The 9th Intern. Conf. on Circuits, Systems and Signals, London, UK, 2017; IEEE Intern. Conf. on High Technology for Sustainable Development 2018 and 2019, Sofia, Bulgaria; The 8th Intern. Congress of Information and Communication Technology, Xiamen, China, 2018; General Chair of the Intern. Workshop New Approaches for Multidimensional Signal Processing, July 2020, Sofia, Bulgaria. Prof. Srikanta Patnaik is presently working as the director of International Relation and Publication of SOA University. He is a full professor in the Department of Computer Science and Engineering, SOA University, Bhubaneswar, India. He has received his Ph. D. (Engineering) on Computational Intelligence from Jadavpur University, India, in 1999. He has supervised more than 25 Ph. D. theses and 60 master's theses in the area of computational intelligence, machine learning, soft computing applications, and re-engineering. He has published around 100 research papers in international journals and conference proceedings. He is the author of 2 text books, 52 edited volumes, and few invited chapters, published by leading international publisher like Springer-Verlag, Kluwer Academic. He is the editor-in-chief of International Journal of Information and Communication Technology and International Journal of Computational Vision and Robotics published from Inderscience Publishing House, England, and International Journal of Computational Intelligence in Control, published by MUK Publication, editor of Journal of Information and Communication Convergence Engineering, and associate editor of Journal of Intelligent and Fuzzy Systems (JIFS), which are all Scopus Index journals. He is also editor-in-chief of Book Series on "Modeling and Optimization in Science and Technology" published from Springer, Germany, and Advances in Computer and Electrical Engineering (ACEE) and Advances in Medical Technologies and Clinical Practice (AMTCP), published by IGI Global, USA. He has travelled more than 20 countries across the globe to deliver invited talks and keynote address at various places. He is also the visiting professor to some of the universities in China, South Korea, and Malaysia. Prof. Jair Minoro Abe received B.A. and M.Sc. in Pure Mathematics, University of Sao Paulo, Brazil, and also received the doctor degree and Livre Docente title from the same university. He was the coordinator of Logic Area of Institute of Advanced Studies, University of Sao Paulo, Brazil, 1987-2019 and full professor at Paulista University, Brazil. His research interest topics include paraconsistent annotated logics and AI, ANN in biomedicine and automation, among others. He is a senior member of IEEE. He is studious of a family of paraconsistent annotated logic which is used to solve many complex problems in engineering. He has authored/edited books on paraconsistent and related logic published by Springer, Germany, and other reputed publishers. He is the recipient of many awards including medals for his academic performance and also received many best paper awards. He is the editor-in-chief of International Journal of Reasoning-based Intelligent Systems. Presently, he serves as an associate editor and a member of the Editorial Board of some journals related to the intelligent systems and applications. He has supervised a number of Ph.D. candidates successfully and presented a number of keynote addresses. He has authored/co-authored around 300+ publications including books, research papers, research reports, etc. His research interests include system design using conventional and artificial intelligence techniques, paraconsistent annotated logic, human factors in aviation, intelligent decision making, teaching and learning practices, and cognitive studies. Prof. D.Sc. Andrey Tyugashev is a professor at the Comp. Syst. Dept. of the Samara State Technical University. He is a member of IEEE. He received a Ph.D. in computer science (CASE technologies) from the Samara State Aerospace University, Russia, in 1997 and has been titled as a habilitated professor since 2008 after receiving the Doctor of Science Degree. In 2014-2020, he headed Applied Mathematics & Computer Science Department of the Samara State Transport University. He has more than 180 publications, including 9 books. He is an associate editor of KES Scientific Journal. He is many times winner of Samara National Research University and Samara Region Grants for the best young postdoctoral researches, winner (under the leadership of A.A. Kalentyev) of the Samara Region Scientific Grant, winner of President of Russian Federation's Grant for young Doctors of Sciences Author of "Programming Languages" handbook published by central Russian Piter Publishing and other books devoted to Artificial Intelligence, Computer-Aided Lifecycle Support in Aerospace Industry, Visual Programming, etc, awarded the sign of the Governor of the Samara region "for achievements in higher education and research" (2019), and awarded by a diploma from European Council of International Society of electronic devices manufacturers. He is an official member of Scientific and Technical Expert Registry of Russian Federation; areas of expertise include software engineering, programming languages, software verification, real-time control systems, etc. He leads research projects in Aerospace Industry since 1991. He is a member of Roskosmos's Spacecraft Software Standardization Working Group. He was invited plenary speaker at several international conferences (TMPA'2014 Russia, ICEST2018 Bulgaria, ICAIT'2019 China, SCM'2018 Saint Petersburg, etc.). And he has served as a member of Program Committees for several international conferences (SYRCoSE-17,18,19, Russia, ICMA2018 Portugal, INISTA2018 Greece, IDC'2019 Saint Petersburg, etc.). He helps as a reviewer for several scientific journals published by Elsevier, Horizon Publishing, etc.
