| A systematic framework for designing and evaluating persuasive systems H Oinas-Kukkonen, M Harjumaa Persuasive Technology: Third International Conference, PERSUASIVE 2008, Oulu …, 2008 | 572 | 2008 |
| Temporal logic: From ancient ideas to artificial intelligence P Øhrstrøm, P Hasle Springer Science & Business Media, 2007 | 388 | 2007 |
| Papers on time and tense AN Prior, PFV Hasle OUP Oxford, 2003 | 300 | 2003 |
| Future contingents P Øhrstrøm, P Hasle | 123 | 2011 |
| Stanford encyclopedia of philosophy F Logic Bryant University 23, 2006 | 104 | 2006 |
| AN Prior's rediscovery of tense logic P Øhrstrøm, P Hasle Erkenntnis (1975-) 39 (1), 23-50, 1993 | 53 | 1993 |
| Surveillance, persuasion, and panopticon J Leth Jespersen, A Albrechtslund, P Øhrstrøm, P Hasle, J Albretsen Persuasive Technology: Second International Conference on Persuasive …, 2007 | 42 | 2007 |
| Natural Language Understanding and Logic Programming, III: Proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm … CG Brown, G Koch North Holland, 1991 | 37* | 1991 |
| Machine semiosis PB Andersen, P Hasle, PA Brandt Semiotik/Semiotics-Ein Handbuch zu den zeichentheoretischen Grundlagen von …, 1997 | 35 | 1997 |
| Determinism and the origins of temporal logic T Braüner, P Hasle, P Øhstrøm Advances in temporal logic, 185-206, 2000 | 33 | 2000 |
| Classical rhetoric and a limit to persuasion AK Kjær Christensen, PFV Hasle Persuasive Technology: Second International Conference on Persuasive …, 2007 | 30 | 2007 |
| The persuasive expansion–Rhetoric, information architecture, and conceptual structure PFV Hasle International Conference on Conceptual Structures, 2-21, 2006 | 27 | 2006 |
| Temporal Logic: From Ancient Ideas to Artificial Intelligence Peter¢ hrstr2m, PFV Hasle Kluwer Academic Publishers, 1995 | 27 | 1995 |
| Ockhamistic logics and true futures of counterfactual moments T Brauner, P Hasle, P Ohrstrom Proceedings. Fifth International Workshop on Temporal Representation and …, 1998 | 26* | 1998 |
| AN Prior's logic P Øhrstrøm, P Hasle Handbook of the History of Logic 7, 399-446, 2006 | 25 | 2006 |
| Modern temporal logic: The philosophical background P Øhrstrøm, P Hasle Handbook of the History of Logic 7, 447-498, 2006 | 20 | 2006 |
| The problem of predestination: as a prelude to AN Prior’s tense logic PFV Hasle Synthese 188 (3), 331-347, 2012 | 18 | 2012 |
| Logic and the Modalities in the Twentieth Century DM Gabbay, J Woods Elsevier, 2006 | 17 | 2006 |
| Building a temporal logic for natural language understanding with the HOL-system PFV Hasle Natural Language Understanding and Logic Programming, 92-110, 1991 | 14 | 1991 |
| Persuasive Technology: Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008, Proceedings H Oinas-Kukkonen, P Hasle, M Harjumaa, K Segerståhl, P Øhrstrøm Springer, 2008 | 13 | 2008 |
Peter ØhrstrømAalborg UniversityVerified email at hum.aau.dk
