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
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
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
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
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
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
)
9 editions published in 1988 in English and held by 17 WorldCat member libraries worldwide
9 editions published in 1988 in English and held by 17 WorldCat member libraries worldwide
Persuasive technology and plagiarism technology(
)
1 edition published in 2011 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 2011 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(
Book
)
2 editions published in 1999 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1999 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
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
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
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
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
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
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
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
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
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
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
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
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
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
more
fewer
Audience Level
| 0 |
 |
1 | ||
| Kids | General | Special | ||
Related Identities
- Øhrstrøm, Peter Contributor Author Editor
- Oinas-Kukkonen, Harri Author Editor
- Ploug, Thomas Author Editor
- Prior, A. N. (Arthur N.) 1914-1969 Author
- Øhrstrøm, Peter Editor
- Segerståhl, Katarina Editor
- Harjumaa, Marja Editor
- Aarhus Universitet Center for Kulturforskning
- International Conference on Persuasive Technology for Human Well-Being
- Prior, Mary
Associated Subjects
Application software Artificial intelligence Computational linguistics Computer networks Computers, Special purpose Computer science Data mining Education Grammar, Comparative and general--Mass nouns Grammar, Comparative and general--Number Health promotion Health promotion--Computer programs Human-computer interaction Information science Information storage and retrieval systems Information theory Libraries--Automation Library science--Technological innovations Linguistics Logic Logic, Symbolic and mathematical Modality (Logic) Persuasion (Psychology) Science--Philosophy Signal processing Social sciences--Data processing Software engineering Tense (Logic) Time Time--Philosophy User interfaces (Computer systems)
