|
This book constitutes the strictly refereed post-proceedings of the 4th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IV, held in Fort Lauderdale, Fl, USA in January 2004.
The 11 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. The papers are organized in topical sections on negotiation in MAS, planning in MAS, knowledge revision and update in MAS, and learning in BDI MAS.
Hierarchical and Geometrical Methods in Scientific Visualization Автор: G. Farin, Bernd Hamann, Hans Hagen, H. Hagen, Gerald E. Farin, B. Hamann Год: 2001 |
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science) Автор: RenA© DA?ger, Enrique Zuazua Год: 2005 |
Algorithmic Learning Theory: 14th International Conference, Alt 2003, Sapporo, Japan, October 2003 : Proceedings (Lecture Notes in Computer Science, 2842.) Автор: Alt 200, Ricard Gavalda, K. P. Jantke, Eiji Takimoto, Klaus P. Jantke Год: 2000 |
Stochastic analysis and applications (Abel symposium 2005) Автор: Benth F., et al. (eds.) Год: 2007 |