One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by
a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar
constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation, etc.
We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to any logics of the usual form.
Key features:
- provides a coherent picture of several formalisms of nonmonotonic logics.
- gives completeness and incompleteness results for many variants of preferential, distance based, and other semantics.
- gives probably the first systematic investigation of definability preservation and its consequences.
- gives new proof techniques for completeness results.
- is centered on semantics

This book explores Ambient Intelligence as applied to the classroom, while especially focusing on the use of personalized education to optimize the learning process. In the years to come, the dynamics of learning spaces in higher education will need to evolve and adapt to a constantly changing digital society, as learners and educators alike attune their learning competences and teaching skills. Ambient Intelligence is another way that Artificial Intelligence is being utilized in a plethora of real-world situations, amongst which classrooms and other learning spaces offer fitting settings and ideal environments for employing this assistive technology. The book presents a complete and novel approach to deploying the Ambient Intelligent Classroom, based on three interrelated aspects - the Social, the Technological and the Educational, - in order to provide a rich three-dimensional learning environment. This book is intended for education technologists and AI researchers, as well as for those tech-savvy readers interested in applying technology to the future of learning spaces. Educators in particular will find valuable insights and guidelines on how to shape the evolution of their own classroom.

This monograph is intended for researchers and professionals in the fields of computer science and cybernetics. Nowadays, the areas of computer science and cybernetics (mainly its artificial intelligence branches) are subject to an immense degree of study and are applied in a wide range of technical and industrial projects. The individual chapters of this monograph were developed from a series of invited lectures at the Brno University of Technology in the years 2018 and 2019. The main aim of these lectures was to create an opportunity for students, academics, and professionals to exchange ideas, novel research methods, and new industrial applications in the fields related to soft computing and cybernetics. The authors of these chapters come from around the world and their works cover both new theoretical and application-oriented results from areas such as automation, control, robotics, optimization, statistics, reinforcement learning, image processing, and evolutionary algorithms.

This edited book explores the use of technology to enable us to visualise the life sciences in a more meaningful and engaging way. It will enable those interested in visualisation techniques to gain a better understanding of the applications that can be used in visualisation, imaging and analysis, education, engagement and training. The reader will also be able to learn about the use of visualisation techniques and technologies for the historical and forensic settings. The reader will be able to explore the utilisation of technologies from a number of fields to enable an engaging and meaningful visual representation of the biomedical sciences. The chapters presented in this volume cover such a diverse range of topics, with something for everyone. We present here chapters on technology enhanced learning in neuroanatomy; 3D printing and surgical planning; changes in higher education utilising technology, decolonising the curriculum and visual representations of the human body in education. We also showcase how not to use protective personal equipment inspired by the pandemic; anatomical and historical visualisation of obstetrics and gynaecology; 3D modelling of carpal bones and augmented reality for arachnid phobias for public engagement. In addition, we also present face modelling for surgical education in a multidisciplinary setting, military medical museum 3D digitising of historical pathology specimens and finally computational fluid dynamics.

This two-volume set of IFIP AICT 617 and 618 constitutes the refereed proceedings of the IFIP WG 8.6 International Working Conference "Re-imagining Diffusion and Adoption of Information Technology and Systems: A Continuing Conversation" on Transfer and Diffusion of IT, TDIT 2020, held in Tiruchirappalli, India, in December 2020.The 86 revised full papers and 36 short papers presented were carefully reviewed and selected from 224 submissions. The papers focus on the re-imagination of diffusion and adoption of emerging technologies. They are organized in the following parts: Part I: artificial intelligence and autonomous systems; big data and analytics; blockchain; diffusion and adoption technology; emerging technologies in e-Governance; emerging technologies in consumer decision making and choice; fin-tech applications; healthcare information technology; and Internet of Things Part II: diffusion of information technology and disaster management; adoption of mobile and platform-based applications; smart cities and digital government; social media; and diffusion of information technology and systems

The book is a compilation of best papers presented at International Conference on Recent Advancement in Computer and Communication (ICRAC 2017) organized by IMPLab Research and Innovation Foundation, Bhopal, India. The book covers all aspects of computers and communication techniques including pervasive computing, distributed computing, cloud computing, sensor and adhoc network, image, text and speech processing, pattern recognition and pattern analysis, digital signal processing, digital electronics, telecommunication technologies, robotics, VLSI technologies, embedded system, satellite communication, digital signal processing, and digital communication. The papers included are original research works of experts from industry, government centers and academic institutions; experienced in engineering, design and research.

The recent developments in wireless communications, networking, and embedded systems have driven various innovative Internet of Things (IoT) applications, e.g., smart cities, mobile healthcare, autonomous driving and drones. A common feature of these applications is the stringent requirements for low-latency communications. Considering the typical small payload size of IoT applications, it is of critical importance to reduce the size of the overhead message, e.g., identification information, pilot symbols for channel estimation, and control data. Such low-overhead communications also help to improve the energy efficiency of IoT devices. Recently, structured signal processing techniques have been introduced and developed to reduce the overheads for key design problems in IoT networks, such as channel estimation, device identification, and message decoding. By utilizing underlying system structures, including sparsity and low rank, these methods can achieve significant performance gains. This book provides an overview of four general structured signal processing models: a sparse linear model, a blind demixing model, a sparse blind demixing model, and a shuffled linear model, and discusses their applications in enabling low-overhead communications in IoT networks. Further, it presents practical algorithms based on both convex and nonconvex optimization approaches, as well as theoretical analyses that use various mathematical tools.

