This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions. They are organized in topical sections named: agent-based models, trust and reputation; coordination, coalitions and tea…
Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior …
“Language can be this incredibly forceful material—there’s something about it where if you can strip away its history, get to the materiality of it, it can rip into you like claws” (Hill in Vischer 1995, 11). This arresting image by media artist Gary Hill evokes the nearly physical force of language to hold recipients in its grip. That power seems to lie in the material of language itse…
Getting others to do things is a central part of social interaction in any human society. Language is our main tool for this purpose. In this book, we show that sequences of interaction in which one person’s behaviour solicits or occasions another’s assistance or collaboration share common structural properties that provide a basis for the systematic comparison of this domain across languag…
Nyakyusa is an underdescribed Bantu language spoken by around 800.000 speakers in the Mbeya Region of Tanzania. This book provides a detailled description of the verb in this language. The topics covered include the complex morphophonological and morphological processes as well as verb-to-verb derivation, copula verbs and grammaticalized verbs of motion. The main body of the book consists of a …
This grammar provides the first comprehensive grammatical description of Moloko, a Chadic language spoken by about 10,000 speakers in northern Cameroon. The grammar was developed from hours and years that the authors spent at friends’ houses hearing and recording stories, hours spent listening to the tapes and transcribing the stories, then translating them and studying the language through t…
This book is the first comprehensive monograph dedicated to Chakali, a Southwestern Grusi language spoken by less than 3500 people in northwest Ghana. The dictionary offers a consistent description of word meaning and provides the basis for future research in the linguistic area. It is also designed to provide an inventory of correspondence with English usage in a reversal index. The concepts u…