This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which made Prior's writings difficult for many readers has been replaced by standard logical notation....

This book constitutes the proceedings of the 5th International Conference on Persuasive Technology, PERSUASIVE 2010, held in Copenhagen Denmark in June 2010. The 25 papers presented were carefully reviewed and selected from 80 submissions. In addition three keynote papers are included in this volume. The topics covered are emotions and user experience, ambient persuasive systems, persuasive design, persuasion profiles, designing for health, psychology of persuasion, embodied and conversational agents, economic incentives, and future directions for persuasive technology.

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language.
Temporal Logic: From Ancient Ideas to Artificial...