Frontiers of Combining Systems 2

Software systems are evolving into ever more complex units. To control and manage the resulting complexity, there is a move towards general purpose systems, away from collections of more restricted special purpose ones. This volume contains research papers that address the theoretical underpinnings of the general theme of combining systems. The contributions come from a variety of disciplines, including applied and theoretical computing, logic, artificial intelligence, and natural language processing, with a clear emphasis on automated tools and logics.