This book presents novel research ideas and offers insights into radar system design, artificial intelligence and signal processing applications. Further, it proposes a new concept of antenna spatial polarization characteristics (SPC), suggesting that the antenna polarization is a function of the spatial direction and providing new ideas for radar signal processing (RSP) and anti-jamming. It also discusses the design of an advanced signal-processing algorithm, and proposes new polarimetric and anti-jamming methods using antenna inherent properties. The book helps readers discover the potential of radar information processing and improve its anti-interference and target identification ability. It is of interest to university researchers, radar engineers and graduate students in computer science and electronics who wish to learn the core principles, methods, algorithms, and applications of RSP.

These proceedings present selected research papers from CISC'18, held in Wenzhou, China. The topics include Multi-Agent Systems, Networked Control Systems, Intelligent Robots, Complex System Theory and Swarm Behavior, Event-Triggered Control and Data-Driven Control, Robust and Adaptive Control, Big Data and Brain Science, Process Control, Nonlinear and Variable Structure Control, Intelligent Sensor and Detection Technology, Deep learning and Learning Control Guidance, Navigation and Control of Flight Vehicles, and so on. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.

A comprehensive introduction to network flows that brings together the classic and the contemporary aspects of the field, and provides an integrative view of theory, algorithms, and applications.

This book presents a novel approach to the formulation and solution of three classes of problems: the fully fuzzy transportation problem, the fully fuzzy transshipment problem, and fully fuzzy solid transportation problem. It points out some limitations of the existing formulations and approaches, indicating some possible, conceptually and algorithmically attractive solutions to alleviate them. In particular, the book describes new conceptual and algorithmic solutions for finding the fuzzy optimal solutions of the single-objective fully fuzzy transportation problems, the fully fuzzy transshipment problems and the fully fuzzy solid transportation problems. Moreover, based on the novel concepts and solutions proposed by combining the concept of a fully fuzzy solid transportation problem and a fully fuzzy transshipment problem, it describes a new class of problems, i.e. the fully fuzzy solid trans-shipment problem, together with its fuzzy linear programming formulation and some methods to find its fuzzy optimal solution. The book offers the readers a timely piece of literature in the field of fuzzy linear programming, and is expected to act as a source of inspiration for future research and applications.

This book explores the concepts and techniques of IoT, AI, and blockchain. Also discussed is the possibility of applying blockchain for providing security in various domains. The specific highlight of this book is focused on the application of integrated technologies in enhancing data models, better insights and discovery, intelligent predictions, smarter finance, smart retail, global verification, transparent governance, and innovative audit systems. The book allows both practitioners and researchers to share their opinions and recent research in the convergence of these technologies among academicians and industry people. The contributors present their technical evaluation and compare it with existing technologies. Theoretical explanation and experimental case studies related to real-time scenarios are also included. This book pertains to IT professionals, researchers and academicians working on fourth revolution technologies.

The book presents the proceedings of four conferences: The 24th International Conference on Image Processing, Computer Vision, & Pattern Recognition (IPCV'20), The 6th International Conference on Health Informatics and Medical Systems (HIMS'20), The 21st International Conference on Bioinformatics & Computational Biology (BIOCOMP'20), and The 6th International Conference on Biomedical Engineering and Sciences (BIOENG'20). The conferences took place in Las Vegas, NV, USA, July 27-30, 2020, and are part of the larger 2020 World Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE'20), which features 20 major tracks. Authors include academics, researchers, professionals, and students. Presents the proceedings of four conferences as part of the 2020 World Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE'20); Includes the tracks on Image Processing, Computer Vision, & Pattern Recognition, Health Informatics & Medical Systems, Bioinformatics, Computational Biology & Biomedical Engineering; Features papers from IPCV'20, HIMS'20, BIOCOMP'20, and BIOENG'20.

Agent technologies and multi-agent systems is an emerging field of study that is unique in the sense that all efforts to build this discipline unite knowledge from different areas of study. Developments in Intelligent Agent Technologies and Multi-Agent Systems: Concepts and Applications discusses research on emerging technologies and systems based on agent and multi-agent paradigms across various fields of science, engineering and technology. This book is a collection of work that covers conceptual frameworks, case studies, and analysis while serving as a medium of communication among researchers from academia, industry and government.

This book presents high-quality, original contributions (both theoretical and experimental) on Information Security, Machine Learning, Data Mining and Internet of Things (IoT). It gathers papers presented at ICETIT 2019, the 1st International Conference on Emerging Trends in Information Technology, which was held in Delhi, India, in June 2019. This conference series represents a targeted response to the growing need for research that reports on and assesses the practical implications of IoT and network technologies, AI and machine learning, data analytics and cloud computing, security and privacy, and next generation computing technologies.

