Bücher der Reihe Lecture Notes in Artificial Intelligence

This volume contains the papers selected for presentation at the 1st Conference onModelingDecisionsforArti?cialIntelligence(MDAI2004),heldinBarcelona, Catalonia, August 2-4, 2004. The aim of this conference was to provide a forum for researchers to discuss models for information fusion (aggregation operators) and decision, to examine computational methods and criteria for model selection and determination, and to stimulate their application in new contexts. Fifty-three papers were submitted to the conference, from 19 di?erent co- tries. Each submitted paper was reviewed by at least two experts on the basis of technical soundness, originality, signi?cance and clarity. Based on the review reports, 26 papers were accepted for publication in this volume. Additionally, this volume contains the plenary talks given at the conference. We would like to express our gratitude to the members of the program c- mittee as well as to all reviewers for their work. We thank Alfred Hofmann, from Springer-Verlag,who supported the publication of these proceedings in the LNAI series. The conference was supported by the Catalan Association for Arti?cial Intelligence (ACIA), the European Society for Fuzzy Logic and Technology (EUSFLAT), the Japan Society for Fuzzy Theory and Intelligent Informatics (SOFT), the IEEESpanish Chapter,the Spanish Council for Scienti?c Research (CSIC) and the Generalitat de Catalunya (AGAUR 2002XT 00111).

The interdisciplinary topic of anticipation is an often misunderstood matter of research. This book attempts to establish anticipation as a research topic and encourage further research and development work.

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions.

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. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book.

they are presented in sections on theoretical aspects of fuzzy reasoning and fuzzy control, fuzzy neural networks, fuzzy control applications, fuzzy logic planning, and fuzzy circuits.

This monograph coherently presents a series of research results on concurrent production systems recently contributed by the author and several co-authors. Before going into the details of concurrent production systems the performance of a single system is discussed.

This text presents selected papers from the fifth European Workshop on Modelling Autonomous Agents in a Multi-Agent World held in August 1993. The emergence of global properties and sociality, and multi-agent planning are some of the topics discussed here.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Gesture-Based Human-Computer Interaction and Simulation, GW 2007, held in Lisbon, Portugal, in May 2007. The papers are organized in topical sections on analysis and synthesis of gesture;

This book constitutes the thoroughly refereed post-conferenceproceedings of the COST Action 2102 and euCognition supported international school on Multimodal Signals: 'Cognitive and Algorithmic Issues' held in Vietri sul Mare, Italy, in April 2008.

Decision making about the selection of information from the incoming sensory stream - in tune with contextual processing on a current task and an agent's global objectives - becomes a further challenging issue in attentional control.

This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Wurzburg, Germany, during October 4-6, 2007.

This book constitutes the thoroughly refereed postproceedings of the 9th International Workshop on Multi-Agent-based Simulation, MABS 2008, held in Estoril, Portugal, in May 2008. they present state-of-the-art research results in agent-based simulation and modeling. The papers are organized in topical sections on simulation of economic behaviour;

Research on multi-agent systems has provided a promising technology for implementing cognitive intelligent non-playing characters. The focus of the workshop was on the particular challenges facing those using agent technology for games and simulations, with topics covering the technical, conceptual and design aspects of the field.

Artificial Intelligence (AI) is a rapidly growing inter-disciplinary field with a long and distinguished history that involves many countries and considerably pre-dates the development of computers.

This book includes the thoroughly refereed post-conference proceedings of the 13th RoboCup International Symposium, held in Graz, Austria, in June/July, 2009. They cover scientific contributions to a variety of research areas related to all RoboCup divisions.

This survey provides an introduction to computational approaches to the discovery of communicable scientific knowledge and details recent advances.

This volume and its companion volume LNAI 4441 constitute a state-of-the-art survey in the field of speaker classification. The nineteen contributions in this volume are organized into topical sections covering fundamentals, characteristics, applications, methods, and evaluation.

Constitutes the first three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2005, 2006, and 2007. This title presents 22 papers that are versions of selected workshops papers as well as invited contributions from leading experts in the field and closely related areas.

It is devoted to exploring the relationships between acoustics, human information processing, and culture as well as to methodological issues raised by the widespread use of computers as a powerful tool for theory construction, theory testing, and the manipulation of musical information or any kind of data manipulation related to music.

The 13 revised papers are organized in topical sections on multimodal human-computer interfaces, neuropsychology and neurocomputing, Chinese-German natural language processing and psycholinguistics, as well as information processing and retrieval from the semantic Web for intelligent applications.

This book constitutes the proceedings of the 21st International Conference on Conceptual Structures, ICCS 2014, held in Iasi, Romania, in July 2014.

The Text, Speech and Dialogue (TSD) Conference 2002, it should be noticed, is now being held for the ?fth time and we are pleased to observe that in its short history it has turned out to be an international forum successfully intertwining the basic ?elds of NLP.

Constitutes the refereed proceedings of the 10th Conference on Artificial Intelligence in Medicine in Europe, AIME 2005, held in Aberdeen, UK in July 2005. The papers in this book are organized in topical sections on temporal representation and reasoning, decision support systems, clinical guidelines and protocols, visual mining and more.

The refereed proceedings of the 9th International Conference on User Modeling, UM 2003, held in Johnstown, PA, USA in June 2003. The 20 revised full papers and 28 revised poster papers presented together with 12 abstracts were carefully reviewed and selected from 106 submissions.

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of Oriental Languages, ICCPOL 2006, held in Singapore in December 2006, co-located with ISCSLP 2006, the 5th International Symposium on Chinese Spoken Language Processing.

This volume contains the papers prepared for the 2nd International Conference on Natural Language Processing, held 2-4 June in Patras, Greece.

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006.

This book constitutes the refereed proceedings of the 11th International Workshop on Cooperative Information Agents, CIA 2007, held in Delft, The Netherlands, September 2007. The 19 revised full papers presented together with four invited papers were carefully reviewed and selected from 38 submissions.