Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Medlem af:

    ORCID: 0000-0002-2622-2547

    Udgivelsesår:
    Alle
    1 - 50 ud af 109Pr. side: 50
    Sortering: 1. forfatter

    1. The Idea of Branching Time

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1993, Time and Cognition. Øhrstrøm, Peter (red.) (red.). Roskilde Universitetsforlag, s. 100-113 (Topics in Cognitive Science and HCI; Nr. 1).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    2. Recent Advances in Tense Logic [annoteret udgave af Arthur N. Priors artikel]

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm, Braüner, T. & Copeland, J., 2003, Papers on Time and Tense. Hasle, P., Øhrstrøm, P., Braüner, T. & Copeland, J. (red.). Oxford: Oxford University Press

      Publikation: Bidrag til bog/antologi/rapport › Kommentar › Forskning

    3. Udgivet

      On Prior's Frist Things in Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2014, First things in Logic. Aalborg: Aalborg University Press, s. 4-5 2 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Formidling

    4. Time in Philosophical Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2009, Encyclopedia of Database Systems. Springer, s. 3107-3111 5 s.

      Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning

    5. Medieval Logic and Natural Language Understanding

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1991, Natural Language Understanding and Logic Programming. North Holland, Dordrecht, s. 75-91 17 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    6. Determinism and the Origins of Temporal Logic

      Øhrstrøm, P., Braüner, T. & Hasle, Per Frederik Vilhelm, 2000, Advances in Temporal Logic. Barring, H. ...[et al.] (eds.) (red.).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    7. Reasoning about Plural Entities in a Temporal Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2011, AAU, Aalborg. 7 s. (Natural and Formal Languages, Bind 16).

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

    8. Udgivet

      Preface

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Sandborg-Petersen, U., 1 okt. 2012, 2 s.

      Publikation: Andet › Andet bidrag › Forskning

    9. Logical Models of Causal and Temporal reasoning

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Pedersen, S. A., 1992, Simulations, Evaluations and Models: MOHAWC: Esprit Basic Research Action 3105. Risø National Laboratory, Roskilde, 19 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    10. A.N. Prior's Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, The Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (red.). Pergamon Press, Bind 7. s. 399-446

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    11. Modern Temporal Logic: The Philosophical Background

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (red.). Pergamon Press, Bind 7. s. 447-498

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    12. Udgivet

      Arthur Prior: Logic

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Jakobsen, D., 2018, I: Internet Encyclopedia of Philosophy.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    13. The Flow of Time into Logic: and Computer Science

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2004, Bulletin of the European Association for Theoretical Computer Science. s. 191-226 (EATCS; Nr. 82).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    14. Time in Philosophical Logic

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2008, Temporal Database Entries for the Springer Encyclopedia of Database Systems. Jensen, C. S. & Snodgrass, R. T. (red.). Aalborg: Time Center: http://www.cs.aau.dk/TimeCenter, s. 287-292 6 s. (TimeCenter Technical Report).

      Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning

    15. Udgivet

      The Concept of Information in Library and Information Science: A field in search of its boundaries: 8 short comments concerning information

      Thellefsen, T. L. (red.), Thellefsen, Martin Muderspach (red.), Sørensen, B. (red.), Floridi, L., Brier, S., Sørensen, B., Thellefsen, Martin Muderspach, Thellefsen, T. L., Dervin, B., Herold, K., Hasle, Per Frederik Vilhelm & Buckland, M., 2015, I: Cybernetics & Human Knowing - A Journal of Second Order Cybernetics, Autopoiesis and Cyber-Semiotics. 22, 1, s. 57-80 23 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

    16. Udgivet

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

      Ploug, T. (red.), Hasle, Per Frederik Vilhelm (red.) & Oinas-Kukkonen, H. (red.), 2010, Berlin: Springer. 299 s. (Lecture notes in computer science).

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

    17. Udgivet

      The History and Philosophy of Tense-logic: Logic and Philosophy of Time: Themes from Prior

      Jakobsen, D. (red.), Hasle, Per Frederik Vilhelm (red.) & Øhrstrøm, P. (red.), 2023, Aalborg Universitetsforlag. 329 s. (Logic and Philosophy of Time: Themes from Prior; Nr. 1, Bind 5).

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

    18. Secondary literature on Prior

      Hasle, Per Frederik Vilhelm, 2004, I: www.kommunikation.aau.dk/prior.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    19. Brugervejledning til prototypeprogrammet TAnal

      Hasle, Per Frederik Vilhelm, 1989, Aalborg Universitetsforlag. 46 s. (Natural and Formal Languages Project; Nr. 11).

      Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

    20. Logic Grammars in Linguistic Description

      Hasle, Per Frederik Vilhelm, 1991, Contrastive Linguistics. Lauridsen, K. M. & Lauridsen, O. (red.). Aarhus School of Business, s. 105-143

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    21. Peirce og Montague

      Hasle, Per Frederik Vilhelm, 1993, Tegn & Data: en semiotisk tilgang til humanistisk datalogi. Jensen, J. F., Lytje, I. & Øhrstrøm, P. (red.). Aalborg Universitetsforlag, s. 75-97

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    22. Counterfactuals and Branching Time in Automated Text Analysis

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 1992, Computational Approaches to Text Understanding. Copenhagen: Museum Tusculanum, s. 13-27

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    23. The Founder of Modern Temporal Logic: A.N. Prior (1914-1969)

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 2004, I: www.kommunikation.aau.dk/prior.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    24. Program Semiosis

      Hasle, Per Frederik Vilhelm, 1994, Logic, Knowledge and Meaning. Lytje, I. (red.). s. 101-125 (Topics in Cognitive Science and HCI).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    25. Logica Temporale

      Hasle, Per Frederik Vilhelm, 2006, Enciclopedia Filosofica de Gallarate. Casa Editrice Bompiani, s. 6735-6744

      Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning

    26. Boxes - Introduction

      Hasle, Per Frederik Vilhelm, 2004, I: http://www.kommunikation.aau.dk/prior/index2.htm.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    27. Informationsarkitektur i retorisk perspektiv

      Hasle, Per Frederik Vilhelm, 2006, I: DF Revy. 29, 2, s. 22-25

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    28. Linguistic and Tense-Logical Considerations on the Generality of a Three-Point Structure of Tenses

      Hasle, Per Frederik Vilhelm, 1997, Perspectives on Time. Faye et al., J. (red.). Kluwer Academic Publishers, s. 323–344

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    29. Life of Arthur N. Prior, 1914-1969: A Brief Overview

      Hasle, Per Frederik Vilhelm, 2004, I: www.kommunikation.aau.dk/prior.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    30. Systemudvikling – logos eller mythos?

      Hasle, Per Frederik Vilhelm & Braüner, T., 1998, I: Rhetorica Scandinavica. 2, 6, s. 30–45

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    31. Building a Temporal Logic for Natural Language Understanding with the HOL-system

      Hasle, Per Frederik Vilhelm, 1991, Natural Language Understanding and Logic Programming. Brown, C. & Kock, G. (red.). North Holland, Dordrecht, s. 92-110

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    32. The Problem of Predestination – a Prelude to A. N. Prior's Tense Logic

      Hasle, Per Frederik Vilhelm, 1999, Time, Creation and World-Order. Wegener, M. (red.). Acta Jutlandica. Aarhus University Press, s. 139-159

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    33. Mass Terms and Plurals: From Linguistic Theory to Natural Language Processing.

      Hasle, Per Frederik Vilhelm, 1988, University of Cambridge Computer Laboratory. 171 s. (Technical Report; Nr. 137).

      Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

    34. Appendices A - D: Appendices to Mass Terms and Plurals.

      Hasle, Per Frederik Vilhelm, 1988, University of Cambridge Computer Laboratory.

      Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

    35. Persuasive Design

      Hasle, Per Frederik Vilhelm & Christensen, A. K., 2008, Handbook of Research on Computer-Mediated Communication.. Kelsey, S. & St. Amant, K. (red.). IGI global, s. 447-498 51 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    36. Truth, Time and Mythos in Cicero, St. Paul and St. Jerome

      Hasle, Per Frederik Vilhelm, 2002, Time, Reality and Transcendence. Øhrstrøm, P. (red.). s. 161-192

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    37. A brief Historiy of the Prior Archive in the Bodleian Library

      Hasle, Per Frederik Vilhelm, 2004, I: www.kommunikation.aau.dk/prior.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    38. Logic Grammar and the Triadic Sign Relation

      Hasle, Per Frederik Vilhelm, 1993, The Computer as Medium. Bøgh Andersen, P., Holmqvist, B. & Jensen, J. F. (red.). s. 104-127

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    39. Udgivet

      Prior’s paradigm for the study of time and its methodological motivation

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., nov. 2016, I: Synthese. 193, 11, s. 3401-3416 16 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    40. Udgivet

      Logic and Philosophy of Time: Themes from Prior

      Hasle, Per Frederik Vilhelm (red.), Blackburn, P. R. (red.) & Øhrstrøm, P. (red.), 2018, Logic and philosophy of time: Themes from Prior. Aalborg Universitetsforlag, Bind 1. (Logic and Philosophy of Time, Bind vol 1).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    41. Udgivet

      Digital Research Infrastructure for Prior-Studies and Temporal Logic

      Hasle, Per Frederik Vilhelm, Jakobsen, D. & Øhrstrøm, P., 2018

      Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › fagfællebedømt

    42. Udgivet

      Prior Studies: A Research Site for Prior Studies and Temporal Logic

      Hasle, Per Frederik Vilhelm, Øhrstrøm, P. & Jakobsen, D., 2023

      Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning

    43. Udgivet

      The Beginnings of Hybrid Logic: Meredith, Prior and the Contingent Constant n

      Hasle, Per Frederik Vilhelm, 2020, Logic and Philosophy of Time: Themes from Prior. Aalborg Universitetsforlag, Bind IV. s. 145-165 20 s. (Logic and Philosophy of Time, Bind IV).

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    44. Afsendt

      Information as Representation or as Rhetoric

      Hasle, Per Frederik Vilhelm, 2017, (Afsendt) I: Cybernetics & Human Knowing - A Journal of Second Order Cybernetics, Autopoiesis and Cyber-Semiotics.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    45. Udgivet

      The problem of predestination: as a prelude to A. N. Prior's tense logic

      Hasle, Per Frederik Vilhelm, 1 okt. 2012, I: Synthese. 188, 3, s. 331-347 16 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    46. Udgivet

      A.N. Prior and Saul Kripke’s development of the idea of branching time

      Hasle, Per Frederik Vilhelm, Øhrstrøm, P. & Jakobsen, D., 2022

      Publikation: Andet › Udgivelser på nettet - Net-publikation › Formidling

    47. Udgivet

      A.N. Prior and the argument from divine foreknowledge to the denial of human freedom of choice

      Hasle, Per Frederik Vilhelm, Øhrstrøm, P. & Jakobsen, D., 2022

      Publikation: Andet › Udgivelser på nettet - Net-publikation › Formidling

    48. Udgivet

      TIME, PREDESTINATION AND FREEWILL: A line of development in the thought of Arthur Prior

      Hasle, Per Frederik Vilhelm, 3 mar. 2018. 1 s.

      Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

    49. Udgivet

      Prior’s turn from determinism to indeterminism

      Hasle, Per Frederik Vilhelm & Jakobsen, D., 2023, I: Logic and Philosophy of Time: Themes from Prior. 5, 1, 21 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    50. Udgivet

      IVA har styrket det digitale felt

      Hasle, Per Frederik Vilhelm, 2015, I: Perspektiv. 3, s. 32 1 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

    Forrige 1 2 3 Næste

    ID: 43863200