Contains papers on relevant technological applications of logical methods and some of their extensions and gives an idea of some applications of logical methods to numerous problems, including relevant concepts and results, in particular those related to paraconsistent logic.

In the twentieth century, logic finally found a number of important applications and various new areas of research originated then, especially after the development of computing and the progress of the correlated domains of knowledge (artificial intelligence, robotics, automata, logical programming, hyper-computation, etc.). This happened not only in the field of classical logics, but also in the general field of non-classical logics. This reveals an interesting trait of the history of logic: despite its theoretical character, it constitutes, at present, an extraordinarily important tool in all domains of knowledge, in the same way as philosophy, mathematics, natural science, the humanities and technology. Moreover, certain new logics were inspired by the needs of specific areas of knowledge, and various new techniques and methods have been created, in part influenced and guided by logical views.

Contains papers on relevant technological applications of logical methods and some of their extensions and gives an idea of some applications of logical methods to numerous problems, including relevant concepts and results, in particular those related to paraconsistent logic.

This book reports on new theories and applications in the field of intelligent systems and computing. It covers computational and artificial intelligence methods, as well as advances in computer vision, current issues in big data and cloud computing, computation linguistics, and cyber-physical systems. It also reports on important topics in intelligent information management. Written by active researchers, the respective chapters are based on selected papers presented at the XIV International Scientific and Technical Conference on Computer Science and Information Technologies (CSIT 2019), held on September 17–20, 2019, in Lviv, Ukraine. The conference was jointly organized by the Lviv Polytechnic National University, Ukraine, the Kharkiv National University of Radio Electronics, Ukraine, and the Technical University of Lodz, Poland, under patronage of Ministry of Education and Science of Ukraine. Given its breadth of coverage, the book provides academics and professionals with extensive information and a timely snapshot of the field of intelligent systems, and is sure to foster new discussions and collaborations among different groups.

The book reports on new theories and applications in the field of intelligent systems and computing. It covers computational and artificial intelligence methods, as well as advances in computer vision, current issue in big data and cloud computing, computation linguistics, cyber-physical systems as well as topics in intelligent information management. Written by active researchers, the different chapters are based on contributions presented at the workshop in intelligent systems and computing (ISC), held during CSIT 2016, September 6-9, and jointly organized by the Lviv Polytechnic National University, Ukraine, the Kharkiv National University of Radio Electronics, Ukraine, and the Technical University of Lodz, Poland, under patronage of Ministry of Education and Science of Ukraine. All in all, the book provides academics and professionals with extensive information and a timely snapshot of the field of intelligent systems, and it is expected to foster new discussions and collaborations among different groups.

With the 4th Industrial Revolution ongoing and human societal organization being restructured into, so-called, “Society 5.0”, the field of Artificial Intelligence and related technologies is growing continuously and rapidly, developing in both itself and towards applications in many other disciplines. Researchers worldwide aim at incorporating cognitive abilities into machines, such as learning and problem solving. When machines and software systems have been enhanced with Artificial Intelligence components, they become better and more efficient at performing tasks. Consequently, Artificial Intelligence stands out as a research discipline due to its worldwide pace of growth in both theoretical advances and areas of application, while achieving very high rates of success and promising major impact in science, technology and society. The book at hand aims at exposing its readers to some of the most significant Advances in Artificial Intelligence Theory, Tools and Methodologies as well as Artificial Intelligence-based Applications and Services. The book consists of an editorial note and an additional eleven (11) chapters, all invited from authors who work on the corresponding chapter theme and are recognized for their significant research contributions. In more detail, the chapters in the book are organized into three parts, namely (i) Advances in Artificial Intelligence Tools and Methodologies, (ii) Advances in Artificial Intelligence-based Applications and Services, and (iii) Theoretical Advances in Computation and System Modeling. This research book is directed towards professors, researchers, scientists, engineers and students in Artificial Intelligence-related disciplines. It is also directed towards readers who come from other disciplines and are interested in becoming versed in some of the most recent Artificial Intelligence-based technologies. An extensive list of bibliographic references at the end of each chapter guides the readers to probe further into the application areas of interest to them.