Knowledge in Action: Logical Foundations for Specifying and Implementing Dyna…

Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment …

Logic Programming: The 12th International Conference

"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 …

"Language and Space "

Edition

1

ISBN/ISSN

9780262268806

Collation

-

Series Title

-

Call Number

-

"Learning in Embedded Systems "

It is the first detailed exploration of the problem of learning action strategies in the context of designing embedded systems that adapt their behavior to a complex, changing environment; such systems include mobile robots, factory process controllers, and long-term software databases.Learning to perform complex action strategies is an important problem in the fields of artificial intelligence…

Text, ConText, and HyperText: Writing with and for the Computer

Includes index."Edward Barrett is a Lecturer in the Writing Program at MIT.""Text, ConText, and HyperText is included in the Information Systems series, edited by Michael Lesk.""Text, ConText, and HyperText presents recent developments in three related and important areas of technical communication: the design of effective documentation; the impact of new technology and research on technical wr…

The Embodied Mind : Cognitive Science and Human Experience

A new edition of a classic work that originated the "embodied cognition" movement and was one of the first to link science and Buddhist practices.OCLC-licensed vendor bibliographic record.

Life Support: The Environment and Human Health

A solutions-oriented examination of the connections between environmental degradation and human health.Life Support brings together the best medical information available on the implications for human health of the global environmental crisis. Written by prominent physicians and public health experts who see environmental degradation as a serious threat to public health, it provides essential i…

Logic Programming: The 1997 International Symposium

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 …

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…

Theory and Evidence: The Development of Scientific Reasoning

A Bradford book."In Theory and Evidence Barbara Koslowski, long acknowledged for her empirical work in the field of cognitive-developmental research, brings into sharp focus the ways in which the standard literature both distorts and under-estimates the reasoning abilities of ordinary people. She provides the basis of a new research program for a more complete characterization of scientific rea…