• Rendsburggade 14, 6-209

    9000 Aalborg

    Danmark

  • Rendsburggade 14, 6-209

    9000 Aalborg

    Danmark

1975 …2019
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 1975 2019

Filter
Konferenceartikel i proceeding
3 Citationer (Scopus)
2054 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. (red.). IEEE Computer Society Press, 388 s. (Lecture Notes in Computer Science; Nr. 3127).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Ontology
Logic
Arthur Prior
Tense
3 Citationer (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. (red.). Springer, Bind LNAI 6208. s. 125-138 13 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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. ) (red.). IEEE Computer Society Press, s. 357-370

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). 2 udg. EuroPLOT, s. 45-53 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (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. (red.). Springer Publishing Company, Bind 7735. s. 31–43 13 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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.) (red.). Shaker Verlag, s. 16-29

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Computer Aided Narrative Analysis using Conceptual Graphs

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). IEEE, s. 167-176 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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). s. 37-45 9 s. (CEUR Workshop Proceedings).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

2 Citationer (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, Bind 7284. s. 67-78 12 s. (Lecture Notes in Computer Science; Nr. 7284).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

7 Citationer (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, s. 203-217

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

6 Citationer (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. (red.). Springer, s. 374-386 13 s. (Lecture Notes in Computer Science . Sublibrary: Lecture Notes in Artificial Intelligence, Bind Vol. 4604).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Ontology
Diagrams
Invention

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, s. 9-27 19 s. (Logic and Philosophy of Time, Bind 1).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang

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. (red.). Oulu University Press, s. 37-40 4 s. ( University of Oulu. Department of Information Processing Science. Series A, Research Papers).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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. (red.). Oulu, Finland: University of Oulu, s. 94-97 4 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (red.). Springer, s. 74-87 (Lecture Notes in Computer Science; Nr. 5113).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Ontology
Hypertext
Temporality
Education
Ontological

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.) (red.). AAAI Press, s. 18-23

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). Danmarks Tekniske Universitet, Risø Nationallaboratoriet for Bæredygtig Energi, s. 19-61

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

7 Citationer (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) (red.). IEEE Computer Society Press, s. 132-139

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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 udg. IEEE Computer Society Press, s. 285-298

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). Springer, Bind 2393. s. 285-298 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Panoptic Research in Ethical Perspective

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). s. 60-73 14 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). s. 135-150

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. s. 78-92

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). Aarhus, s. 117-132 16 s. (Proceedings of the Danish Science‐Theology Forum, Bind 5).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Transcendence
Logic
Transcendent
Atheist
World View
16 Citationer (Scopus)
1808 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. (red.). IEEE Computer Society Press, s. 109-120 11 s. (Lecture Notes in Computer Science, Bind 4744/2007).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil

Tanal: A Prolog System for Supporting Text Analysis

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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 - 2nd International Conference, ICITL 2019, Proceedings. Rønningsbakk, L., Wu, T-T., Sandnes, F. E. & Huang, Y-M. (red.). Springer VS, s. 854-864 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11937 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Teaching
learning
logic
communication
experiment
3 Citationer (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é, É. (red.). Springer, s. 609-612 4 s. (Lecture Notes in Computer Science; Nr. 9307).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (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. (red.). Springer Publishing Company, s. 217-230 14 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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, s. 103-110 8 s. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Bind 180).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

electronic learning
Teaching
argumentation
teaching method
learning

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. (red.). Aalborg: Aalborg Universitetsforlag, s. 83-101 19 s. (Logic and Philosophy of Time, Bind 1).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang

The Interpretation of Branching Time Diagrams

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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, Bind 93. s. 255-267 13 s. (Acta Philosophica Fennica).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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. (red.). Springer, s. 66-81 15 s. (Lecture Notes In Artificial Intelligence; Nr. 5548).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Formal Analysis
Arthur Prior
Logic
McTaggart
Branching Time
5 Citationer (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 s. (ACM International Conference Proceeding Series (ICPS); Nr. 350).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

18 Citationer (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. (red.). IEEE Computer Society Press, s. 425- (Lecture Notes in Computer Science, Bind 3596).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review