Logics in Artificial Intelligence

European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

Author: Jose Julio Alferes,Luis Moniz Pereira,Eva Orlowska

Publisher: Springer


Category: Artificial intelligence

Page: 417

View: 8407


This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency.

Evolving Knowledge Bases

Specification and Semantics

Author: João Alexandre Leite

Publisher: IOS Press

ISBN: 9781586032784

Category: Business & Economics

Page: 307

View: 2045


Annotation This Fermi Summer School of Physics on "Experimental Quantum Information and Computing" represents a primer on one of the most intriguing and rapidly expanding new areas of physics. In this part, the interest in quantum information (QI) science is due to the discovery that a computer operating on quantum mechanical principles can solve certain important computational problems exponentially faster than any conceivable classical computer. But this interest is also due to the interdisciplinary nature of the field: the rapid growth is attributable, in part, to the stimulating confluence of researchers and ideas from physics, chemistry, mathematics, information theory, and computer science. Physics plays a paramount role in QI science, as we realize that computing is itself a physical process subject to physical laws. The incredible growth of classical computers and information processors in the 20th century stems from Turing's notion that a computer is independent of the physical device actually being used; be they relays, vacuum tubes, or semiconductor transistors. As we strive to build useful quantum information processors into the 21st century, we thus look for any physical system that obeys the laws of quantum mechanics, from single photons and atoms to quantum superconducting devices. These Fermi lectures take us on a journey through these and other promising current experimental candidates for QI processing, spanning quantum optics and laser physics, atomic and molecular physics, physical chemistry, and condensed-matter physics. While this broad coverage of experimental physics represents a challenge to the student, such an appreciation of these fields will be critical in the future success of quantum technology. Indeed, the most exciting feature of QI science is that the technology ultimately leading to a quantum processor is likely presently unknown.

Books in Print

Author: R.R. Bowker Company

Publisher: N.A


Category: American literature

Page: N.A

View: 6580


Books in print is the major source of information on books currently published and in print in the United States. The database provides the record of forthcoming books, books in-print, and books out-of-print.