Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Member of:


    1. 1988
    2. Appendices A - D: Appendices to Mass Terms and Plurals.

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

      Research output: Book/ReportPh.D. thesisResearch

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

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

      Research output: Book/ReportPh.D. thesisResearch

    4. 1989
    5. Brugervejledning til prototypeprogrammet TAnal

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

      Research output: Book/ReportBookEducation

    6. Reasoning About Plural Entities in a Temporal Logic

      Hasle, Per Frederik Vilhelm, 1989, In: Natural and Formal Languages. S.7

      Research output: Contribution to journalJournal articleResearchpeer-review

    7. 1991
    8. Brugervejledning til prototypeprogrammet Tanal

      Hasle, Per Frederik Vilhelm, 1991, In: Naturlige og formelle sprog.

      Research output: Contribution to journalJournal articleResearchpeer-review

    9. 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. (eds.). North Holland, Dordrecht, p. 92-110

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    10. Logic Grammars: Some Methodological Aspects

      Hasle, Per Frederik Vilhelm, 1991, In: Natural and Formal Languages.

      Research output: Contribution to journalJournal articleResearchpeer-review

    11. Logic Grammars in Linguistic Description

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    12. Medieval Logic and Natural Language Understanding

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    13. 1992
    14. Counterfactuals and Branching Time in Automated Text Analysis

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    15. 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 p.

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    16. 1993
    17. 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. (eds.). p. 104-127

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    18. Peirce og Montague

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    19. The Idea of Branching Time

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    20. 1994
    21. Program Semiosis

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    22. 1995
    23. Otto Jespersen and Hans Reichenbach as Precursors of Modern Tense Logic: an Abstract

      Hasle, Per Frederik Vilhelm & Øhrstrøm, P., 1995, Abstracts from the 10th International Conference of Logic, Methodology, and Philosophy of Science. p. 1

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    24. 1997
    25. 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. (ed.). Kluwer Academic Publishers, p. 323–344

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    26. 1998
    27. System udvikling: Logos eller Mythos

      Hasle, Per Frederik Vilhelm & Braüner, T., 1998, In: Rhetorica Scandinavica. 6, p. 33-45

      Research output: Contribution to journalJournal articleResearchpeer-review

    28. Systemudvikling – logos eller mythos?

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

      Research output: Contribution to journalJournal articleResearch

    29. 1999
    30. 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. (ed.). Acta Jutlandica. Aarhus University Press, p. 139-159

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    31. 2000
    32. 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.) (ed.).

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    33. 2002
    34. Truth, Time and Mythos in Cicero, St. Paul and St. Jerome

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    35. 2003
    36. Appendices 1: Life and Work of Arthur N. Prior: An Interview with Mary Prior

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    37. Bibliography of A.N. Prior's Writings

      Hasle, Per Frederik Vilhelm, 2003, Second Revised and Extended Edition of Arthur N. Prior: Papers on Time and Tense. Hasle, Per; et al. (editors) (ed.). Oxford University Press

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    38. Changes in Events and Changes in Things [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    39. Contemplation and Action [annoteret udgave af Arthur N. Priors artikel[

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    40. Egocentric Logic [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    41. Fugitive Truth [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    42. Identifiable Individuals [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    43. Introduction

      Hasle, Per Frederik Vilhelm & al.:, E., 2003, Second Revised and Extended Edition of Arthur N. Prior: Papers on Time and Tense. Hasle, Per : et al. (editors) (ed.). Oxford University Press

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    44. Introduction to Bibliography of A. N. Prior's Writings

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

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    45. Life and Work of Arthur N. Prior: An Interview with Mary Prior

      Hasle, Per Frederik Vilhelm, 2003, Second Revised and Extended Edition of Arthur N. Prior: Papers on Time and Tense. Hasle, Per et al. (editors) (ed.). Oxford University Press, p. 342

      Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

    46. Limited Indeterminism [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    47. Modal Logic and the Logic of Applicability [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    48. Now [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    49. On Spurious Egocentricity [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    50. Preface

      Hasle, Per Frederik Vilhelm, 2003, Interpreting Spinoza’s Arguments. Toward a Formal Theory of Consistent Language Scepticism, Imitating Ethica. Nielsen, Karsten Hvidtfelt (ed.). New York : Mellen Press: Edwin Mellen Press, p. 280

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    51. Quasi-Propositions and Quasi Individuals [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    52. 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. (eds.). Oxford: Oxford University Press

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    53. Second Revised and Extended Edition of Arthur N. Prior: Papers on Time and Tense

      Hasle, Per Frederik Vilhelm, Øhrstrøm, P., Braüner, T. & Copeland, J., 2003, Arthur N. Prior: Papers on Time and Tense ( New Edition ). Hasle,Per : Øhrstrøm, Peter : Braüner, Torben : Copeland, Jack (eds.) (ed.). London: Oxford University Press, p. 350

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    54. Software som tekst. En fortolkende anmeldelse

      Hasle, Per Frederik Vilhelm, 2003, Impact - Inger Lytje in memoriam. Schärfe, Henrik (ed.). Aalborg: Aalborg Universitetsforlag

      Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

    55. Sprog, tid og logik

      Braüner, T. & Hasle, Per Frederik Vilhelm, 2003, Sprog og matematik. Henrichsen, Peter Juel; Prebensen, Henrik (red.) (ed.). Kbh.: Djøf Forlag, p. 84-101

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    56. Stratified Metric Tense Logic [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    57. Tense Logic and the Logic of Earlier and Later [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    58. Tense-Logic for Non-Permanent Existents [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    59. Tensed Propositions as Predicates [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    60. The Consequences of Actions [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    61. The Formalities of Omniscience [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    62. The Logic of Ending Time [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    63. Time, Existence and Identity [annoteret udgave af Arthur N. Priors artikel]

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

      Research output: Chapter in Book/Report/Conference proceedingCommentResearch

    Previous 1 2 3 Next

    ID: 43863200