"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The …
A Bradford book."The book is organized around parallel analyses of emotion and addiction in order to bring out similarities as well as differences. Elster's study sheds fresh light on the generation of human behavior, ultimately revealing how cognition, choice, and rationality are undermined by the physical processes that underlie strong emotions and cravings. This book will be of particular in…
A Bradford book."In this book, Alan Berger further develops the new theory of reference -- as formulated by Kripke and Putnam -- applying it in novel ways to many philosophical problems concerning reference and existence. Berger argues that his notion of anaphoric background condition and anaphoric links within a linguistic community are crucial not only to a theory of reference, but to the ana…
This highly original monograph treats movement operations within the Minimalist Program. Jairo Nunes argues that traces are not grammatical primitives and that their properties follow from deeper features of the system, and, in particular, that the phonetic realization of traces is determined by linearization computations coupled with economy conditions regarding deletion. He proposes a version…
The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and …
"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradig…
v
"The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its va…
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…