"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 programming and the Internet."--BOOK JACKET.
"Historians of philosophy, science, and mathematics explore the influence of Kant's philosophy on the evolution of modern scientific thought."--Jacket.
"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 …
"In this book environmentalist and lawyer William Shutkin describes a new kind of environmental and social activism spreading across the nation, one that joins the pursuit of environmental quality with that of civic health and sustainable local economies. In the face of challenges posed by often corrosive market forces and widespread social disaffection, this civic environmentalism is creating …
"Charles Bazerman tells the story of the emergence of electric light as a story of symbols and communication. He examines how Edison and his colleagues represented light and power to themselves and to others as the technology was transformed from an idea to a daily fact of life. He looks at the rhetoric used to create meaning and value for the emergent technology in the laboratory, in patent of…
Annotation