The Series in Intelligent Systems publishes titles that cover state of the art knowledge and the latest advances in research and development in intelligent systems. Its scope includes theoretical studies, design methods, and real-world implementations and applications. The Series publishes titles in three core sub-topic areas: Intelligent Automation, Intelligent Transportation Systems, and Intelligent Computing. This title addresses argumentation semantics and systems, introducing readers to cutting edge decomposition methods that drive increasingly efficient logic computation in AI and IS systems that can be applied to complex and distributed systems in the automation and transportation systems field, and particularly autonomous systems, as well as to more generic intelligent computation research. The first book to cover new methods for computing static, dynamic and partial argumentation systems Methods are applicable to both the development of systems and research areas in both AI and broader Intelligent Systems . Provides the AI and IS community with insight into the critical field of efficient computation, with a focus particularly on intelligent automation, intelligent transportation systems, and intelligent computing