Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
The goal of this paper is to develop methods to handle inconsistent knowledge elicited from multiple sources. Knowledge is represented using predicates that define relationships w...
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
A question based knowledge management system with the capability to integrate heterogeneous sources of information and knowledge and which nonetheless acts like a single coherent ...
Alexander Schatten, Franz Inselkammer, A. Min Tjoa