You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Controlled natural languages (CNLs) are based on natural language and apply restrictions on vocabulary, grammar, and/or semantics. They fall broadly into 3 groups. Some are designed to improve communication for non-native speakers of the respective natural language; in others, the restrictions are to facilitate the use of computers to analyze texts, for example, to improve computer-aided translation; and a third group of CNLs are designed to enable reliable automated reasoning and formal knowledge representation from seemingly natural texts. This book presents the 11 papers, selected from 14 submitted, and delivered at the sixth in the series of workshops on Controlled Natural Language, (CNL 2018), held in Maynooth, Ireland, in August 2018. The papers cover a full spectrum of controlled natural languages, ranging from human oriented to machine-processable controlled languages and from more theoretical results to interfaces, reasoning engines, and the real-life application of CNLs. The book will be of interest to all those working with controlled natural language, whatever their approach.
Like every other walk of modern life, the law has embraced digital technology, and is increasingly reliant on information systems for its efficient functioning. This book presents papers from the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017), held in Luxembourg City, Luxembourg, in December 2017. In the three decades since they began, the JURIX conferences have been held under the auspices of the Dutch Foundation for Legal Knowledge Based Systems, and have become a fully European conference series which addresses familiar topics and extends known techniques, as well as exploring newer topics such as question answering and the use of data mining and mac...
The Architecture of Landscape, 1940-1960 provides a groundbreaking collection of worldwide perspectives on a vital and underappreciated era of landscape architecture. It is also the first critical assessment of this period, with information and insight previously unavailable to English-language readers.
None
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables reasoning. The individual papers approach this challenge from various perspectives including programming languages, program verification, and the systematic variation of software. Topics covered include programming abstractions for concurrent and distributed software, specification and verification techniques for imperative programs, and development techniques for software product lines. With this book the editors and authors wish to acknowledge – on the occasion of his 60th birthday – the work of Arnd Poetzsch-Heffter, who has made maj...
Vols. 76 include Reference and data section for 1929 (1929- called Water works and sewerage data section)