Peter Øhrstrøm

59 papers B 7C 3Misc 16Journal 14Unranked 13

Year	Rank	Type	Title / Venue / Authors
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
2019	J	`jnl`	A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom. Synth. Peter Øhrstrøm
2019	—	`conf`	Teaching Propositional and Syllogistic Logic Using E-learning Tools. ICITL Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug
2018	—	`ch.`	Time in Philosophical Logic. Encyclopedia of Database Systems (2nd ed.) Peter Øhrstrøm, Per F. V. Hasle
2017	J	`jnl`	Teaching Basic Ideas in Logic Using E-learning Tools. EAI Endorsed Trans. e Learn. Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug
2016	C	`conf`	Conceptual and Metaphysical Origins and Relevance of Temporal Logic. TIME David Jakobsen, Peter Øhrstrøm
2016	—	`conf`	Designing a New Tool for E-learning in Syllogistics. CSTIW@ICCS Peter Øhrstrøm, Ulrik Sandborg-Petersen
2016	—	`conf`	Investigating Worldviews with Protégé. CSTIW@ICCS Thomas Bro Wormslev Jakobsen, David Jakobsen, Peter Øhrstrøm
2016	J	`jnl`	Preface. Synth. Jørgen Albretsen, Per F. V. Hasle, Peter Øhrstrøm
2016	J	`jnl`	Prior's paradigm for the study of time and its methodological motivation. Synth. Per F. V. Hasle, Peter Øhrstrøm
2016	—	`conf`	Teaching Syllogistics Using E-learning Tools. eLEOT Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug
2016	Misc	`conf`	The Interpretation of Branching Time Diagrams. ICCS David Jakobsen, Peter Øhrstrøm
2015	J	`jnl`	Issues in robot ethics seen through the lens of a moral Turing test. J. Inf. Commun. Ethics Soc. Anne Gerdes, Peter Øhrstrøm
2015	B	`conf`	Teaching Syllogistics Through Gamification and Interactive Proofs. EC-TEL Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug
2014	Misc	`conf`	Teaching Syllogistics Using Conceptual Graphs. ICCS Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug
2013	Misc	`conf`	Classical Syllogisms in Logic Teaching. ICCS Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug
2013	B	`conf`	From Geocaching to Mobile Persuasive Learning - Motivating the Interest in the Life and Work of Danish Author Kaj Munk. EC-TEL Lasse Burri Gram-Hansen, Sandra Burri Gram-Hansen, Peter Øhrstrøm
2013	J	`jnl`	Persuasive Design in Teaching and Learning. Int. J. Concept. Struct. Smart Appl. Reinhold Behringer, Peter Øhrstrøm
2013	B	`conf`	Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. EC-TEL Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug
2012	J	`jnl`	Branching time, indeterminism and tense logic - Unveiling the Prior-Kripke letters. Synth. Thomas Ploug, Peter Øhrstrøm
2012	B	`conf`	Developing Persuasive Technology for ASD Challenged Teenagers. PERSUASIVE Morten Aagaard, Peter Øhrstrøm
2012	J	`jnl`	From a logical angle - Some studies in A.N. Prior's ideas on time, discourse and metaphysics. Synth. Peter Øhrstrøm, Per F. V. Hasle
2012	—	`ch.`	Persuasive Mobile Technology Developed for Young People with an Autism Diagnosis. Touching the Future Technology for Autism? Peter Øhrstrøm
2012	J	`jnl`	Preface. Synth. Peter Øhrstrøm, Per F. V. Hasle, Ulrik Sandborg-Petersen
2012	J	`jnl`	Prior's defence of Hintikka's theorem. A discussion of Prior's 'The logic of obligation and the obligations of the logician'. Synth. Peter Øhrstrøm, Jörg Zeller, Ulrik Sandborg-Petersen
2012	J	`jnl`	Time and knowledge - Some reflections on Prior's analysis of the paradox of the prisoner. Synth. Peter Øhrstrøm, Lasse Burri Gram-Hansen, Ulrik Sandborg-Petersen
2011	Misc	`conf`	A.N. Prior's Ideas on Tensed Ontology. ICCS David Jakobsen, Peter Øhrstrøm, Henrik Schärfe
2011	J	`jnl`	The Role of Credibility In the Design of Mobile Solutions To Enhance the Social Skill-Set of Teenagers Diagnosed with Autism. J. Inf. Commun. Ethics Soc. Anne Gerdes, Peter Øhrstrøm
2010	Misc	`conf`	Branching Time as a Conceptual Structure. ICCS Peter Øhrstrøm, Henrik Schärfe, Thomas Ploug
2010	—	`conf`	Towards a Common Language for the Discussion of Time Based on Prior's Tense Logic. COST TD0904 International Workshop Peter Øhrstrøm
2009	C	`conf`	Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. ICFCA Peter Øhrstrøm
2009	—	`ch.`	Time in Philosophical Logic. Encyclopedia of Database Systems Peter Øhrstrøm, Per F. V. Hasle
2009	B	`conf`	Towards a handy interactive persuasive diary for teenagers with a diagnosis of autism. PERSUASIVE Anja Meiland Ranfelt, Tony Wigram, Peter Øhrstrøm
2008	Misc	`conf`	Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles. ICCS Peter Øhrstrøm, Henrik Schärfe, Sara L. Uckelman
2008	B	`ed.`	Persuasive Technology, Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings PERSUASIVE Harri Oinas-Kukkonen, Per F. V. Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm
2007	Misc	`conf`	Historical and Conceptual Foundation of Diagrammatical Ontology. ICCS Peter Øhrstrøm, Sara L. Uckelman, Henrik Schärfe
2007	B	`conf`	Surveillance, Persuasion, and Panopticon. PERSUASIVE Julie Leth Jespersen, Anders Albrechtslund, Peter Øhrstrøm, Per F. V. Hasle, Jørgen Albretsen
2006	—	`ch.`	A.N. Prior's logic. Logic and the Modalities in the Twentieth Century Peter Øhrstrøm, Per F. V. Hasle
2006	Misc	`ed.`	Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings ICCS Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm
2006	—	`ch.`	Modern temporal logic: The philosophical background. Logic and the Modalities in the Twentieth Century Peter Øhrstrøm, Per F. V. Hasle
2006	J	`jnl`	Preface. Synth. Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
2005	Misc	`conf`	What Has Happened to Ontology. ICCS Peter Øhrstrøm, Jan Andersen, Henrik Schärfe
2004	Misc	`conf`	A Priorean Approach to Time Ontologies. ICCS Peter Øhrstrøm, Henrik Schärfe
2004	J	`jnl`	The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science). Bull. EATCS Per F. V. Hasle, Peter Øhrstrøm
2003	Misc	`conf`	Representing Time and Modality in Narratives with Conceptual Graphs. ICCS Henrik Schärfe, Peter Øhrstrøm
2002	Misc	`conf`	On Teaching Conceptual Graphs. ICCS Henrik Schärfe, Ulrik Petersen, Peter Øhrstrøm
1999	Misc	`conf`	A Software System for Learning Peircean Graphs. ICCS Torben Braüner, Claus Donner, Peter Øhrstrøm
1999	Misc	`conf`	KARDIO - A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making. FLAIRS Søren Holm, Peter Øhrstrøm, Claus Donner
1998	C	`conf`	Ockhamistic Logics and True Futures of Counterfactual Moments. TIME Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
1997	Misc	`conf`	C. S. Pierce and the Quest for Gamma Graphs. ICCS Peter Øhrstrøm
1996	Misc	`conf`	Existential Graphs and Tense Logic. ICCS Peter Øhrstrøm
1995	—	`book`	Temporal logic - from ancient ideas to artificial intelligence. Peter Øhrstrøm, Per F. V. Hasle
1991	—	`conf`	Medieval Logic and Natural Language Understanding. Natural Language Understanding and Logic Programming Workshop Peter Øhrstrøm, Per F. V. Hasle
1986	—	`conf`	The Logic of Tensed Statements in English - An Application of Logic Programming. SLP Peter Øhrstrøm, Niels Aalborg