Conceptual Structures: Inspiration and Application
14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings
Page
%P
12 Result(s)
within
Peter Øhrstrøm
Discrete Mathematics in Computer Science
-
Chapter and Conference Paper
The Interpretation of Branching Time Diagrams
The use of branching time diagrams in tense logic was originally suggested in 1957 by Saul Kripke. During the following years, A.N. Prior (1914–1969) developed models with forwards branching and backwards lin...
-
Chapter and Conference Paper
Teaching Syllogistics Using Conceptual Graphs
It has for centuries been commonly believed that syllogistic reasoning is an essential part of human rationality. For this reason, Aristotelian syllogistics has since the rise of the European university been a...
-
Chapter and Conference Paper
Classical Syllogisms in Logic Teaching
This paper focuses on the challenges of introducing classical syllogisms in university courses in elementary logic and human reasoning. Using a program written in Prolog+CG, some empirical studies have been ca...
-
Chapter and Conference Paper
Jacob Lorhard’s Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles
Jacob Lorhard published his ontology in 1606. In this work the term ontologia ‘ontology’ was used for the first time ever. In this paper, it is argued that Lorhard’s ontology provides a useful key to the understa...
-
Chapter and Conference Paper
Historical and Conceptual Foundation of Diagrammatical Ontology
During the Renaissance there was a growing interest for the use of diagrams within conceptual studies. This paper investigates the historical and philosophical foundation of this renewed use of diagrams in ont...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
What Has Happened to Ontology
Ontology as the study of being as such dates back to ancient Greek philosophy, but the term itself was coined in the early 17th century. The idea termed in this manner was further studied within academic circles ...
-
Chapter and Conference Paper
A Priorean Approach to Time Ontologies
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued that “the four grades of tense-...
-
Chapter and Conference Paper
Representing Time and Modality in Narratives with Conceptual Graphs
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a formalism that takes into acc...
-
Chapter and Conference Paper
On Teaching Conceptual Graphs
In this paper we describe and evaluate two on-line courses on Conceptual Graphs and Prolog+CG given to 2nd and 3rd year students of Humanistic Informatics at Aalborg University, Denmark. The average student had n...
-
Chapter and Conference Paper
A Software System for Learning Peircean Graphs
In this paper, we describe a software system for learning graph-based reasoning. The system is designed for learning Peircean graphs in an interactive fashion that allows each student to proceed in his or her ...
-
Chapter and Conference Paper
C. S. Peirce and the quest for gamma graphs
This paper deals with some aspects of the history of C. S. Peirce's Existential Graphs. In his construction of this graphical method during 1896–1897 Peirce was motivated by some interesting considerations reg...
