Peter Øhrstrøm

Thomas Bro Wormslev Jakobsen

Proceedings of the Graph-Based Representation and Reasoning, 2016

Investigating Worldviews with Protégé.

[BibT_eX]

[DOI]

David Jakobsen

Proceedings of the Fifth Conceptual Structures Tools & Interoperability Workshop (CSTIW 2016) held at the 22nd International Conference on Conceptual Structures (ICCS 2016), 2016

Teaching Syllogistics Using E-learning Tools.

[BibT_eX]

[DOI]

Proceedings of the E-Learning, E-Education, and Online Training, 2016

2015

Issues in robot ethics seen through the lens of a moral Turing test.

[BibT_eX]

[DOI]

Anne Gerdes

J. Inf. Commun. Ethics Soc., 2015

Teaching Syllogistics Through Gamification and Interactive Proofs.

[BibT_eX]

[DOI]

Proceedings of the Design for Teaching and Learning in a Networked World, 2015

2014

Teaching Syllogistics Using Conceptual Graphs.

[BibT_eX]

[DOI]

Proceedings of the Graph-Based Representation and Reasoning, 2014

2013

Persuasive Design in Teaching and Learning.

[BibT_eX]

[DOI]

Reinhold Behringer

Int. J. Concept. Struct. Smart Appl., 2013

Classical Syllogisms in Logic Teaching.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures for STEM Research and Education, 2013

Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments.

[BibT_eX]

[DOI]

Proceedings of the Scaling up Learning for Sustained Impact, 2013

From Geocaching to Mobile Persuasive Learning - Motivating the Interest in the Life and Work of Danish Author Kaj Munk.

[BibT_eX]

[DOI]

Lasse Burri Gram-Hansen

Sandra Burri Gram-Hansen

Proceedings of the Scaling up Learning for Sustained Impact, 2013

2012

Persuasive Mobile Technology Developed for Young People with an Autism Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Touching the Future Technology for Autism?, 2012

Branching time, indeterminism and tense logic - Unveiling the Prior-Kripke letters.

[BibT_eX]

[DOI]

Synth., 2012

Prior's defence of Hintikka's theorem. A discussion of Prior's 'The logic of obligation and the obligations of the logician'.

[BibT_eX]

[DOI]

Jörg Zeller

Synth., 2012

Preface.

[BibT_eX]

[DOI]

Synth., 2012

From a logical angle - Some studies in A.N. Prior's ideas on time, discourse and metaphysics.

[BibT_eX]

[DOI]

Synth., 2012

Time and knowledge - Some reflections on Prior's analysis of the paradox of the prisoner.

[BibT_eX]

[DOI]

Lasse Burri Gram-Hansen

Synth., 2012

Developing Persuasive Technology for ASD Challenged Teenagers.

[BibT_eX]

[DOI]

Morten Aagaard

Proceedings of the Persuasive Technology. Design for Health and Safety, 2012

2011

The Role of Credibility In the Design of Mobile Solutions To Enhance the Social Skill-Set of Teenagers Diagnosed with Autism.

[BibT_eX]

[DOI]

Anne Gerdes

J. Inf. Commun. Ethics Soc., 2011

A.N. Prior's Ideas on Tensed Ontology.

[BibT_eX]

[DOI]

David Jakobsen

Proceedings of the Conceptual Structures for Discovering Knowledge, 2011

2010

Branching Time as a Conceptual Structure.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

Towards a Common Language for the Discussion of Time Based on Prior's Tense Logic.

[BibT_eX]

[DOI]

Proceedings of the Multidisciplinary Aspects of Time and Time Perception, 2010

2009

Time in Philosophical Logic.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Towards a handy interactive persuasive diary for teenagers with a diagnosis of autism.

[BibT_eX]

[DOI]

Anja Meiland Ranfelt

Tony Wigram

Proceedings of the Persuasive Technology, Fourth International Conference, 2009

Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

2008

Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles.

[BibT_eX]

[DOI]

Sara L. Uckelman

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

2007

Surveillance, Persuasion, and Panopticon.

[BibT_eX]

[DOI]

Proceedings of the Persuasive Technology, 2007

Historical and Conceptual Foundation of Diagrammatical Ontology.

[BibT_eX]

[DOI]

Sara L. Uckelman

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

2006

Modern temporal logic: The philosophical background.

[BibT_eX]

[DOI]

Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

A.N. Prior's logic.

[BibT_eX]

[DOI]

Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

Preface.

[BibT_eX]

[DOI]

Torben Braüner

Synth., 2006

2005

What Has Happened to Ontology.

[BibT_eX]

[DOI]

Jan Andersen

Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

2004

The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science).

[BibT_eX]

Bull. EATCS, 2004

A Priorean Approach to Time Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures at Work: 12th International Conference on Conceptual Structures, 2004

2003

Representing Time and Modality in Narratives with Conceptual Graphs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures for Knowledge Creation and Communication, 2003

2002

On Teaching Conceptual Graphs.

[BibT_eX]

[DOI]

Ulrik Petersen

Proceedings of the Conceptual Structures: Integration and Interfaces, 2002

1999

A Software System for Learning Peircean Graphs.

[BibT_eX]

[DOI]

Torben Braüner

Claus Donner

Proceedings of the Conceptual Structures: Standards and Practices, 1999

KARDIO - A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making.

[BibT_eX]

[DOI]

Søren Holm

Claus Donner

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

Ockhamistic Logics and True Futures of Counterfactual Moments.

[BibT_eX]

[DOI]

Torben Braüner

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

1997

C. S. Pierce and the Quest for Gamma Graphs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997

1996

Existential Graphs and Tense Logic.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Knowledge Representation as Interlingua, 1996

1995

Temporal logic - from ancient ideas to artificial intelligence.

[BibT_eX]

Studies in linguistics and philosophy 57, ISBN: 978-0-7923-3586-3, 1995

1991

Medieval Logic and Natural Language Understanding.

[BibT_eX]

Proceedings of the Natural Language Understanding and Logic Programming, 1991

1986

The Logic of Tensed Statements in English - An Application of Logic Programming.

[BibT_eX]