Filter by
Logic programming :proceedings of the Fourteenth International Conference on …
"July 8-12, 1997, Leuven, Belgium"--Page 4 of cover."The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programm…
- Edition
- -
- ISBN/ISSN
- 0262291355
- Collation
- 1 online resource (xvii, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the twelfth International Conference on Log…
"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 …
- Edition
- -
- ISBN/ISSN
- 9780262291439
- Collation
- 1 online resource (xx, 834 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The logic of political survival
The authors of this ambitious book address a fundamental political question: why are leaders who produce peace and prosperity turned out of office while those who preside over corruption, war, and misery endure? Considering this political puzzle, they also answer the related economic question of why some countries experience successful economic development and others do not. The authors constru…
- Edition
- -
- ISBN/ISSN
- 9780262269520
- Collation
- 1 online resource (xiii, 536 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic as grammar
"A Bradford book."How is the meaning of natural language interpreted? Taking as its point of departure the logical problem of natural language acquisition, this book elaborates a theory of meaning based on syntactical rather than semantical processes. Hornstein argues that the traditional neoFregean approach taken by Davidson, Barwise and Perry, and Montague, among others--an approach that make…
- Edition
- -
- ISBN/ISSN
- 0262081377
- Collation
- 1 online resource (x, 176 pages)
- Series Title
- -
- Call Number
- -
Logic and information flow
"The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system. The logic of information flow has applications in both computer science and natural language processi…
- Edition
- -
- ISBN/ISSN
- 0585358451
- Collation
- 1 online resource (233 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1997 International Symposium
Symposium held Oct. 13-16, 1997.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 c…
- Edition
- -
- ISBN/ISSN
- 9780262291323
- Collation
- 1 online resource (xvi, 425 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The LOCUS distributed system architecture
"Computer systems consisting of many machines will be the norm within a few years. However, making a collection of machines appear as a single, coherent system - in which the location of files, servers, programs, or users is invisible to users who do not wish to know - is a very difficult problem. LOCUS, a distributed version of the popular operating system Unix, provides an excellent solution.…
- Edition
- -
- ISBN/ISSN
- 0262288419
- Collation
- 1 online resource (xv, 148 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Living standards and the wealth of nations :successes and failures in real co…
A group of prominent international economists consider what makes for successful convergence--what policies and economic conditions help poor countries catch up to the living standards of rich countries.The question of convergence, or under what conditions the per capita income levels of developing countries can catch up to those found in advanced economies, is critical for understanding econom…
- Edition
- -
- ISBN/ISSN
- 9780262267618
- Collation
- 1 online resource (vi, 434 pages) :illustrations
- Series Title
- -
- Call Number
- -
The linguistic turn in hermeneutic philosophy
Annotation The linguistic turn in German philosophy was initiated in the eighteenth century in the work of Johann Georg Hamann, Johann Gottfried von Herder, and Wilhelm von Humboldt. It was further developed in this century by Martin Heidegger, and Hans-Georg Gadamer extended its influence to contemporary philosophers such as Karl-Otto Apel and J?Habermas. This tradition focuses on the world-di…
- Edition
- -
- ISBN/ISSN
- 0585190097
- Collation
- 1 online resource (xviii, 377 pages).
- Series Title
- -
- Call Number
- -
Lingua ex machina :reconciling Darwin and Chomsky with the human brain
"A Bradford book.""A proper lingua ex machina would be a language machine capable of nesting phrases and clauses inside one another, complete with evolutionary pedigree. Such circuitry for structured thought might also facilitate creative shaping up of quality (figuring out what to do with the leftovers in the refrigerator), contingency planning, procedural games, logic, and even music. And enh…
- Edition
- -
- ISBN/ISSN
- 9780262316132
- Collation
- 1 online resource (298 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography