TY - BOOK AU - Kowalczyk,Ryszard AU - Nguyen,Ngoc Thanh TI - Transactions on Computational Collective Intelligence XVI SN - 9783662448717 PY - 2014/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Computers KW - Artificial intelligence KW - Computer simulation KW - Computational intelligence N1 - 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 UR - http://dx.doi.org/10.1007/978-3-662-44871-7 ER -