Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes t…
"A comprehensive, neurally based theory of language function that draws on principles of neuroanatomy, cognitive psychology, cognitive neuropsychology, psycholinguistics, and parallel distributed processing."--Provided by publisher.OCLC-licensed vendor bibliographic record.
The introduction of a mathematical and computational framework within which to analyze the interplay between language learning and language evolution.OCLC-licensed vendor bibliographic record.
In this book Hilda Koopman and Anna Szabolcsi propose a unified analysis of restructuring constructions in Hungarian, Dutch, and German that involves only overt phrasal movement and derives variation from the varying sizes of pied piping constituents.Restructuring verbs in Hungarian exhibit three patterns: the will begin up-climb and the up will begin climb orders common in Dutch and the up-cli…
"Language allows us to express and comprehend an unbounded number of thoughts. This fundamental and much-celebrated property is made possible by a division of labor between a large inventory of stored items (e.g., affixes, words, idioms) and a computational system that productively combines these stored units on the fly to create a potentially unlimited array of new expressions. A language lear…
Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area. Constraint-based theories of grammar and grammar formalisms are becoming an increasingly widespread area of research in computational linguistics. Constraint-Based Grammar Formalisms provides the first rigorous mathematical and computational basis for this important area…
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
"A Bradford book."An investigation into the beliefs speakers have about language-their de lingua beliefs-that examines the genesis of these beliefs and the central explanatory role they play in the use and understanding of language.OCLC-licensed vendor bibliographic record.
A consideration of the distinction between the spatiotemporal furniture of the world (tokens) and the types of which they are instances, and an argument that types exist. There is a widely recognized but infrequently discussed distinction between the spatiotemporal furniture of the world (tokens) and the types of which they are instances. Words come in both types and tokens—for example, th…
OCLC-licensed vendor bibliographic record.