This book proposes a consistent methodology for building intelligent systems. It puts forward several formal models for designing and implementing rules-based systems, and presents illustrative case studies of their applications. These include software engineering, business process systems, Semantic Web, and context-aware systems on mobile devices. Rules offer an intuitive yet powerful method for representing human knowledge, and intelligent systems based on rules have many important applications. However, their practical development requires proper techniques and models - a gap that this book effectively addresses.

This book compiles a number of contributions originating from the KESE (Knowledge Engineering and Software Engineering) workshop series from 2005 to 2015. The idea behind the series was the realignment of the knowledge engineering discipline and its strong relation to software engineering, as well as to the classical aspects of artificial intelligence research. The book introduces symbiotic work combining these disciplines, such as aspect-oriented and agile engineering, using anti-patterns, and system refinement. Furthermore, it presents successful applications from different areas that were created by combining techniques from both areas.

This book constitutes revised selected papers from the AIME 2019 workshops KR4HC/ProHealth 2019, the Workshop on Knowledge Representation for Health Care and Process-Oriented Information Systems in Health Care, and TEAAM 2019, the Workshop on Transparent, Explainable and Affective AI in Medical Systems. The volume contains 5 full papers from KR4HC/ProHealth, which were selected out of 13 submissions. For TEAAM 8 papers out of 10 submissions were accepted for publication.