Transactions on Computational Collective Intelligence XVI - Kowalczyk, Ryszard; Nguyen, Ngoc Thanh (Berlin, Heidelberg : Springer Berlin Heidelberg, 2014)
Applying IPC-based Clustering and Link Analysis to Patent Analysis on Thin-Film Solar Cell -- Non-Intrusive Repair of Safety and Liveness Violations in Reactive Programs -- Designing adaptive systems using teleo-reactive agents -- Towards Formal Modelling and Verification of Pervasive Computing Systems -- Revisiting Agent-Based Models of Algorithmic Trading Strategies -- Self-explanation in Adaptive Systems based on Runtime Goal-based Models -- A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems -- An Ontological Consensus Augmented Framework for Collaborative Business Process Formulation.
Keywords: Computer science; Software engineering; Computers; Artificial intelligence; Computer simulation; Computational intelligence