Peter Øhrstrøm

View Scopus Profile

Peter Øhrstrøm

Master of Science (Mathematics and Physics), Ph.D. History of Ideas, D.Sc., history and philosophy of Science

 https://orcid.org/0000-0001-9432-7618

  • Rendsburggade 14, 6-209

    9000 Aalborg

    Denmark

1975 …2023

Research activity per year

Filter
Article in proceeding

Search results

  • 1989

    Tanal: A Prolog System for Supporting Text Analysis

    Øhrstrøm, P. & Hasle., P. F. V., 1989, Learning with Artificial Intelligence. 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 1992

    Logical Models of Causal and Temporal Reasoning

    Øhrstrøm, P., Hasle., P. F. V. & Pedersen, S. A., 1992, Simulations, Evaluations and Models (Proceedings of the Fourth MOHAWC Workshop). Brehmer, B. & Leplat, J. (eds.). Danmarks Tekniske Universitet, Risø Nationallaboratoriet for Bæredygtig Energi, p. 19-61

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 1994

    Some Peircean Problems Regarding Graphs for Time and Modality

    Øhrstrøm, P., Schmidt, J. & Berg, H. V. D., 1994, Second International Conference on Conceptual Structures : Proceedings Supplement. p. 78-92

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • 1996

    Existential Graphs and Tense Logic

    Øhrstrøm, P., 1996, Conceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings: Lecture Notes in Artificial Intelligence, 115. IEEE Computer Society Press, p. 203-217

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    7 Citations (Scopus)
  • 1997

    C.S. Peirce and the Quest for Gamma Graphs

    Øhrstrøm, P., 1997, Conceptual Structures : Fulfilling Peirce's Dream : fifth international conference on conceptual structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings: Lecture Notes in Artificial Intelligence : 1257. Lukose, Dickson ...[et.al.] (eds. ) (ed.). IEEE Computer Society Press, p. 357-370

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • C. S. peirce and the quest for gamma graphs

    Øhrstrøm, P., 1997, Conceptual Structures: Fulfilling Peirce's Dream - 5th International Conference on Conceptual Structures, ICCS 1997, Proceedings. Lukose, D., Delugach, H., Keeler, M., Searle, L. & Sowa, J. (eds.). Physica-Verlag, p. 357-370 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1257).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)
  • 1998

    Determinism and the Origins of Temporal Logic

    Braüner, T., Hasle, P. & Øhrstrøm, P., 1998, Temporal Logicc : Proceedings of the Secong Internationale Conference, ICTL '98: Applied Logic Series. Kluwer Academic Publishers

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Ockhamistic Logics and True Futures of Counterfactual Moments

    Braüner, T., Hasle, P. & Øhrstrøm, P., 1998, Fifth International Workshop on Temporal Representation and Reasoning : Proceedings : Sanibel Island, Florida, May 16-17, 1998. Khatib, L. : Morris, R. (eds) (ed.). IEEE Computer Society Press, p. 132-139

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    10 Citations (Scopus)
  • 1999

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

    Øhrstrøm, P., Holm, S. & Donner, C., 1999, Proceedings of the 12th International Florida AI Research Society Conference, Orlando, Florida, 3-5 May, 1999. Kumar, A.N. : Russell, I. (eds.) (ed.). AAAI Press, p. 18-23

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • 2000

    Computer Aided Narrative Analysis using Conceptual Graphs

    Øhrstrøm, P., 2000, Working with Conceptual Structures : Contributions to ICC 200 8th International Conference on Conceptual Structures: Logical Linguistic, and Computational Issues, August 14-18, 2000, Darmstadt. Stumme, Gerd (ed.) (ed.). Shaker Verlag, p. 16-29

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Computer Aided Narrative Analysis using Conceptual Graphs

    Schärfe, H. & Øhrstrøm, P., 2000, Working with Conceptual Structures - Contributions to ICCS 2000. Stumme, G. (ed.). Shaker Verlag, p. 16-29

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • 2002

    On teaching CG

    Schärfe, H., Petersen, U. & Øhrstrøm, P., 2002, Priss, U. (Ed.) : Cobett, D. (Ed.) : Angelove, G. (Ed.): Lecture notes in artificial intelligence. 2393 ed. IEEE Computer Society Press, p. 285-298

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • On Teaching Conceptual Graphs

    Schärfe, H., Sandborg-Petersen, U. & Øhrstrøm, P., 2002, Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15–19, 2002 Proceedings. Priss, U., Corbett, D. & Angelova, G. (eds.). Springer, Vol. 2393. p. 285-298 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • 2004

    A priorean approach to time ontologies

    Øhrstrøm, P. & Schärfe, H., 2004, Concetptual structures at work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 proceedings. Wolff, K. E. (ed.). IEEE Computer Society Press, 388 p. (Lecture Notes in Computer Science; No. 3127).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    2312 Downloads (Pure)

  • Problems Regarding Research on the Use of IT

    Øhrstrøm, P., 2004, Eureca Project on Delimiting the Research Concept and Research Activities, Planning Meeting Report. Harris, J. (ed.). p. 60-73 14 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • 2005

    Report of IT case study 1: Research on Stored Information

    Øhrstrøm, P. & Dyhrberg, J., 2005, Workshop Report, Eureca Project on Delimiting the Research Concept and Research Activities, Project no. SAS-CT-2003-510247. Harris, J. (ed.). p. 135-150

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • What Has Happened to Ontology

    Øhrstrøm, P., Schärfe, H. & Andersen, J., 2005, Conceptual Structures: Common Semantics for Sharing Knowledge: Proceedings of the 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Dau, F., Mugnier, M-L. & Stumme, G. (eds.). IEEE Computer Society Press, p. 425- (Lecture Notes in Computer Science, Vol. 3596).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    22 Citations (Scopus)
  • 2006

    Mellem naturudnyttelse og forvalterskab

    Øhrstrøm, P., 2006, Konferencerapport: nytte, etik og tro i forbindelse med udsætning af genmodificerede planter. Det Etiske Råd

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Panoptic Research in Ethical Perspective

    Øhrstrøm, P., Albrechtslund, A. & Albretsen, J., 2006, Reader for EURECA Workshop 4. p. 1-24 24 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • 2007

    Historical and Conceptual Foundation of Diagrammatical Ontology

    Øhrstrøm, P., Uckelman, S. L. & Schärfe, H., 2007, Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings. Polovina, S., Hill, R. & Priss, U. (eds.). Springer, p. 374-386 13 p. (Lecture Notes in Computer Science . Sublibrary: Lecture Notes in Artificial Intelligence, Vol. Vol. 4604).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Surveillance, Persuasion, and Panopticon

    Jespersen, J. L., Albrechtslund, A., Øhrstrøm, P., Hasle., P. F. V. & Albretsen, J., 2007, Persuasive Technology: Second International Conference on Persuasive Technology, PERSUASIVE 2007 : Revised Selected Papers. de Kort, Y., IJsselsteijn, W., Midden, C., B. E. & Fogg, B. J. (eds.). IEEE Computer Society Press, p. 109-120 11 p. (Lecture Notes in Computer Science, Vol. 4744/2007).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    23 Citations (Scopus)
    2585 Downloads (Pure)
  • 2008

    It might be Kairos

    Aagaard, M., Øhrstrøm, P. & Moltsen, L., 2008, Persuasive 2008: The Third International Conference on Persuasive Technology. Oinas-Kukkonen, H., Hasle, P., Harjumaa, M. & Segerståhl, K. (eds.). Oulu, Finland: University of Oulu, p. 94-97 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Jacob Lorhard's ontology: A 17th century hypertext on the reality and temporality of the world of intelligibles

    Øhrstrøm, P., Schärfe, H. & Uckelman, S. L., 2008, Conceptual Structures: Knowledge Visualization and Reasoning - 16th International Conference on Conceptual Structures, ICCS 2008, Proceedings. p. 74-87 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5113 LNAI).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)

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

    Øhrstrøm, P., Schärfe, H. & Uckelman, S., 2008, Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings. Eklund, P. & Haemmerlé, O. (eds.). Springer, p. 74-87 (Lecture Notes in Computer Science; No. 5113).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)
  • 2009

    Time and logic: A.N. prior's formal analysis of temporal concepts

    Øhrstrøm, P., 2009, Formal Concept Analysis - 7th International Conference, ICFCA 2009, Proceedings. p. 66-81 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5548 LNAI).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

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

    Øhrstrøm, P., 2009, Formal Concept Analysis: 7 th International Conference, ICFCA 2009 Darmstadt, Germany, May 2009 Proceedings. Ferré, S. & Rudolph, S. (eds.). Springer, p. 66-81 15 p. (Lecture Notes In Artificial Intelligence; No. 5548).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Towards a Handy Interactive Persuasive Diary for Teenagers with a Diagnosis of Autism

    Meiland Ranfelt, A., Wigram, T. & Øhrstrøm, P., 2009, Proceedings of the 4th International Conference on Persuasive Technology. Association for Computing Machinery, 279 p. (ACM International Conference Proceeding Series (ICPS); No. 350).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)
  • 2010

    Branching Time as a Conceptual Structure

    Øhrstrøm, P., Schärfe, H. & Ploug, T., 2010, Conceptual Structures: From Information to Intelligence. Croitoru, M., Ferré, S. & Lukose, D. (eds.). Springer, Vol. LNAI 6208. p. 125-138 13 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Issues of credibility in developing mobile solutions for autism-diagnosed teenagers

    Gerdes, A. & Øhrstrøm, P., 2010, Persuasive 2010 Proceedings of Poster Papers for the Fifth International Conference on Persuasive Technology. Hasle, P., Oinas-Kukkonen, H., Ploug, T. & Räisänen, T. (eds.). Oulu University Press, p. 37-40 4 p. ( University of Oulu. Department of Information Processing Science. Series A, Research Papers).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Some Reflections on Logic and Transcendence

    Øhrstrøm, P., 2010, God - a Mathematician?: Proceedings of the Danish Science-Theology Forum vol. 5. Kragh, H. & Nielsen, M. V. (eds.). Aarhus, p. 117-132 16 p. (Proceedings of the Danish Science‐Theology Forum, Vol. 5).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • 2012

    Developing Persuasive Technology for ASD Challenged Teenagers

    Aagaard, M. & Øhrstrøm, P., 2012, Persuasive Technology: Design for Health and Safety: 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings. Springer Publishing Company, Vol. 7284. p. 67-78 12 p. (Lecture Notes in Computer Science; No. 7284).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)
  • 2013

    Case Study: Kaj Munk: Using Persuasive Learning

    Sørensen, C. G., Gram-Hansen, S. B. & Øhrstrøm, P., 3 Sept 2013, Proceedings of the International Workshop on EuroPLOT Persuasive Technology for Learning, Education, and Teaching. Behringer, R. & Sinclair, G. (eds.). 2 ed. EuroPLOT, p. 45-53 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Classical Syllogisms in Logic Teaching

    Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2013, Conceptual Structures for STEM Research and Education: 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings. Pfeiffer, H. D., Ignatov, D. I., Poelmans, J. & Gadiraju, N. (eds.). Springer Publishing Company, Vol. 7735. p. 31–43 13 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)
  • 2014

    Teaching Syllogistics Using Conceptual Graphs

    Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2014, Graph-Based Representation and Reasoning: Proceedings of the 21st International Conference on Structures. Hernandez, N., Jäschke, R. & Croitoru, M. (eds.). Springer Publishing Company, p. 217-230 14 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)
  • 2015

    Teaching Syllogistics Through Gamification and Interactive Proofs

    Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2015, Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Conole, G., Klobučar, T., Rensing, C., Konert, J. & Lavoué, É. (eds.). Springer, p. 609-612 4 p. (Lecture Notes in Computer Science; No. 9307).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)
  • 2016

    Conceptual and Metaphysical Origins and Relevance of Temporal Logic

    Jakobsen, D. & Øhrstrøm, P., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning — TIME 2016. Dyreson, C., Hansen, M. R. & Hunsberger, L. (eds.). IEEE, p. 167-176 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Designing a New Tool for E-learning in Syllogistics

    Øhrstrøm, P. & Sandborg-Petersen, U., 2016, Proceedings of the Fifth Conceptual Structures Tools & Interoperability Workshop (CSTIW 2016). p. 37-45 9 p. (CEUR Workshop Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • Teaching Syllogistics Using E-learning Tools

    Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S. & Ploug, T., 2016, E-Learning, E-Education, and Online Training: Third International Conference, eLEOT 2016, Dublin, Ireland, August 31 - September 2, 2016, Revised Selected Papers. Springer, p. 103-110 8 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Vol. 180).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • The Interpretation of Branching Time Diagrams

    Jakobsen, D. & Øhrstrøm, P., 2016, Graph-Based Representation and Reasoning. Haemmerlé, O., Stapleton, G. & Zucker, C. F. (eds.). Springer, p. 31-39 9 p. (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science, Vol. 9717).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 2017

    In Celebration of Past, Present and Future

    Jakobsen, D., Øhrstrøm, P. & Hasle, P., 2017, Logic and Philosophy of Time: Themes from Prior. Aalborg: Aalborg Universitetsforlag, p. 9-27 19 p. (Logic and Philosophy of Time, Vol. 1).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • The Diodorean approach to time and modality from a historical and a philosophical perspective

    Corpina, F. & Øhrstrøm, P., 2017, Logic and Philosophy of Time: Themes from Prior. Hasle, P., Blackburn, P. & Øhrstrøm, P. (eds.). Aalborg: Aalborg Universitetsforlag, p. 83-101 19 p. (Logic and Philosophy of Time, Vol. 1).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • The Prior-von Wright Debate on Anselm's Argument for the Existence of God

    Jakobsen, D. & Øhrstrøm, P., 2017, On the Human Condition: Philosophical Essays in Honour of the Centennial Anniversary of Georg Henrik von Wright. Societas Philosophica Fennica, Vol. 93. p. 255-267 13 p. (Acta Philosophica Fennica).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 2019

    Teaching Propositional and Syllogistic Logic Using E-learning Tools

    Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U. & Ploug, T., 1 Jan 2019, Innovative Technologies and Learning: Second International Conference, ICITL 2019, Tromsø, Norway, December 2–5, 2019, Proceedings. Rønningsbakk, L., Wu, T-T., Sandnes, F. E. & Huang, Y-M. (eds.). Springer, p. 854-864 11 p. (Lecture Notes in Computer Science, Vol. 11937 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)
  • 2020

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

    Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T. & Jakobsen, D., 2020, Innovative Technologies and Learning - Third International Conference, ICITL 2020, Proceedings. Huang, T-C., Wu, T-T., Barroso, J., Sandnes, F. E., Martins, P. & Huang, Y-M. (eds.). Springer, p. 610-620 11 p. (Lecture Notes in Computer Science, Vol. 12555).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    42 Downloads (Pure)
  • 2021

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

    Øhrstrøm, P., Thorvaldsen, S., Sandborg-Petersen, U., Ploug, T. & Jakobsen, D., 2021, Innovative Technologies and Learning - 4th International Conference, ICITL 2021, Proceedings: 4th International Conference, ICITL 2021 Virtual Event, November 29 – December 1, 2021 Proceedings. Huang, Y-M., Lai, C-F. & Rocha, T. (eds.). Springer, Vol. LNCS 13117. p. 121-130 10 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    90 Downloads (Pure)
  • 2023

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

    Øhrstrøm, P., Thorvaldsen, S. & Jakobsen, D., 1 Aug 2023, Innovative Technologies and Learning - 6th International Conference, ICITL 2023, Proceedings: ICITL 2023. Huang, Y-M. & Rocha, T. (eds.). Springer, p. 430-440 11 p. (Lecture Notes in Computer Science, Vol. 14099).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review