|
Showing 1 - 4 of
4 matches in All Departments
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 Intelligence thus interweaves linguistic, philosophical
and computational aspects into an informative and inspiring whole.
|
Persuasive Technology - Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008, Proceedings (Paperback, 2008 ed.)
Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerstahl, Peter Ohrstrom
|
R1,584
Discovery Miles 15 840
|
Ships in 10 - 15 working days
|
Until recently, mostsoftwareapplications and
technologiesweredeveloped wi- out much thought to how they
in?uenced their users. This perspective is cha- ing.Today,
industryexpertsandacademicsareembracingapurposefulapproach to
persuasive design. In an industry context, designing for persuasion
is bec- ingessentialforsuccess.Inacademicsettings,
thestudyofpersuasivetechnology illuminates the principles that
in?uence and motivate people in di?erent aspects of their lives.
Persuasive technology is rapidly growing into a major discipline,
sometimes referred to as captology or the study of computers as
persuasive technologies. The previous Persuasive conferences held
in Eindhoven (2006) and Stanford (2007) were infused with an
energetic spirit and a large attendance, including representatives
from both academia and industry. Persuasive 2008, hosted in Oulu,
Finland in early June, was jointly or- nized by the University of
Oulu, Finland and Aalborg University, Denmark. The northern
location of Oulu, only some two hours away from the Arctic Circle,
o?ers sunlight 24 hours a day, allowing conference participants to
experience the midnight sun. This three-day conference placed
persuasive technology on a ?rm scienti?c footing with an emphasis
on social, psychological, rhetorical and ethical issues. Featuring
full and short papers, posters and panels, Persuasive2008
highlighted new knowledge in the understanding and design of
persuasive technology. The event brought together researchers,
practitioners, and industry professionals - terested in this
important new ?eld. Research themes of the conference included
motivationaltechnology, persuasivegames, smartenvironments, Web2.0,
mobile persuasion, well-being and health behavior. In addition,
attendees and part- ipants explored the theory and ethics of
persuasive technology, social and - ganizational issues, business
models for persuasive systems, and conceptual and theoretical appro
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 Intelligence thus interweaves linguistic, philosophical
and computational aspects into an informative and inspiring whole.
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 new edition will secure the classic status of the book.
|
You may like...
Morbius
Jared Leto, Matt Smith, …
DVD
R179
Discovery Miles 1 790
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|