• Rendsburggade 14, 6-209

    9000 Aalborg

    Denmark

  • Rendsburggade 14, 6-209

    9000 Aalborg

    Denmark

1975 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1975 2019

Filter
Article in proceeding
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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

electronic learning
Teaching
argumentation
teaching method
learning

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 proceedingArticle in proceedingResearchpeer-review

2015
2 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

2014
3 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

2013

Case Study: Kaj Munk: Using Persuasive Learning

Sørensen, C. G., Gram-Hansen, S. B. & Øhrstrøm, P., 3 Sep 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 proceedingArticle in proceedingResearchpeer-review

5 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

2012
2 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

2010
3 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearch

Transcendence
Logic
Transcendent
Atheist
World View
2009

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 proceedingArticle in proceedingResearchpeer-review

Formal Analysis
Arthur Prior
Logic
McTaggart
Branching Time
5 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

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 proceedingArticle in proceedingResearchpeer-review

formalization
Teaching
experience
software

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 proceedingArticle in proceedingResearchpeer-review

Ontology
Hypertext
Temporality
Education
Ontological
2007
6 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

Ontology
Diagrams
Invention
16 Citations (Scopus)
1767 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

Open Access
File
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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

17 Citations (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

2004
3 Citations (Scopus)
2005 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

Open Access
File
Ontology
Logic
Arthur Prior
Tense

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

6 Citations (Scopus)

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

1996
7 Citations (Scopus)

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearchpeer-review

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 proceedingArticle in proceedingResearchpeer-review