503 search results - page 30 / 101 » A multivalued knowledge-base model |
ICAI
2007
14 years 11 months ago
2007
– The current approaches for linking information across sources, often called record linkage, require finding common attributes between the sources and comparing the records usin...
KES
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. In exploratory learning environments, learners can use different strategies to solve a problem. To the designer or teacher, however, not all these strategies are known in...
FLAIRS
2003
14 years 11 months ago
2003
This paper proposes a modelling of information security policies in the framework of possibilistic logic. Our modelling is based on the concept of roles associated with users. Acc...
EPIA
1999
Springer
15 years 2 months ago
1999
Springer
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...