Transactions on Computational Collective Intelligence XVI

✍ Scribed by Ryszard Kowalczyk, Ngoc Thanh Nguyen (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2014
• Tongue: English
• Leaves: 200
• Series: Lecture Notes in Computer Science 8780 Transactions on Computational Collective Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This 16th issue contains 8 regular papers selected via peer-review process.

✦ Table of Contents

Front Matter....Pages I-IX
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs....Pages 1-33
Designing Adaptive Systems Using Teleo-Reactive Agents....Pages 34-61
Towards Formal Modelling and Verification of Pervasive Computing Systems....Pages 62-91
Revisiting Agent-Based Models of Algorithmic Trading Strategies....Pages 92-121
Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models....Pages 122-145
A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems....Pages 146-169
An Ontological Consensus Augmented Framework for Collaborative Business Process Formulation....Pages 170-189
Back Matter....Pages 191-191

✦ Subjects

Artificial Intelligence (incl. Robotics); Computational Intelligence; Software Engineering; Simulation and Modeling; Information Systems and Communication Service