Peter Øhrstrøm

According to our database, Peter Øhrstrøm authored at least 54 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

Peter Øhrstrøm, Steinar Thorvaldsen, David Jakobsen

Proceedings of the Innovative Technologies and Learning - 6th International Conference, 2023

2021

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

Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug, David Jakobsen

Proceedings of the Innovative Technologies and Learning - 4th International Conference, 2021

2020

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

Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug, David Jakobsen

Proceedings of the Innovative Technologies and Learning - Third International Conference, 2020

2019

A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom.

Peter Øhrstrøm

Synth., 2019

Teaching Propositional and Syllogistic Logic Using E-learning Tools.

Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug

Proceedings of the Innovative Technologies and Learning - Second International Conference, 2019

2018

Time in Philosophical Logic.

Peter Øhrstrøm, Per F. V. Hasle

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

2017

Teaching Basic Ideas in Logic Using E-learning Tools.

Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug

EAI Endorsed Trans. e Learn., 2017

2016

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

Per F. V. Hasle, Peter Øhrstrøm

Synth., 2016

Preface.

Jørgen Albretsen, Per F. V. Hasle, Peter Øhrstrøm

Synth., 2016

Conceptual and Metaphysical Origins and Relevance of Temporal Logic.

David Jakobsen, Peter Øhrstrøm

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Designing a New Tool for E-learning in Syllogistics.

Peter Øhrstrøm, Ulrik Sandborg-Petersen

Proceedings of the Fifth Conceptual Structures Tools & Interoperability Workshop (CSTIW 2016) held at the 22nd International Conference on Conceptual Structures (ICCS 2016), 2016

The Interpretation of Branching Time Diagrams.

David Jakobsen, Peter Øhrstrøm

Proceedings of the Graph-Based Representation and Reasoning, 2016

Investigating Worldviews with Protégé.

Thomas Bro Wormslev Jakobsen, David Jakobsen, Peter Øhrstrøm

Proceedings of the Fifth Conceptual Structures Tools & Interoperability Workshop (CSTIW 2016) held at the 22nd International Conference on Conceptual Structures (ICCS 2016), 2016

Teaching Syllogistics Using E-learning Tools.

Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug

Proceedings of the E-Learning, E-Education, and Online Training, 2016

2015

Issues in robot ethics seen through the lens of a moral Turing test.

Anne Gerdes, Peter Øhrstrøm

J. Inf. Commun. Ethics Soc., 2015

Teaching Syllogistics Through Gamification and Interactive Proofs.

Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug

Proceedings of the Design for Teaching and Learning in a Networked World, 2015

2014

Teaching Syllogistics Using Conceptual Graphs.

Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug

Proceedings of the Graph-Based Representation and Reasoning, 2014

2013

Persuasive Design in Teaching and Learning.

Reinhold Behringer, Peter Øhrstrøm

Int. J. Concept. Struct. Smart Appl., 2013

Classical Syllogisms in Logic Teaching.

Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug

Proceedings of the Conceptual Structures for STEM Research and Education, 2013

Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments.

Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug

Proceedings of the Scaling up Learning for Sustained Impact, 2013

From Geocaching to Mobile Persuasive Learning - Motivating the Interest in the Life and Work of Danish Author Kaj Munk.

Lasse Burri Gram-Hansen, Sandra Burri Gram-Hansen, Peter Øhrstrøm

Proceedings of the Scaling up Learning for Sustained Impact, 2013

2012

Persuasive Mobile Technology Developed for Young People with an Autism Diagnosis.

Peter Øhrstrøm

Proceedings of the Touching the Future Technology for Autism?, 2012

Branching time, indeterminism and tense logic - Unveiling the Prior-Kripke letters.

Thomas Ploug, Peter Øhrstrøm

Synth., 2012

Prior's defence of Hintikka's theorem. A discussion of Prior's 'The logic of obligation and the obligations of the logician'.

Peter Øhrstrøm, Jörg Zeller, Ulrik Sandborg-Petersen

Synth., 2012

Preface.

Peter Øhrstrøm, Per F. V. Hasle, Ulrik Sandborg-Petersen

Synth., 2012

From a logical angle - Some studies in A.N. Prior's ideas on time, discourse and metaphysics.

Peter Øhrstrøm, Per F. V. Hasle

Synth., 2012

