This book argues that the narrowing focus of the global history of ideas on narratives in historical research, philosophy and political theory neglects the fact that the central concepts of the history of political ideas are articulated in the language of law. Key figures of the history of ideas, like Kant, Hegel and Weber, engaged deeply with the philosophy and sociology of law. This monograph…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
The Bantu languages are in some sense remarkably uniform (SVO basic word order, noun classes, verbal morphology), but this extensive language family also show a wealth of morphosyntactic variation. Two core areas in which such variation is attested are subject and object agreement. The book explores the variation in Bantu subject and object marking on the basis of data from 75 Bantu languages, …
This open access book presents a comprehensive collection of the European Language Equality (ELE) project’s results, its strategic agenda and roadmap with key recommendations to the European Union on how to achieve digital language equality in Europe by 2030. The fabric of the EU linguistic landscape comprises 24 official languages and over 60 regional and minority languages. However, languag…
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and com…
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…
The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party…
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 proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…