WorldCat Identities

Hasle, Per F. V.

Overview
Works: 27 works in 104 publications in 2 languages and 1,424 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, htt
Classifications: BC199.M6, 164.08
Publication Timeline
.
Most widely held works by Per F. V Hasle
Temporal logic : from ancient ideas to artificial intelligence by Peter Øhrstrøm( )

19 editions published between 1995 and 2011 in English and held by 587 WorldCat member libraries worldwide

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 : 5th international conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010 : proceedings by Thomas Ploug( )

17 editions published in 2010 in English and held by 466 WorldCat member libraries worldwide

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
Papers on time and tense by A. N Prior( Book )

18 editions published between 2002 and 2010 in English and held by 253 WorldCat member libraries worldwide

Persuasive technology : third international conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008 : proceedings by Harri Oinas-Kukkonen( )

10 editions published in 2008 in English and Undetermined and held by 63 WorldCat member libraries worldwide

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 keynote papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on social network systems, knowledge management, applications, conceptual frameworks, perspectives on persuasive technology, peer-to-peer and social networks, self-persuasion and timing, well-being applications, and theoretical considerations
Persuasive technology and plagiarism technology( )

1 edition published in 2011 in English and held by 3 WorldCat member libraries worldwide

Life and work of Arthur N. Prior : an interview with Mary Prior : given at Mary Prior's home in Oxford, Sunday 5th October 1997( Book )

2 editions published between 1988 and 1998 in Multiple languages and held by 3 WorldCat member libraries worldwide

Foundations of Temporal Logic - The WWW-site for Prior-studies : a case-study of using multimedia for the presentation of professional knowledge( Book )

1 edition published in 2000 in English and held by 2 WorldCat member libraries worldwide

Arbejdspapir. Life and work of Arthur N. Prior( )

in Multiple languages and held by 2 WorldCat member libraries worldwide

Temporal logic : from ancient ideas to artificial intelligence by Peter ℗Øhrstr{ostrok}m( )

1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide

The logic of time and modality by Conference on the logic of time and modality( Book )

3 editions published in 2006 in English and held by 2 WorldCat member libraries worldwide

Logikprogrammering og formel analyse af naturligt sprog( Book )

1 edition published in 1989 in Undetermined and held by 2 WorldCat member libraries worldwide

Prior's paradigm for the study of time and its methodological motivation by Per F. V Hasle( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Arbejdspapirer, grøn serie. Life and work of Arthur N. Prior( )

in Multiple languages and held by 2 WorldCat member libraries worldwide

Arbejdspapir. Telling truth or time( )

in Multiple languages and English and held by 2 WorldCat member libraries worldwide

Arbejdspapir. Foundations of Temporal Logic - The WWW-site for Prior-studies( )

in Multiple languages and English and held by 2 WorldCat member libraries worldwide

Arbejdspapirer, grøn serie. Telling truth or time( )

in Multiple languages and English and held by 2 WorldCat member libraries worldwide

Papers on time and sense by A. N Prior( Book )

1 edition published in 2003 in English and held by 1 WorldCat member library worldwide

Logic and Philosophy of Time: Volume 1 : Themes from Prior( )

1 edition published in 2017 in English and held by 1 WorldCat member library worldwide

Logic and Philosophy of Time A.N. Prior (1914-69) in the course of the 1950s and 1960s founded a new and revolutionary paradigm in philosophy and logic. Its most central feature is the preoccupation with time and the development of the logic of time. However, this was inseparably interwoven with fundamental questions about human freedom, ethics, and existence. This remarkable integration of themes also embodies an original and in fact revolutionary conception of logic. The book series, Logic and Philosophy of Time, is dedicated to a deep investigation and also the further development of Prior's paradigm
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.48 (from 0.38 for Prior's pa ... to 0.98 for Temporal l ...)

Temporal logic : from ancient ideas to artificial intelligence
Covers
Persuasive technology : 5th international conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010 : proceedingsPapers on time and tensePersuasive technology : third international conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008 : proceedingsPapers on time and sense
Alternative Names
Hasle, Per.

Hasle, Per F.

Languages