Time and knowledge - Some reflections on Prior's analysis of the paradox of the prisoner.

Peter Øhrstrøm, Lasse Burri Gram-Hansen, Ulrik Sandborg-Petersen

Synth., 2012

Developing Persuasive Technology for ASD Challenged Teenagers.

Morten Aagaard, Peter Øhrstrøm

Proceedings of the Persuasive Technology. Design for Health and Safety, 2012

2011

The Role of Credibility In the Design of Mobile Solutions To Enhance the Social Skill-Set of Teenagers Diagnosed with Autism.

Anne Gerdes, Peter Øhrstrøm

J. Inf. Commun. Ethics Soc., 2011

A.N. Prior's Ideas on Tensed Ontology.

David Jakobsen, Peter Øhrstrøm, Henrik Schärfe

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

2010

Branching Time as a Conceptual Structure.

Peter Øhrstrøm, Henrik Schärfe, Thomas Ploug

Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

Towards a Common Language for the Discussion of Time Based on Prior's Tense Logic.

Peter Øhrstrøm

Proceedings of the Multidisciplinary Aspects of Time and Time Perception, 2010

2009

Time in Philosophical Logic.

Peter Øhrstrøm, Per F. V. Hasle

Proceedings of the Encyclopedia of Database Systems, 2009

Towards a handy interactive persuasive diary for teenagers with a diagnosis of autism.

Anja Meiland Ranfelt, Tony Wigram, Peter Øhrstrøm

Proceedings of the Persuasive Technology, Fourth International Conference, 2009

Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts.

Peter Øhrstrøm

Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

2008

Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles.

Peter Øhrstrøm, Henrik Schärfe, Sara L. Uckelman

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

2007

Surveillance, Persuasion, and Panopticon.

Julie Leth Jespersen, Anders Albrechtslund, Peter Øhrstrøm, Per F. V. Hasle, Jørgen Albretsen

Proceedings of the Persuasive Technology, 2007

Historical and Conceptual Foundation of Diagrammatical Ontology.

Peter Øhrstrøm, Sara L. Uckelman, Henrik Schärfe

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

2006

Modern temporal logic: The philosophical background.

Peter Øhrstrøm, Per F. V. Hasle

Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

A.N. Prior's logic.

Peter Øhrstrøm, Per F. V. Hasle

Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

Preface.

Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm

Synth., 2006

2005

What Has Happened to Ontology.

Peter Øhrstrøm, Jan Andersen, Henrik Schärfe

Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

2004

The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science).

Per F. V. Hasle, Peter Øhrstrøm

Bull. EATCS, 2004

A Priorean Approach to Time Ontologies.

Peter Øhrstrøm, Henrik Schärfe

Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004

2003

Representing Time and Modality in Narratives with Conceptual Graphs.

Henrik Schärfe, Peter Øhrstrøm

Proceedings of the Conceptual Structures for Knowledge Creation and Communication, 2003

2002

On Teaching Conceptual Graphs.

Henrik Schärfe, Ulrik Petersen, Peter Øhrstrøm

Proceedings of the Conceptual Structures: Integration and Interfaces, 2002

1999

A Software System for Learning Peircean Graphs.

Torben Braüner, Claus Donner, Peter Øhrstrøm

Proceedings of the Conceptual Structures: Standards and Practices, 1999

KARDIO - A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making.

Søren Holm, Peter Øhrstrøm, Claus Donner

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

Ockhamistic Logics and True Futures of Counterfactual Moments.

Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

1997

C. S. Pierce and the Quest for Gamma Graphs.

Peter Øhrstrøm

Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997

1996

Existential Graphs and Tense Logic.

Peter Øhrstrøm

Proceedings of the Conceptual Structures: Knowledge Representation as Interlingua, 1996

1995

Temporal logic - from ancient ideas to artificial intelligence.

Peter Øhrstrøm, Per F. V. Hasle

Studies in linguistics and philosophy 57, ISBN: 978-0-7923-3586-3, 1995

1991

Medieval Logic and Natural Language Understanding.

Peter Øhrstrøm, Per F. V. Hasle

Proceedings of the Natural Language Understanding and Logic Programming, 1991

1986

The Logic of Tensed Statements in English - An Application of Logic Programming.

Peter Øhrstrøm, Niels Aalborg

Proceedings of the 1986 Symposium on Logic Programming, 1986