default search action
Peter Øhrstrøm
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c35]David Jakobsen
, Steinar Thorvaldsen, Peter Øhrstrøm
Exploring Learning in Basic Logic Using Stored Log Data and Exam Data. ICITL (1) 2024: 109-119 - 2023
- [c34]Peter Øhrstrøm
Learning Analytics Based on Streamed Log Data from a Course in Logic. ICITL 2023: 430-440 - 2021
- [c33]Peter Øhrstrøm
The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown. ICITL 2021: 121-130 - 2020
- [c32]Peter Øhrstrøm
The Use of E-learning Tools and Log Data in a Course on Basic Logic. ICITL 2020: 610-620
2010 – 2019
- 2019
- [j14]Peter Øhrstrøm
A critical discussion of Prior's philosophical and tense-logical analysis of the ideas of indeterminism and human freedom. Synth. 196(1): 69-85 (2019) - [c31]Peter Øhrstrøm
Teaching Propositional and Syllogistic Logic Using E-learning Tools. ICITL 2019: 854-864 - 2018
- [r4]Peter Øhrstrøm, Per F. V. Hasle:
Time in Philosophical Logic. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j13]Peter Øhrstrøm
Teaching Basic Ideas in Logic Using E-learning Tools. EAI Endorsed Trans. e Learn. 4(13): e3 (2017) - 2016
- [j12]Jørgen Albretsen
Preface. Synth. 193(11): 3397-3399 (2016) - [j11]Per F. V. Hasle, Peter Øhrstrøm
Prior's paradigm for the study of time and its methodological motivation. Synth. 193(11): 3401-3416 (2016) - [c30]Peter Øhrstrøm
Teaching Syllogistics Using E-learning Tools. eLEOT 2016: 103-110 - [c29]Thomas Bro Wormslev Jakobsen, David Jakobsen, Peter Øhrstrøm:
Investigating Worldviews with Protégé. CSTIW@ICCS 2016: 28-36 - [c28]David Jakobsen
The Interpretation of Branching Time Diagrams. ICCS 2016: 31-39 - [c27]Peter Øhrstrøm, Ulrik Sandborg-Petersen:
Designing a New Tool for E-learning in Syllogistics. CSTIW@ICCS 2016: 37-45 - [c26]David Jakobsen
Conceptual and Metaphysical Origins and Relevance of Temporal Logic. TIME 2016: 167-176 - 2015
- [j10]Anne Gerdes
Issues in robot ethics seen through the lens of a moral Turing test. J. Inf. Commun. Ethics Soc. 13(2): 98-109 (2015) - [c25]Peter Øhrstrøm
Teaching Syllogistics Through Gamification and Interactive Proofs. EC-TEL 2015: 609-612 - 2014
- [c24]Peter Øhrstrøm
Teaching Syllogistics Using Conceptual Graphs. ICCS 2014: 217-230 - 2013
- [j9]Reinhold Behringer, Peter Øhrstrøm
Persuasive Design in Teaching and Learning. Int. J. Concept. Struct. Smart Appl. 1(2): 1-5 (2013) - [c23]Peter Øhrstrøm
Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. EC-TEL 2013: 410-423 - [c22]Lasse Burri Gram-Hansen, Sandra Burri Gram-Hansen, Peter Øhrstrøm
From Geocaching to Mobile Persuasive Learning - Motivating the Interest in the Life and Work of Danish Author Kaj Munk. EC-TEL 2013: 595-596 - [c21]Peter Øhrstrøm
Classical Syllogisms in Logic Teaching. ICCS 2013: 31-43 - 2012
- [j8]Peter Øhrstrøm
Preface. Synth. 188(3): 323-324 (2012) - [j7]Peter Øhrstrøm
From a logical angle - Some studies in A.N. Prior's ideas on time, discourse and metaphysics. Synth. 188(3): 325-330 (2012) - [j6]Thomas Ploug
Branching time, indeterminism and tense logic - Unveiling the Prior-Kripke letters. Synth. 188(3): 367-379 (2012) - [j5]Peter Øhrstrøm
Time and knowledge - Some reflections on Prior's analysis of the paradox of the prisoner. Synth. 188(3): 417-422 (2012) - [j4]Peter Øhrstrøm
Prior's defence of Hintikka's theorem. A discussion of Prior's 'The logic of obligation and the obligations of the logician'. Synth. 188(3): 449-454 (2012) - [c20]Morten Aagaard, Peter Øhrstrøm
Developing Persuasive Technology for ASD Challenged Teenagers. PERSUASIVE 2012: 67-78 - [p1]Peter Øhrstrøm
Persuasive Mobile Technology Developed for Young People with an Autism Diagnosis. Touching the Future Technology for Autism? 2012: 36-57 - 2011
- [j3]Anne Gerdes
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. 9(4): 253-264 (2011) - [c19]David Jakobsen
A.N. Prior's Ideas on Tensed Ontology. ICCS 2011: 118-130 - 2010
- [c18]Peter Øhrstrøm
Towards a Common Language for the Discussion of Time Based on Prior's Tense Logic. COST TD0904 International Workshop 2010: 46-57 - [c17]Peter Øhrstrøm
Branching Time as a Conceptual Structure. ICCS 2010: 125-138
2000 – 2009
- 2009
- [c16]Peter Øhrstrøm
Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. ICFCA 2009: 66-81 - [c15]Anja Meiland Ranfelt, Tony Wigram, Peter Øhrstrøm
Towards a handy interactive persuasive diary for teenagers with a diagnosis of autism. PERSUASIVE 2009: 3 - [r3]Peter Øhrstrøm, Per F. V. Hasle:
Time in Philosophical Logic. Encyclopedia of Database Systems 2009: 3107-3111 - 2008
- [c14]Peter Øhrstrøm
Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles. ICCS 2008: 74-87 - [e2]Harri Oinas-Kukkonen, Per F. V. Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm
Persuasive Technology, Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings. Lecture Notes in Computer Science 5033, Springer 2008, ISBN 978-3-540-68500-5 [contents] - 2007
- [c13]Peter Øhrstrøm
Historical and Conceptual Foundation of Diagrammatical Ontology. ICCS 2007: 374-386 - [c12]Julie Leth Jespersen, Anders Albrechtslund, Peter Øhrstrøm, Per F. V. Hasle, Jørgen Albretsen:
Surveillance, Persuasion, and Panopticon. PERSUASIVE 2007: 109-120 - 2006
- [j2]Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
Preface. Synth. 150(3): 327-328 (2006) - [e1]Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm:
Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings. Lecture Notes in Computer Science 4068, Springer 2006, ISBN 3-540-35893-5 [contents] - [r2]Peter Øhrstrøm
A.N. Prior's logic. Logic and the Modalities in the Twentieth Century 2006: 399-446 - [r1]Peter Øhrstrøm
Modern temporal logic: The philosophical background. Logic and the Modalities in the Twentieth Century 2006: 447-498 - 2005
- [c11]Peter Øhrstrøm
What Has Happened to Ontology. ICCS 2005: 425-438 - 2004
- [j1]Per F. V. Hasle, Peter Øhrstrøm:
The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science). Bull. EATCS 82: 191-226 (2004) - [c10]Peter Øhrstrøm
A Priorean Approach to Time Ontologies. ICCS 2004: 388-401 - 2003
- [c9]Henrik Schärfe, Peter Øhrstrøm
Representing Time and Modality in Narratives with Conceptual Graphs. ICCS 2003: 201-214 - 2002
- [c8]Henrik Schärfe, Ulrik Petersen
On Teaching Conceptual Graphs. ICCS 2002: 285-298
1990 – 1999
- 1999
- [c7]Søren Holm, Peter Øhrstrøm, Claus Donner:
KARDIO - A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making. FLAIRS 1999: 18-23 - [c6]Torben Braüner, Claus Donner, Peter Øhrstrøm
A Software System for Learning Peircean Graphs. ICCS 1999: 184-197 - 1998
- [c5]Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm
Ockhamistic Logics and True Futures of Counterfactual Moments. TIME 1998: 132-139 - 1997
- [c4]Peter Øhrstrøm
C. S. Pierce and the Quest for Gamma Graphs. ICCS 1997: 357-370 - 1996
- [c3]Peter Øhrstrøm
Existential Graphs and Tense Logic. ICCS 1996: 202-217 - 1995
- [b1]Peter Øhrstrøm, Per F. V. Hasle:
Temporal logic - from ancient ideas to artificial intelligence. Studies in linguistics and philosophy 57, 1995, ISBN 978-0-7923-3586-3, pp. I-VIII, 1-413 - 1991
- [c2]Peter Øhrstrøm, Per F. V. Hasle:
Medieval Logic and Natural Language Understanding. Natural Language Understanding and Logic Programming Workshop 1991: 75-90
1980 – 1989
- 1986
- [c1]Peter Øhrstrøm, Niels Aalborg:
The Logic of Tensed Statements in English - An Application of Logic Programming. SLP 1986: 12-19
Coauthor Index
aka: Ulrik Petersen
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: