2935 search results - page 122 / 587 » Knowledge Organization for Exploration |
ELPUB
2008
ACM
13 years 12 months ago
2008
ACM
This paper will describe the informal collaborative approach taken by a group of donor funders and researchers in southern and eastern Africa aimed at consolidating the results an...
AMAI
2006
Springer
13 years 10 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
IJLT
2008
13 years 10 months ago
2008
: To enhance users' social embedding within learning networks, we propose to establish ad hoc transient communities. These communities serve a particular goal, exist for a lim...
IV
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper is the third in a series of papers designed to explore how “metaphorical meaning” can be used to support knowledge visualization. Within the present discussion the ...
FSTTCS
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...