204 80 1MB
English Pages 232 Year 2000
Report DMCA / Copyright
DOWNLOAD DJVU FILE
One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; softwa
303 35 3MB Read more
The assumption that rewards and punishments influence our choices between different courses of action underlies economic
183 10 2MB Read more
How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for prof
133 39 8MB Read more
The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A
110 77 8MB Read more
318 25 23KB Read more
How liberal democracies in the late twentieth century have sought to resolve public concerns over charged issues in medi
157 81 2MB Read more
In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such a
356 112 688KB Read more
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies world
394 9 3MB Read more
Cambridge University Press, 2010, - 20 p. Complete preprint on-line at http://www.cs.cornell.edu/home/kleinber/networks-
309 20 870KB Read more
400 36 6MB Read more