Research Output 1975 2020

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

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

Teaching
learning
logic
communication
experiment
2017

A Conceptual Framework over Contextual Analysis of Concept Learning within Human-Machine Interplays

Badie, F., Jan 2017, Emerging Technologies for Education: First International Symposium, SETE 2016, October 26-29, 2016, Rome, Italy, Revised Selected Papers, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers. Springer Publishing Company, Vol. 10108. p. 65-74 (Subseries: Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 10108).

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

learning
human being
structural analysis
learning process
semantics
1 Citation (Scopus)
140 Downloads (Pure)

A Formal Semantics for Concept Understanding relying on Description Logics

Badie, F., 2017, Proceedings of the 9th International Conference on Agents and Artificial Intelligence. SCITEPRESS Digital Library, Vol. 2. p. 42-52

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

Open Access
File
logic
semantics
learning

From Concepts to Predicates within Constructivist Epistemology

Badie, F., 2017, Logic, Rationality, and Interaction. Springer, Vol. FoLLI on Logic, Language and Information. p. 687-692 (Theoretical Computer Science and General Issues).

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

epistemology
constructivism
learning process

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

The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic

Jakobsen, D., 2017, Logic and Philosophy of Time: Themes from Prior. Aalborg Universitetsforlag, p. 63-82 19 p. (Logic and Philosophy of Time, Vol. 1).

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

Open Access
2 Citations (Scopus)

Towards Concept Understanding relying on Conceptualisation in Constructivist Learning

Badie, F., Oct 2017, Proceedings of the 13th International Conference on Cognition and Exploratory Learning. International Association for Development, IADIS

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

Open Access
learning
constructivism
knowledge acquisition
research focus
epistemology
1 Citation (Scopus)

Towards Semantic Analysis of Mentoring-Learning Relationships within Constructivist Interactions

Badie, F., 2017, Emerging Technologies for Education: First International Symposium, SETE 2016, October 26-29, 2016, Rome, Italy, Revised Selected Papers, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers. Springer Publishing Company, (Lecture Notes in Computer Science, Vol. 10108).

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

Constructivist
Mentor
Semantic Analysis
Interaction
Mentoring
2016

A Semantic Representation Of Adult Learners' Developing Conceptions Of Self Realisation Through Learning Process

Badie, F., Mar 2016, INTED2016 Proceedings. International Association of Technology, Education and Development (IATED), p. 5348-5353 6 p.

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

Open Access
self-realization
learning process
semantics
learning
logic
35 Downloads (Pure)

Concept Representation Analysis in the Context of Human-Machine Interactions

Badie, F., 2016, Proceedings of the 14th International Conference e-Society 2016. International Association for Development, IADIS, p. 55-62

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

Open Access
File
interaction
learning
learning theory
paradigm
educational theory

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

Logical Characterisation of Concept Transformations from Human into Machine relying on Predicate Logic

Badie, F., 2016, ACHI 2016 : The Ninth International Conference on Advances in Computer-Human Interactions. International Academy, Research, and Industry Association (IARIA), p. 376-379

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

Open Access
logic
constructivism
learning
paradigm
interaction

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

Towards Semantic Analysis of Training-Learning Relationships within Human-Machine Interactions

Badie, F., Apr 2016, ACHI 2016, The Ninth International Conference on Advances in Computer-Human Interactions. International Academy, Research, and Industry Association (IARIA), p. 323-326

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

Open Access
Semantic Analysis
Interaction
Human Relationships
Human Being
Predicate Logic
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
6 Citations (Scopus)
1639 Downloads (Pure)

A Semantic Basis for Meaning Construction in Constructivist Interactions

Badie, F., 2015, Proceedings of the 12th International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA 2015). Sampson, D. G., Spector, J. M., Ifenthaler, D. & Isaias, P. (eds.). International Association for Development of the Information Society (iadis), p. 369-376 8 p.

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

Open Access
File
semantics
constructivism
interaction
human being
comprehension

