The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
WINE 2005, the First Workshop on Internet and Network Economics (WINE 2005), took place in Hong Kong, China, December 15-17, ...
اقرأ المزيد
The purpose of this book is to present current status of this technology by looking at its application in different domains, ...
اقرأ المزيد
This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, ...
اقرأ المزيد
The incursion of information and communication technologies (ICT) in health care entails evident bene?ts at the levels of ...
اقرأ المزيد
Dear delegates,friendsand membersofthe growingKES professionalcommunity,w- come to the proceedings of the 9th International ...
اقرأ المزيد
The three volume set LNAI 5177, LNAI 5178, and LNAI 5179, constitutes the refereed proceedings of the 12th International ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, ...
اقرأ المزيد
The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...
اقرأ المزيد
This book contains selected and revised papers of the International Workshop on Lea- ing and Adaptation in Multi-Agent Systems ...
اقرأ المزيد
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
اقرأ المزيد
This book originates from the First International Workshop on Massively Multi-Agent Systems, MMAS 2004, held in Kyoto, Japan ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on ...
اقرأ المزيد
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Third International Conference on Modeling Decisions for Artificial ...
اقرأ المزيد
This volume contains extended and improved versions of selected contributions presented at the International Workshop "Monitoring, ...
اقرأ المزيد
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
اقرأ المزيد