Arthur N. Prior, Peter Øhrstrom, Per Hasle, David Jakobsen, Max Cresswell
(Ilmumisaeg: 11-Sep-2025, Hardback, Kirjastus: Oxford University Press, ISBN-13: 9780198937265)
Past, Present and Future, first published in 1867, is the magnum opus of Arthur Norman Prior (1914-1969). Prior was the founding father of tense-logic: Past, Present, and Future presents his tense-logic as a powerful and pr...Loe edasi...
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...Loe edasi...
Sari: Information Systems and Applications, incl. Internet/Web, and HCI
(Ilmumisaeg: 01-Jun-2010, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642132254)
Lecture Notes in Computer ScienceThe LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D commu...Loe edasi...
Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 27-May-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540685005)
This book constitutes the refereed proceedings of the Third International Conference on Persuasive Technology, PERSUASIVE 2008, held in Oulu, Finland, in June 2008.The 17 revised full papers and 12 revised short papers presented together with 3 keyno...Loe edasi...
Traces the thinking about the nature and behavior of time through ancient and medieval philosophy to its demise during the Renaissance. Then describes the modern resurrection of temporal logic under the ministrations of A. N. Prior and others, and it...Loe edasi...
