ThesearetheproceedingsoftheRoboCup2004Symposium, heldattheInstituto Superior T ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition. The papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of science or engineering is how to devise tests that can provide objective comparisons between alt- native methods. In recent years, competitive engineering challenges have been established to motivate researchers to tackle di?cult problems while providing a framework for the comparison of results. RoboCup was one of the ?rst...

This book constitutes the refereed proceedings of the International Central and European Conference on Multi-Agent Systems, CEEMAS 2003, held in Prague, Czech Republic in June 2003.

The 58 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on formal methods, social knowledge and meta-reasoning, negotiation, and policies, ontologies and languages, planning, coalitions, evolution and emergent behaviour, platforms, protocols, security, real-time and...

This book constitutes the refereed proceedings of the 5th Conference of the Association for Machine Translation in the Americas, AMTA 2002, held in Tiburon, CA, USA, in October 2002.
The 18 revised full technical papers, 3 user studies, and 9 system descriptions presented were carefully reviewed and selected for inclusion in the book. Among the issues addressed are hybrid translation environments, resource-limited MT, statistical word-level alignment, word formation rules, rule learning, web-based MT, translation divergences, example-based MT, data-driven MT, classification, contextual...

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.
The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.

PRIMA 2008 was the 11th in a series of conferences gathering researchers - voted to developing intelligent agents and multi-agent technologies from Asia and the Paci?c regions. From its ?rst incarnation over a decade ago, PRIMA has emerged as a signi?cant international forum, facilitating the exchange and dissemination of innovative research from around the globe. PRIMA 2008 was held in Vietnam, a tribute to this country's emerging s- enti?c vitality and importance as a developing innovation center. The Program Committee received 56 submissions from 20 countries. Many of these papers are the...

uncertain. Examples include weather forecasts or gambling odds. Canonical methods for representing and integrating such information are necessaryforcommunicating it ina seamlessfashion.

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were carefully reviewed and selected from 16 initial submissions. The papers address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and...

The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen, ithasbecomeamajordeclarativespeci?cationandimplemen- tion language for constraint-based algorithms and applications. In recent years, the ?ve Workshops on Constraint Handling Rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume of Lecture Notes in Ariti?cial Intelligence was to attract high-quality research papers on these recent advances in CHR. The 8...

This book presents 10 chapters on various aspects of intelligent information agents contributed by members of the respective AgentLink special interest group.

The papers are organized in three parts on agent-based information systems, adaptive information agents, and coordination of information agents. Also included are a comprehensive introduction and surveys for each of the three parts.

The European Conference on Machine Learning (ECML) and the European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) were jointly organized this year for the ?fth time in a row, after some years of mutual independence before. After Freiburg (2001), Helsinki (2002), Cavtat (2003) and Pisa (2004), Porto received the 16th edition of ECML and the 9th PKDD in October 3-7. Having the two conferences together seems to be working well: 585 di?erent paper submissions were received for both events, which maintains the high s- mission standard of last year. Of these, 335...