This book constitutes the refereed proceedings of the 14th International Conference on Formal Grammar 2009, held in Bordeaux, France, in July 2009. The 13 revised full papers presented, including two
This book includes the thoroughly refereed post-conference proceedings of the 13th RoboCup International Symposium, held in Graz, Austria, in June/July, 2009 - representing the core meeting for presen
This book constitutes the refereed proceedings of the 11th International Conference on Discovery Science, DS 2008, held in Budapest, Hungary, in October 2008, co-located with the 19th International Co
This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009) held during 14-18 September in Potsdam. The special theme of LPNM
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Trust in Agent Societies, TRUST 2008, held in Estoril, Portugal, in the context of AAMAS 2
These two volumes constitute the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008.The 265 revised
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 20
This book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Learning Theory, ALT 2008, held in Budapest, Hungary, in October?2008, co-located with the 11th Inter
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ADMA 2008, held in Chengdu, China, in October 2008.The 35 revised full pape
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008. The 19 regular papers and 22 short pap
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.The 27 revised full papers together with 17 r
The three volume set LNAI 5177, LNAI 5178, and LNAI 5179, constitutes the refereed proceedings of the 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems,
This state-of-the-art survey comprises a selection of the material presented at the International Dagstuhl Seminar on Annotating, Extracting and Reasoning about Time and Events, held in Dagstuhl Castl
This book constitutes the refereed proceedings of the International Workshop on Pattern Recognition in Bioinformatics, PRIB 2007, held in Singapore in October 2007. The 38 revised full papers presente
This book presents a comprehensive approach to the versatile and fascinating field of carbohydrate chemistry. It covers, besides the colorful historical perspective within the utilization of carbohydr
This book adopts a detailed and methodological algorithmic approach to explain the concepts of pattern recognition. While the text provides a systematic account of its major topics such as pattern rep
This book offers a self-sufficient treatment of a key tool, game theory and mechanism design, to model, analyze, and solve centralized as well as decentralized design problems involving multiple auton
This volume contains essays that explore explicit and implicit communication through linguistic research. Taking as a framework Paul Grice’s theories on “what is said,” the contributors explore a numb
De se statements are emphatic assertions in which speakers make fundamental claims about either themselves or others. In English, they are usually conveyed via “I” statements or third person reflexive
Vibration and Noise are two interrelated terms in the field of mechanical engineering. Vibration is caused by unbalanced inertial forces and moments whereas noise is the result of such vibrations.Nois
In this book, Almerindo E. Ojeda offers a unique perspective on linguistics by discussing developing computer programs that will assign particular sounds to particular meanings and, conversely, partic
PMThis volume deals with the regularity theory for elliptic systems. We may find the origin of such a theory in two of the problems posed by David Hilbert in his celebrated lecture delivered during th
The philosopher Patrick Suppes has developed a unique and influential approach to studying the foundations of science—he combines an understanding of the main principles of scientific theories in axio
For many of us, the presidential election of 2000 was a wake-up call. The controversy following the vote count led to demands for election reform. But the new voting systems that were subsequently int
Donald E. Knuth’s seminal publications, such as Selected Papers on Fun and Games and Selected Paper on the Design of Algorithms, have earned him a loyal following among scholars and computer scientist
Donald E. Knuth’s seminal publications, such as Selected Papers on Fun and Games and Selected Paper on the Design of Algorithms, have earned him a loyal following among scholars and computer scientist
This book offers a long-awaited unified and precise treatise on construction-based grammar. The approach to grammar presented here is the union of Berkeley Construction Grammar, as represented by the
This book is a French translation of seventeen papers by Donald Knuth on algorithms both in the field of analysis of algorithms and in the design of new algorithms. They cover fundamental concepts and
The 1969 publication of Brent Berlin and Paul Kay's Basic Color Terms proved explosive and controversial. Contrary to the then-popular doctrine of random language variation, Berlin and Kay's multiling
Donald E. Knuth’s influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT systems for desktop publ
The twenty-five papers in this volume present current analyses of a variety of data and, more significantly, illustrate the various analytical tools available to linguists in the quest for deeper comp
These lecture notes originate from a course delivered at the Scuola Normale in Pisa in 2006. Generally speaking, the prerequisites do not go beyond basic mathematical material and are accessible to ma
Since 1980, methods for recursive evaluation of aggregate claims distributions have received extensive attention in the actuarial literature.This book gives a unified survey of the theory and is inten
Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a unif
This volume broadens our concept of reasoning and rationality to allow for a more pluralistic and situational view of human thinking as a practical activity. Drawing on contributors across disciplines
What does linguistic diversity tell us about the human mind? In the comprehensive volume Diversity in Language, a renowned team of contributors assess the intricacies of linguistic variation. From his
In this volume, Maria Cerezo examines Wittgenstein's Tractatus Logico-Philosophicus as a response to some of Frege's and Russel's logical problems. In analyzing the tractarian conditions for the possi
