WorldCat Identities

Hasle, Per F. V.

Overview
Works: 21 works in 74 publications in 3 languages and 1,212 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 234 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 227 WorldCat member libraries worldwide

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

9 editions published in 2010 in English and held by 33 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( )

5 editions published in 2008 in English and held by 19 WorldCat member libraries worldwide

Mass terms and plurals: from linguistic theory to natural language processing : an investigation into two linguistic theories and their potential for computational mechanisation by Per F. V Hasle( Book )

6 editions published in 1988 in English and held by 11 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 by Per F. V Hasle( Book )

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

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

2 editions published in 2006 in English 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

From a logical angle( Book )

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

Mass terms and plurals : From linguistic theory to natural language processing by Per F. V Hasle( Book )

1 edition published in 1988 in English and held by 2 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 )

1 edition published in 1988 in Multiple languages and held by 2 WorldCat member libraries worldwide

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

in Multiple languages and held by 1 WorldCat member library worldwide

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

in Multiple languages and held by 1 WorldCat member library worldwide

Arbejdspapir. Telling truth or time( )

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

Logikprogrammering og formel analyse af naturligt sprog( Book )

1 edition published in 1989 in Undetermined 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

Life and work of Arthur N. Prior : an interview with Mary Prior by Per F. V Hasle( Book )

1 edition published in 1998 in Danish 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

This e-book contains three sections. The first contains papers on persuasive technology, the second, papers on plagarism technology, and the final section, papers on library technology issues. Topical and innovative research is explored in all sections, covering persuasive design in library information systems, personalization in library databases, the evaluation of cheating detection methods, plagarism software analysis and the use of technology in libraries
 
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 0.97 for Life and w ...)

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 : proceedingsPersuasive technology 5th International Conference on Persuasive Technology, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010 : proceedings