Information structure in Dinka

Andersen, T., 2015, Information Structure and Nilotic Languages. Hieda, O. (ed.). Tokyo: Research Institute for Languages and Cultures of Asia and Africa, Tokyo University of Foreign Studies, p. 61-75 15 p. (Studies in Nilotic Linguistics, Vol. 10).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Cleft Sentence
Constituent
Information Structure
Contrastive
Cleft Constructions
3 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

Towards a Semantics-based Framework for Meaning Construction in Constructivist Interactions

Badie, F., Nov 2015, ICERI 2015 Proceedings : 8th International Conference of Education, Research and Innovation Seville, Spain. 18-20 November, 2015.. International Association of Technology, Education and Development (IATED), p. 7995-8002 7 p. (International Conference of Education, Research and Innovation).

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

constructivism
semantics
interaction
comprehension
logic
2014
1 Downloads (Pure)

A Fuzzy Knowledge Representation Model for Student Performance Assessment

Badie, F., Jul 2014, IEEE 14th International Conference on Advanced Learning Technologies.

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

Open Access
File
Knowledge representation
Students
Processing
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
4 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

Architecture of applications built on Emdros: Case studies in systems for persuasive learning

Sandborg-Petersen, U., 2013, Proceedings of the International Workshop on EuroPLOT Persuasive Technology for Learning, Education, and Teaching (IWEPLET 2013). EuroPLOT, p. 143-150 8 p.

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

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

6 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

Immersive layers design Exploring culture through a persuasive multimodal interface

Sørensen, C. G., 2013, IWEPLET 2013 Proceedings. Behringer, R. & Sinclair, G. (eds.). EuroPLOT, p. 91-99 8 p.

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

Interactions between Humans and Robots

Vlachos, E. & Schärfe, H., 2013, 1st AAU Workshop on Human-Centered Robotics. Aalborg: Aalborg Universitetsforlag, p. 29-33 5 p.

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

Human robot interaction
Robots
Robotics

Intuitive surveying & quantification of qualitative input through The Conceptual Pond

Sørensen, C. G., 2013, IWEPLET 2013 Proceedings. Behringer, R. & Sinclair, G. (eds.). EuroPLOT, p. 135-142 8 p.

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

6 Citations (Scopus)

The Geminoid Reality

Vlachos, E. & Schärfe, H., 2013, HCI International . Stephanidis, C. (ed.). Springer Berlin Heidelberg: Springer Publishing Company, Vol. 374. p. 621-625 5 p. (Communications in Computer and Information Science; No. 374).

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

Robots
Robotics
Ubiquitous computing
Computer networks
Information technology
2012
7 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

10 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
9 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
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

2245 Downloads (Pure)

The Application of Persuasive Technology to educational settings: Some theoretical from the HANDS Project

Mintz, J. & Aagaard, M., 1 Jun 2010, Persuasive 2010, Proceedings of Poster Papers for the Fifth International Conference on Persuasive Technology. Hasle, P., Plough, T., Oinas-Kukkonen, H. & Räisänen, T. (eds.). Oulu: Oulu University Press, 5 p. ( University of Oulu. Department of Information Processing Science. Series A, Research Papers).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

File

Tracing Concepts in Designing for Change

Schärfe, H. & Bertel, L. B., 2010, The 14th World Multi Conference on Systemics, Cybernetics and Informatics, Proceedings Volume III International Institute of Informatics and Systemics (IIIS). Baralt, J., Callaos, N., Chu, H-W., Jastroch, N. & Lesso, W. (eds.). Vol. III. p. 226-231 6 p.

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

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

2 Citations (Scopus)
681 Downloads (Pure)

The Persuasive Qualities of Maps

Glud, L. N., Albrechtslund, A., Harder, H. & Harder, H., 2009, Proceedings of the 4th International Conference on Persuasive Technology. Association for Computing Machinery, 9 p.

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

Open Access
File
zoo

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