364 search results - page 21 / 73 » A Map of Common Knowledge Logics |
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
108
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
107
click to vote
VISSYM
2007
15 years 4 months ago
2007
Density maps allow for visually rendering density differences, usually mapping density values to a grey or color scale. The paper analyzes the drawbacks arising from the commonly ...
143
click to vote
EKAW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
129
click to vote
ICANN
2001
Springer
15 years 6 months ago
2001
Springer
EEG segments recorded during microsleep events were transformed to the frequency domain and were subsequently clustered without the common summation of power densities in spectral ...