default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Ø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, Steinar Thorvaldsen, David Jakobsen:
Learning Analytics Based on Streamed Log Data from a Course in Logic. ICITL 2023: 430-440 - 2021
- [c33]Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug, David Jakobsen:
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, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug, David Jakobsen:
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, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug:
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, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
Teaching Basic Ideas in Logic Using E-learning Tools. EAI Endorsed Trans. e Learn. 4(13): e3 (2017) - 2016
- [j12]Jørgen Albretsen, Per F. V. Hasle, Peter Øhrstrøm:
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, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
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, Peter Øhrstrøm:
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, Peter Øhrstrøm:
Conceptual and Metaphysical Origins and Relevance of Temporal Logic. TIME 2016: 167-176 - 2015
- [j10]Anne Gerdes, Peter Øhrstrøm:
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, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
Teaching Syllogistics Through Gamification and Interactive Proofs. EC-TEL 2015: 609-612 - 2014
- [c24]Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
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, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
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, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
Classical Syllogisms in Logic Teaching. ICCS 2013: 31-43 - 2012
- [j8]Peter Øhrstrøm, Per F. V. Hasle, Ulrik Sandborg-Petersen:
Preface. Synth. 188(3): 323-324 (2012) - [j7]Peter Øhrstrøm, Per F. V. Hasle:
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, Peter Øhrstrøm:
Branching time, indeterminism and tense logic - Unveiling the Prior-Kripke letters. Synth. 188(3): 367-379 (2012) - [j5]Peter Øhrstrøm, Lasse Burri Gram-Hansen, Ulrik Sandborg-Petersen:
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, Jörg Zeller, Ulrik Sandborg-Petersen:
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, Peter Øhrstrøm:
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, Peter Øhrstrøm, Henrik Schärfe:
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, Henrik Schärfe, Thomas Ploug:
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, Henrik Schärfe, Sara L. Uckelman:
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, Sara L. Uckelman, Henrik Schärfe:
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, Per F. V. Hasle:
A.N. Prior's logic. Logic and the Modalities in the Twentieth Century 2006: 399-446 - [r1]Peter Øhrstrøm, Per F. V. Hasle:
Modern temporal logic: The philosophical background. Logic and the Modalities in the Twentieth Century 2006: 447-498 - 2005
- [c11]Peter Øhrstrøm, Jan Andersen, Henrik Schärfe:
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, Henrik Schärfe:
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, Peter Øhrstrøm:
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 22:08 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:
