![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Transactions on Computational Collective Intelligence, Volume 16, 2014
- Ryszard Kowalczyk, Ngoc Thanh Nguyen:
Transactions on Computational Collective Intelligence XVI. Lecture Notes in Computer Science 8780, Springer 2014, ISBN 978-3-662-44870-0 - David Harel, Guy Katz, Assaf Marron, Gera Weiss:
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. 1-33 - Graeme Smith
, Jeff W. Sanders, Kirsten Winter:
Designing Adaptive Systems Using Teleo-Reactive Agents. 34-61 - Yan Liu, Xian Zhang, Yang Liu
, Jin Song Dong, Jun Sun
, Jit Biswas, Mounir Mokhtari:
Towards Formal Modelling and Verification of Pervasive Computing Systems. 62-91 - Natalia Ponomareva, Anisoara Calinescu:
Revisiting Agent-Based Models of Algorithmic Trading Strategies. 92-121 - Kristopher Welsh, Nelly Bencomo, Pete Sawyer, Jon Whittle:
Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models. 122-145 - Ahmed-Chawki Chaouche
, Amal El Fallah Seghrouchni, Jean-Michel Ilié
, Djamel-Eddine Saïdouni:
A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems. 146-169 - Hanh Huu Hoang, Trung Van Nguyen, Vu Minh Hoang:
An Ontological Consensus Augmented Framework for Collaborative Business Process Formulation. 170-189
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.