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…
"This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universid…
Conference proceedings presenting the state-of-the-art in Logic Programming.
Electrical engineering is a protean profession. Today the field embraces many disciplines that seem far removed from its roots in the telegraph, telephone, electric lamps, motors, and generators. To a remarkable extent, this chronicle of change and growth at a single institution is a capsule history of the discipline and profession of electrical engineering as it developed worldwide. Even when …
"A Bradford book."An overview of neurotechnology, the engineering of robots based on animals and animal behavior.The goal of neurotechnology is to confer the performance advantages of animal systems on robotic machines. Biomimetic robots differ from traditional robots in that they are agile, relatively cheap, and able to deal with real-world environments. The engineering of these robots require…
Neural networks usually work adequately on small problems but can run into trouble when they are scaled up to problems involving large amounts of input data. Circuit Complexity and Neural Networks addresses the important question of how well neural networks scale - that is, how fast the computation time and number of neurons grow as the problem size increases. It surveys recent research in circ…
Entertaining, concise, and relentlessly probing, City of Bits is a comprehensive introduction to a new type of city, an increasingly important system of virtual spaces interconnected by the information superhighway. William Mitchell makes extensive use of practical examples and illustrations in a technically well-grounded yet accessible examination of architecture and urbanism in the context of…
The Closed World offers a radically new alternative to the canonical histories of computers and cognitive science. Arguing that we can make sense of computers as tools only when we simultaneously grasp their roles as metaphors and political icons, Paul Edwards shows how Cold War social and cultural contexts shaped emerging computer technology--and were transformed, in turn, by information machi…