Peter Øhrstrøm

According to our database1, Peter Øhrstrøm authored at least 53 papers between 1986 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown.
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.
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.
Synth., 2019

Teaching Propositional and Syllogistic Logic Using E-learning Tools.
Proceedings of the Innovative Technologies and Learning - Second International Conference, 2019

2018
Time in Philosophical Logic.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

2017
Teaching Basic Ideas in Logic Using E-learning Tools.
EAI Endorsed Trans. e Learn., 2017

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

Preface.
Synth., 2016

Conceptual and Metaphysical Origins and Relevance of Temporal Logic.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Designing a New Tool for E-learning in Syllogistics.
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.
Proceedings of the Graph-Based Representation and Reasoning, 2016

Investigating Worldviews with Protégé.
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.
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.
J. Inf. Commun. Ethics Soc., 2015

Teaching Syllogistics Through Gamification and Interactive Proofs.
Proceedings of the Design for Teaching and Learning in a Networked World, 2015

2014
Teaching Syllogistics Using Conceptual Graphs.
Proceedings of the Graph-Based Representation and Reasoning, 2014

2013
Persuasive Design in Teaching and Learning.
Int. J. Concept. Struct. Smart Appl., 2013

Classical Syllogisms in Logic Teaching.
Proceedings of the Conceptual Structures for STEM Research and Education, 2013

Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments.
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.
Proceedings of the Scaling up Learning for Sustained Impact, 2013

2012
Persuasive Mobile Technology Developed for Young People with an Autism Diagnosis.
Proceedings of the Touching the Future Technology for Autism?, 2012

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

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

Preface.
Synth., 2012

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

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

Developing Persuasive Technology for ASD Challenged Teenagers.
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.
J. Inf. Commun. Ethics Soc., 2011

A.N. Prior's Ideas on Tensed Ontology.
Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

2010
Branching Time as a Conceptual Structure.
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.
Proceedings of the Multidisciplinary Aspects of Time and Time Perception, 2010

2009
Time in Philosophical Logic.
Proceedings of the Encyclopedia of Database Systems, 2009

Towards a handy interactive persuasive diary for teenagers with a diagnosis of autism.
Proceedings of the Persuasive Technology, Fourth International Conference, 2009

Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts.
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.
Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

2007
Surveillance, Persuasion, and Panopticon.
Proceedings of the Persuasive Technology, 2007

Historical and Conceptual Foundation of Diagrammatical Ontology.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

2006
Modern temporal logic: The philosophical background.
Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

A.N. Prior's logic.
Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

Preface.
Synth., 2006

2005
What Has Happened to Ontology.
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).
Bull. EATCS, 2004

A Priorean Approach to Time Ontologies.
Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004

2003
Representing Time and Modality in Narratives with Conceptual Graphs.
Proceedings of the Conceptual Structures for Knowledge Creation and Communication, 2003

2002
On Teaching Conceptual Graphs.
Proceedings of the Conceptual Structures: Integration and Interfaces, 2002

1999
A Software System for Learning Peircean Graphs.
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.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998
Ockhamistic Logics and True Futures of Counterfactual Moments.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

1997
C. S. Pierce and the Quest for Gamma Graphs.
Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997

1996
Existential Graphs and Tense Logic.
Proceedings of the Conceptual Structures: Knowledge Representation as Interlingua, 1996

1995
Temporal logic - from ancient ideas to artificial intelligence.
Studies in linguistics and philosophy 57, ISBN: 978-0-7923-3586-3, 1995

1991
Medieval Logic and Natural Language Understanding.
Proceedings of the Natural Language Understanding and Logic Programming, 1991

1986
The Logic of Tensed Statements in English - An Application of Logic Programming.
Proceedings of the 1986 Symposium on Logic Programming, 1986


  Loading...