Argument Selectors

Capitalizing on the by now widely accepted idea of the construction-specific and language-specific nature of grammatical relations, the editors of the volume developed a modern framework for systematically capturing all sorts of variations in grammatical relations. The central concepts of this framework are the notions of argument role and its referential properties, argument selector, as well as various conditions on argument selections. The contributors of the volume applied this framework in their descriptions of grammatical relations in individual languages and discussed its limitations and advantages. This resulted in a coherent description of grammatical relations in thirteen genealogically and geographically diverse languages based on original and extensive fieldwork on under-described languages. The volume presents a far more detailed picture of the diversity of argument selectors and effects of predicates, referential properties of arguments, as well as of various clausal conditions on grammatical relations than previously published grammatical descriptions.

A guide to principles and methods for the management, archiving, sharing, and citing of linguistic research data, especially digital data. "Doing language science" depends on collecting, transcribing, annotating, analyzing, storing, and sharing linguistic research data. This volume offers a guide to linguistic data management, engaging with current trends toward the transformation of linguistics into a more data-driven and reproducible scientific endeavor. It offers both principles and methods, presenting the conceptual foundations of linguistic data management and a series of case studies, each of which demonstrates a concrete application of abstract principles in a current practice. In part 1, contributors bring together knowledge from information science, archiving, and data stewardship relevant to linguistic data management. Topics covered include implementation principles, archiving data, finding and using datasets, and the valuation of time and effort involved in data management. Part 2 presents snapshots of practices across various subfields, with each chapter presenting a unique data management project with generalizable guidance for researchers. The Open Handbook of Linguistic Data Management is an essential addition to the toolkit of every linguist, guiding researchers toward making their data FAIR: Findable, Accessible, Interoperable, and Reusable.

A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving. This book considers some first-order calculus that defines how theorems from given hypotheses by pure syntactic reasoning are obtained, shifting all the semantic and implicit argumentation to the syntactic and explicit level of formal first-order reasoning. This text discusses the efficiency of many-sorted reasoning, formal preliminaries for the RP- and ?RP-calculus, and many-sorted term rewriting and unification. The completeness and soundness of the ?RP-calculus, sort theorem, and automated theorem prover for the ?RP-calculus are also elaborated. This publication is a good source for students and researchers interested in many-sorted calculus.

This uniquely authoritative and comprehensive handbook is the first to cover the vast field of formal languages, as well as its traditional and most recent applications to such diverse areas as linguistics, developmental biology, computer graphics, cryptology, molecular genetics, and programming languages. No other work comes even close to the scope of this one. The editors are extremely well-known theoretical computer scientists, and each individual topic is presented by the leading authorities in the particular field. The maturity of the field makes it possible to include a historical perspective in many presentations. The work is divided into three volumes, which may be purchased as a set.

Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to artificial intelligence and the mathematical theory of computation. Papers cover the logical approach to artificial intelligence; knowledge representation and common sense reasoning; automated deduction; logic programming; nonmonotonic reasoning and circumscription. One paper suggests that the design of parallel programming languages will invariably become more sophisticated as human skill in programming and software developments improves to attain faster running programs. An example of metaprogramming to systems concerns the design and control of operations of factory devices, such as robots and numerically controlled machine tools. Metaprogramming involves two design aspects: that of the activity of a single device and that of the interaction with other devices. One paper cites the application of artificial intelligence pertaining to the project "proof checker for first-order logic" at the Stanford Artificial Intelligence Laboratory. Another paper explains why the bisection algorithm widely used in computer science does not work. This book can prove valuable to engineers and researchers of electrical, computer, and mechanical engineering, as well as, for computer programmers and designers of industrial processes.

Die grammatische Kategorie eingebetteter Sätze zählt seit über 50 Jahren zu den zentralen Themen der theoretischen Syntax. Dabei dreht sich die Diskussion speziell um die Frage, ob manche oder vielleicht alle eingebetteten Sätze als Nominalphrasen zu behandeln sind, sei es, weil sie einen (stummen) nominalen Kopf haben (D oder N), oder sei es, weil der Satzeinleiter selbst als nominal zu betrachten ist. Die Beiträge des Sonderhefts nehmen diese Fragestellung erneut auf und explorieren sie unter verschiedenen, syntaktischen wie semantischen Aspekten im Lichte neuerer theoretischer Ansätze. Das Spektrum an Sprachen, die genauer untersucht oder argumentativ für die Zwecke der Analyse herangezogen werden, umfasst neben Deutsch – einschließlich dialektaler Varietäten wie Bairisch und Alemannisch – Englisch, Niederländisch (einschließlich der Brabanter Varietät), Alt- und Neugriechisch, Jula (Niger-Kongo), Schwedisch, Baskisch sowie eine Reihe anderer genetisch und typologisch unterschiedlicher Sprachen. Inhalt: – Katrin Axel-Tober, Lutz Gunkel, Jutta M. Hartmann & Anke Holler: Introduction Part I: Complementation as relativization – Carlos de Cuba: Relatively nouny? – Gisela Zifonun: Sind Komplementsätze nominal? Positionen der Grammatikschreibung Part II: Complement clauses and nominal structure – Richard Faure: (H)óti-clauses from DP to NPhood. The life of a Greek nouny clause – Kalle Müller: On noun-related complementizer clauses – Alassane Kiemtoré: A syntactic account of clausal complementation in Jula Part III: Semantic aspects – Vesela Simeonova: Definitely factive – Jürgen Pafel: (Argument) clauses and definite descriptions – Patrick Brandt: The real semantic value is propositional: German particle verbs and state change Part IV: Aspects based on dependent verb-second – Andreas Blümel & Nobu Goto: Reconsidering the syntax of correlates and propositional arguments – Frank Sode: On the conditional nature of V2-clauses in desire reports of German

Pro JavaScript with MooTools is unlike any other JavaScript book on the market today. While similar books focus on either JavaScript as a language of the browser or how to use JavaScript frameworks, Pro JavaScript with MooTools fills the gap between these topics and moves beyond—exploring the advanced features of JavaScript and how the MooTools framework uses these features to further improve the language itself. The book itself takes a unique three-pronged approach. It first walks you through the advanced features of JavaScript and the MooTools framework, including native augmentation and type creation, a comprehensive discussion of JavaScript functions, object-oriented programming with native JavaScript and MooTools Classes, and the MooTools Class internals. You’ll then learn all about Javascript in the DOM: the Elements classes and its internals, the MooTools Event system, Selector engines and MooTools Slick, Ajax and the Request Object, and animation and the Fx classes. The final section really sets the book apart from all others, as it discusses JavaScript outside the browsers. You’ll take an in-depth look at CommonJS and MooTools, using MooTools outside the browser to build ORM, creating simple CommonJS applications via the MooTools Deck framework, and creating complex server-side applications using Raccoon.