This volume, containing the proceedings of IVA 2003, held at Kloster Irsee, in Germany, September 15-17, 2003, is testimony to the growing importance of IntelligentVirtualAgents(IVAs) asaresearch?
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998.
It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?
This book constitutes the refereed proceedings of the three confederated conferences CoopIS 2002, DOA 2002, and ODBASE 2002, held in Irvine, CA, USA, in October/November 2002.
The 10th International Conference on the Principles and Practice of Constraint Programming (CP 2003) was held in Toronto, Canada, during September 27 - October 1, 2004.
Underlying most of the IWANN calls for papers is the aim to reassume some of the motivations of the groundwork stages of biocybernetics and the later bionics formulations and to try to reconsider the present value of two basic questions.
This book constitutes the refereed proceedings of the Second Hellenic Conference on Artificial Intelligence, SETN 2002, held in Thessaloniki, Greece, in April 2002.
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Rough Sets and Current Trends in Computing, RSCTC 2000, held in Banff, Canada in October 2000.
This book is the result of the workshop "e;Deception, Fraud, and Trust in Agent Societies"e;, held in Barcelona on June 4, 2000 as part of the Autonomous Agents 2000 Conference, and organized by Rino Falcone, Munindar Singh, and Yao-Hua Tan.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.
This book is the third official archival publication devoted to RoboCup and documents the achievements presented at the Third Robot World Cup Soccer Games and Conferences, Robo-Cup-99, held in Stockholm, Sweden in July/August 1999.
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR'99) which was held in Venice (Italy), September 22-24, 1999.
This book constitutes the refereed proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery, PKDD 2001, held in Freiburg, Germany, in September 2001.
Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology.
The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November-2 December 2000 in the c- ference facilities of the Dev?
Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints.
