David Jakobsen

View Scopus Profile

David Jakobsen

Associate Professor

 https://orcid.org/0000-0001-9607-2508

  • Rendsburggade 14, 5-265

    9000 Aalborg

    Denmark

20112024

Research activity per year

Filter
Article in proceeding

Search results

  • 2024

    Exploring Learning in Basic Logic Using Stored Log Data and Exam Data

    Jakobsen, D., Thorvaldsen, S. & Øhrstrøm, P., 2024, Innovative Technologies and Learning - 7th International Conference, ICITL 2024, Proceedings. Cheng, Y-P., Pedaste, M., Bardone, E. & Huang, Y-M. (eds.). Springer Science+Business Media, p. 109-119 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14785 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 2023

    Formal, Measurable Ontologies for Worldviews

    Jakobsen, D. & Graf, S. J., 1 Jan 2023, Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation - 1st International Workshop, MOVE 2020, Revised Selected Papers. Polovina, R., Polovina, S. & Kemp, N. (eds.). 1 ed. Springer, Vol. 1. p. 86-97 12 p. (Communications in Computer and Information Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Fulfilling Russell’s Wish: A.N. Prior and the Resurgence of Philosophical Theology

    Jakobsen, D., 28 Feb 2023, Organon F. 1 ed. Slovakia: Filozofický ústav SAV, Vol. 30. p. 32-52 21 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    25 Downloads (Pure)

  • Learning Analytics Based on Streamed Log Data from a Course in Logic

    Øhrstrøm, P., Thorvaldsen, S. & Jakobsen, D., 1 Aug 2023, Innovative Technologies and Learning - 6th International Conference, ICITL 2023, Proceedings: ICITL 2023. Huang, Y-M. & Rocha, T. (eds.). Springer, p. 430-440 11 p. (Lecture Notes in Computer Science, Vol. 14099).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
  • 2021

    The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown

    Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T. & Jakobsen, D., 2021, Innovative Technologies and Learning - 4th International Conference, ICITL 2021, Proceedings: 4th International Conference, ICITL 2021 Virtual Event, November 29 – December 1, 2021 Proceedings. Huang, Y-M., Lai, C-F. & Rocha, T. (eds.). Springer, Vol. LNCS 13117. p. 121-130 10 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    104 Downloads (Pure)
  • 2020

    The Use of E-learning Tools and Log Data in a Course on Basic Logic

    Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T. & Jakobsen, D., 2020, Innovative Technologies and Learning - Third International Conference, ICITL 2020, Proceedings. Huang, T-C., Wu, T-T., Barroso, J., Sandnes, F. E., Martins, P. & Huang, Y-M. (eds.). Springer, p. 610-620 11 p. (Lecture Notes in Computer Science, Vol. 12555).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    57 Downloads (Pure)
  • 2017

    In Celebration of Past, Present and Future

    Jakobsen, D., Øhrstrøm, P. & Hasle, P., 2017, Logic and Philosophy of Time: Themes from Prior. Aalborg: Aalborg Universitetsforlag, p. 9-27 19 p. (Logic and Philosophy of Time, Vol. 1).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • The Prior-von Wright Debate on Anselm's Argument for the Existence of God

    Jakobsen, D. & Øhrstrøm, P., 2017, On the Human Condition: Philosophical Essays in Honour of the Centennial Anniversary of Georg Henrik von Wright. Societas Philosophica Fennica, Vol. 93. p. 255-267 13 p. (Acta Philosophica Fennica).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic

    Jakobsen, D., 2017, Logic and Philosophy of Time: Themes from Prior. Aalborg Universitetsforlag, p. 63-82 19 p. (Logic and Philosophy of Time, Vol. 1).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
  • 2016

    Conceptual and Metaphysical Origins and Relevance of Temporal Logic

    Jakobsen, D. & Øhrstrøm, P., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. Dyreson, C., Hansen, M. R. & Hunsberger, L. (eds.). IEEE, p. 167-176 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • The Interpretation of Branching Time Diagrams

    Jakobsen, D. & Øhrstrøm, P., 2016, Graph-Based Representation and Reasoning. Haemmerlé, O., Stapleton, G. & Zucker, C. F. (eds.). Springer, p. 31-39 9 p. (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Vol. 9717).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review