This book provides insights into smart ways of computer log data analysis, with the goal of spotting adversarial actions. It is organized into 3 major parts with a total of 8 chapters that include a detailed view on existing solutions, as well as novel techniques that go far beyond state of the art. The first part of this book motivates the entire topic and highlights major challenges, trends and design criteria for log data analysis approaches, and further surveys and compares the state of the art. The second part of this book introduces concepts that apply character-based, rather than token-based, approaches and thus work on a more fine-grained level. Furthermore, these solutions were designed for "online use", not only forensic analysis, but also process new log lines as they arrive in an efficient single pass manner. An advanced method for time series analysis aims at detecting changes in the overall behavior profile of an observed system and spotting trends and periodicities through log analysis. The third part of this book introduces the design of the AMiner, which is an advanced open source component for log data anomaly mining. The AMiner comes with several detectors to spot new events, new parameters, new correlations, new values and unknown value combinations and can run as stand-alone solution or as sensor with connection to a SIEM solution. More advanced detectors help to determines the characteristics of variable parts of log lines, specifically the properties of numerical and categorical fields. Detailed examples throughout this book allow the reader to better understand and apply the introduced techniques with open source software. Step-by-step instructions help to get familiar with the concepts and to better comprehend their inner mechanisms. A log test data set is available as free download and enables the reader to get the system up and running in no time. This book is designed for researchers working in the field of cyber security, and specifically system monitoring, anomaly detection and intrusion detection. The content of this book will be particularly useful for advanced-level students studying computer science, computer technology, and information systems. Forward-thinking practitioners, who would benefit from becoming familiar with the advanced anomaly detection methods, will also be interested in this book.

This book provides a comprehensive review of complex networks from three different domains, presents novel methods for analyzing them, and highlights applications with accompanying case studies. Special emphasis is placed on three specific kinds of complex networks of high technological and scientific importance: software networks extracted from the source code of computer programs, ontology networks describing semantic web ontologies, and co-authorship networks reflecting collaboration in science. The book is primarily intended for researchers, teachers and students interested in complex networks and network data analysis. However, it will also be valuable for researchers dealing with software engineering, ontology engineering and scientometrics, as it demonstrates how complex network analysis can be used to address important research issues in these three disciplines.

This book presents original, peer-reviewed research papers from the 4th Purple Mountain Forum -International Forum on Smart Grid Protection and Control (PMF2019-SGPC), held in Nanjing, China on August 17-18, 2019. Addressing the latest research hotspots in the power industry, such as renewable energy integration, flexible interconnection of large scale power grids, integrated energy system, and cyber physical power systems, the papers share the latest research findings and practical application examples of the new theories, methodologies and algorithms in these areas. As such book a valuable reference for researchers, engineers, and university students.

Computer vision and object recognition are two technological methods that are frequently used in various professional disciplines. In order to maintain high levels of quality and accuracy of services in these sectors, continuous enhancements and improvements are needed. The implementation of artificial intelligence and machine learning has assisted in the development of digital imaging, yet proper research on the applications of these advancing technologies is lacking. Applications of Advanced Machine Intelligence in Computer Vision and Object Recognition: Emerging Research and Opportunities explores the theoretical and practical aspects of modern advancements in digital image analysis and object detection as well as its applications within healthcare, security, and engineering fields. Featuring coverage on a broad range of topics such as disease detection, adaptive learning, and automated image segmentation, this book is ideally designed for engineers, physicians, researchers, academicians, practitioners, scientists, industry professionals, scholars, and students seeking research on the current developments in object recognition using artificial intelligence.

This book gathers papers addressing state-of-the-art research in all areas of information and communication technologies and their applications in intelligent computing, cloud storage, data mining and software analysis. It presents the outcomes of the Fourth International Conference on Information and Communication Technology for Intelligent Systems, which was held in Ahmedabad, India. Divided into two volumes, the book discusses the fundamentals of various data analysis techniques and algorithms, making it a valuable resource for researchers and practitioners alike.

Robotic animals are nowadays developed for various types of research, such as bio-inspired robotics, biomimetics and animal behavior studies. More specifically, in the case of collective animal behavior research, the robotic device can interact with animals by generating and exploiting signals relevant for social behavior. Once perceived by the animal society as conspecific, these robots can become powerful tools to study the animal behaviors, as they can at the same time monitor the changes in behavior and influence the collective choices of the animal society. In this book, we present novel robotized tools that can integrate shoals of fish in order to study their collective behaviors. We used the current state of the art on the zebrafish social behavior to define the specifications of the robots, and we performed stimuli analysis to improve their developments. Bio-inspired controllers were designed based on data extracted from experiments with zebrafish for the robots to mimic the zebrafish locomotion underwater. Experiments involving mixed groups of fish and robots qualified the robotic system to be integrated among a zebrafish shoal and to be able to influence the collective decisions of the fish. These results are very promising for the field of animal-robot interaction studies, as we showed the effect of the robots in long-duration experiments and repetitively, with the same order of response from the animals.