Filter
Konferenceartikel i proceeding

Søgeresultater

  • 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. (red.). Springer, s. 430-440 11 s. (Lecture Notes in Computer Science, Bind 14099).

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

  • 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. (red.). Springer, Bind LNCS 13117. s. 121-130 10 s. (Lecture Notes in Computer Science (LNCS)).

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

    Åben adgang
    Fil
    87 Downloads (Pure)
  • 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. (red.). Springer, s. 610-620 11 s. (Lecture Notes in Computer Science, Bind 12555).

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

    Åben adgang
    Fil
    40 Downloads (Pure)
  • 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. (red.). Springer, s. 854-864 11 s. (Lecture Notes in Computer Science, Bind 11937 LNCS).

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

    2 Citationer (Scopus)
  • 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, 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
  • 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 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

  • 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. (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
  • 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

  • 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

  • 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é, É. (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)
  • 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. (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

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (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

    7 Citationer (Scopus)
  • 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, 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

    5 Citationer (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. (red.). Springer, Bind LNAI 6208. s. 125-138 13 s.

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

    3 Citationer (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. (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

  • 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

  • 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. (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

  • 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. s. 66-81 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5548 LNAI).

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

    2 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

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. s. 74-87 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5113 LNAI).

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

    5 Citationer (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. (red.). Springer, s. 74-87 (Lecture Notes in Computer Science; Nr. 5113).

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

    1 Citationer (Scopus)
  • 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. (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

    9 Citationer (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. (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
    22 Citationer (Scopus)
    2564 Downloads (Pure)
  • 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

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

  • 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

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

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

  • 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

    22 Citationer (Scopus)
  • 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. (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
    4 Citationer (Scopus)
    2307 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. (red.). s. 60-73 14 s.

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

  • 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 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

  • 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.) (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

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

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

  • 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

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

  • 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

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

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

  • 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. (red.). Physica-Verlag, s. 357-370 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 1257).

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

    9 Citationer (Scopus)
  • 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, s. 203-217

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

    7 Citationer (Scopus)
  • 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. s. 78-92

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

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

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

  • 1989

    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