David Jakobsen

14 papers C 1Misc 2Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Reasoning with Generative AI.
FICC (1)
David Jakobsen
2025 — conf
Taking Socratic Learning Seriously: A Pilot Study on the Use of AI in a Basic Logic Course.
ICITL (2)
David Jakobsen, Steinar Thorvaldsen, Peter Øhrstrøm, Simon Pacis
2025 — conf
Teaching AI Textual Interpretation: A Catalyst for Enhanced Literary Skills.
ICITL (1)
Peter Øhrstrøm, David Jakobsen, Simon Pacis
2024 — conf
Exploring Learning in Basic Logic Using Stored Log Data and Exam Data.
ICITL (1)
David Jakobsen, Steinar Thorvaldsen, Peter Øhrstrøm
2023 — conf
Learning Analytics Based on Streamed Log Data from a Course in Logic.
ICITL
Peter Øhrstrøm, Steinar Thorvaldsen, David Jakobsen
2021 — conf
The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown.
ICITL
Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug, David Jakobsen
2020 — conf
The Use of E-learning Tools and Log Data in a Course on Basic Logic.
ICITL
Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug, David Jakobsen
2016 J jnl
An illusion close to life.
Synth.
David Jakobsen
2016 C conf
Conceptual and Metaphysical Origins and Relevance of Temporal Logic.
TIME
David Jakobsen, Peter Øhrstrøm
2016 — conf
Investigating Worldviews with Protégé.
CSTIW@ICCS
Thomas Bro Wormslev Jakobsen, David Jakobsen, Peter Øhrstrøm
2016 Misc conf
The Interpretation of Branching Time Diagrams.
ICCS
David Jakobsen, Peter Øhrstrøm
2012 J jnl
An introduction to 'faith, unbelief and evil'.
Synth.
David Jakobsen
2011 Misc conf
A.N. Prior's Ideas on Tensed Ontology.
ICCS
David Jakobsen, Peter Øhrstrøm, Henrik Schärfe
2010 — conf
A.N. Prior's Notion of the Present.
COST TD0904 International Workshop
David Jakobsen