• Kroghstræde 3

    9220 Aalborg Ø

    Denmark

Research Output 1975 2019

Filter
Article in proceeding
2017

Grammatiske metoder

Kristensen, S. A., 2017, 16. Møde om Udforskningen af Dansk Sprog. p. 209-231 (MUDS - Møderne om Udforskningen af Dansk Sprog).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access

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
7 Downloads (Pure)

Producing and using videos in grammar teaching

Kristensen, S. A., 2017, Proceedings of the 2nd Association for Visual Pedagogy conference. Otrel-Cass, K. (ed.). 1. ed. Dafolo Forlag A/S, p. 81-90 9 p. (Undervisning og læring).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File

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
2 Citations (Scopus)

Head Orientation Behavior of Users and Durations in Playful Open-Ended Interactions with an Android Robot

Vlachos, E., Jochum, E. A. & Schärfe, H., 2016, Cultural Robotics: First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers. 1. ed. Springer, p. 67-77 11 p. (Lecture Notes In Artificial Intelligence, Vol. 9549).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Robots
Robotics
Experiments

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
4 Citations (Scopus)

An Open-Ended Approach to Evaluating Android Faces

Vlachos, E. & Schärfe, H., 2015, Proceedings of the 24th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2015. IEEE, p. 746-751 6 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Robots
Statistical methods
Display devices
Communication
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)

Android Hands: A State-Of-The-Art Report

Vlachos, E. & Schärfe, H., 2014, Proceedings of the ASME 2014 12th Biennial Conference on Engineering Systems Design and Analysis. American Society of Mechanical Engineers, Vol. 3. 9 p. ESDA2014-20564. (ASME Technical Paper).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Prosthetics
Robots
5 Citations (Scopus)

Social Robots as Persuasive Agents

Vlachos, E. & Schärfe, H., 2014, Social Computing and Social Media: 6th International Conference, SCSM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings. Meiselwitz, G. (ed.). Springer, p. 277-284 8 p. (Lecture Notes in Computer Science, Vol. 8531).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Robots
Bioelectric potentials
Health care
Communication
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

2012
6 Citations (Scopus)

A Geminoid as Lecturer

Abildgaard, J. R. & Schärfe, H., 2012, Social Robotics: 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012. Proceedings. Springer Publishing Company, p. 408–417 10 p. (Lecture Notes in Artificial Intelligence (LNAI)).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

9 Citations (Scopus)

Android Emotions Revealed

Vlachos, E. & Schärfe, H., 2012, Proceedings of the International Conference on Social Robotics. Springer Publishing Company, p. 56-65 10 p. (Lecture Notes in Artificial Intelligence (LNAI); No. 7621).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

2 Citations (Scopus)

Plotting to Persuade: Exploring the Theoretical Cross Field between Persuasion and Learning

Gram-Hansen, S. B., Schärfe, H. & Dinesen, J. V., 2012, Persuasive Technology. Design for Health and Safety: 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings. Bang, M. & Ragnemalm, E. L. (eds.). Springer, p. 262-267 5 p. (Lecture Notes in Computer Science, Vol. 7284).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2011
8 Citations (Scopus)

Initial Formation of Trust: Designing an Interaction with Geminoid-DK to Promote a Positive Attitude for Cooperation

Schärfe, H. & Dougerthery, E. A., 2011, Social Robotics : Third International Conference, ICSR 2011. Mutlu, B., Bartneck, C., Ham, J., Evers, V. & Kanda, T. (eds.). Springer, Vol. LNAI7072. p. 95-103 8 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2010

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

Adaptive Persuasive Scripts

Pertou, M. E. & Schärfe, H., 2009, Proceedings of the Symposium Persuasive Technology and Digital Behaviour Intervention Symposium. Masthoff, J. & Grasso, F. (eds.). The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, p. 43-46

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Peter slog sig på noget

Kristensen, S. A., 2009, 12. Møde om Udforskningen af Dansk Sprog. Schoonderbeek Hansen, I. & Widell, P. (eds.). Nordisk institut, Aarhus Universitet, p. 221-231 11 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. (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

Classical Rhetoric and a Limit to Persuasion

Hasle., P. F. V. & Christensen, A-K. K., 2008, Persuasive Technology. Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, 2007. de Kort, Y., IJsselsteijn, W., Midden, C., Eggen, B. & Fogg, B. J. (eds.). Springer Science+Business Media, p. 307-310 4 p. (Lecture Notes in Computer Science). (Subseries: Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 4744).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. (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
304 Downloads (Pure)

Narratives That Move

Schärfe, H., 2008, Persuasive 2008: The Third International Conference on Persuasive TechnologyOulu, Finland - June 4-6, 2008 Poster Proceedings. Oulu University Press, p. 102-105 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

Open Access
File
2007
9 Citations (Scopus)
2260 Downloads (Pure)

Classical Rhetoric and a Limit to Persuasion

Hasle., P. F. V. & Kjær Christensen, A-K., 2007,  Persuasive 2007, LNCS 4744. de Kort, Y., IJsselsteijn, W., Midden, C., Eggen, B. & Fogg, B. J. (eds.). Springer, p. 307-310 3 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File

Grand Principles of Narratology

Schärfe, H., 2007, Challenging the Boundaries. Bas, I. & Freeman, D. C. (eds.). Brill | Rodopi, p. 95-110 16 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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)
1761 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

Kunsten at analysere en at-infinitiv

Kristensen, S. A. & Götzsche, H., 2006, 11. Møde om Udforskningen af Dansk Sprog. Berthelsen, D. & Widell, P. (eds.). Nordisk institut, Aarhus Universitet, p. 159-169

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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

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

8 Citations (Scopus)

The Persuasive Expansion: Rhetoric, Information Architecture, and Conceptual Structure

Hasle., P. F. V., 2006, Conceptual Structures: Inspiration and Application. Schärfe, H., Hitzler, P. & Øhrstrøm, P. (eds.). IEEE Computer Society Press, p. 2-21

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2004
3 Citations (Scopus)
1958 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
1994

Some Aspects of the Concept of Word

Götzsche, H., 1994, Ikke angivet. Gothenburg Papers of Theoretical Linguistics, Dept. of Linguistics, Gothenburg University, p. 135-147

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

1991

Non-Formal Analyse i dansk og nordisk syntaks

Götzsche, H., 1991, 3. Møde om Udforskningen af Dansk Sprog. Institut for Nordisk Sprog og Litteratur, Aarhus Universitet, p. 100-110

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

On the Logic and Syntax of Numerals in Danish and Swedish

Götzsche, H., 1991, Papers from the Twelfth Scandinavian Conference of Linguistics. Linguistic Institute, p. 78-89 11 p.

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