WorldCat Identities

Hasle, Per F. V.

Overview
Works: 19 works in 80 publications in 3 languages and 1,308 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author
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( Book )

18 editions published between 1995 and 2011 in English and held by 247 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
Papers on time and tense by A. N Prior( Book )

16 editions published between 2002 and 2010 in English and held by 236 WorldCat member libraries worldwide

Persuasive technology : 5th international conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010 : proceedings by Thomas Ploug( Book )

11 editions published in 2010 in English and held by 34 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
Persuasive technology : third international conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008 : proceedings by Harri Oinas-Kukkonen( )

6 editions published in 2008 in English and held by 13 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
Foundations of Temporal Logic - The WWW-site for Prior-studies : a case-study of using multimedia for the presentation of professional knowledge by Per F. V Hasle( Book )

2 editions published in 2000 in Danish and 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 by Per F. V Hasle( Book )

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

Telling truth or time : Cicero, St. Paul and St. Jerome : an essay in therelation between a Rhetorical and an early Christian conception of truth and communication by Per F. V Hasle( Book )

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

The logic of time and modality( Book )

2 editions published in 2006 in English and held by 3 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

From a logical angle : some studies in A.N. Prior's ideas on time, discourse, and metaphysics( Book )

2 editions published in 2012 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 held by 1 WorldCat member library worldwide

Logikprogrammering og formel analyse af naturligt sprog( Book )

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

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

in Multiple languages and held by 1 WorldCat member library worldwide

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

in Multiple languages and held by 1 WorldCat member library worldwide

A logic teaching system with particular respect to the logic of collectives by Per F. V Hasle( Book )

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

Persuasive technology and plagiarism technology( )

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

Persuasive Technology : 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010. Proceedings( )

1 edition published in 2010 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.49 (from 0.39 for Temporal l ... to 1.00 for Persuasive ...)

Temporal logic : from ancient ideas to artificial intelligence
Alternative Names
Hasle, Per.

Hasle, Per F.

Languages
Covers
Papers on time and tensePersuasive technology : 5th international conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010 : proceedingsPersuasive technology : third international conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008 : proceedings