Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
Different kinds of agents in a multi-agent system have different knowledge structure, which results in difficulties of interaction and coordination among agents. At present, ontol...
Temporal patterns composed of symbolic intervals are commonly formulated with Allen's interval relations originating in temporal reasoning. This representation has severe dis...
Knowledge representation (KR) is used to store and retrieve meaningful data. This data is saved using dynamic data structures that are suitable for the style of KR being implemente...
This paper considers learner misconceptions information which is presented to the learner in an open learner model. We suggest that specific information about misconceptions may be...