Sciweavers

2312 search results - page 81 / 463
» An algorithmic approach to knowledge evolution
Sort
View
AH
2008
Springer
15 years 12 months ago
Modelling Semantic Relationships and Centrality to Facilitate Community Knowledge Sharing
Some of today’s most widely spread applications are social systems where people can form communities and share knowledge. However, knowledge sharing is not always effective and c...
Styliani Kleanthous, Vania Dimitrova
SEMWEB
2007
Springer
15 years 11 months ago
Ontology Merging using Answer Set Programming and Linguistic Knowledge
With the increasing number of ontologies available on the web, the problem of merging ontologies from different sources to interoperate applications becomes important. This paper ...
Jürgen Bock, Rodney W. Topor, Raphael Volz
CSFW
2004
IEEE
15 years 9 months ago
Symbolic Model Checking the Knowledge of the Dining Cryptographers
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
Ron van der Meyden, Kaile Su
ICN
2009
Springer
15 years 3 months ago
Implicit Media Knowledge
Implicit Media Knowledge aims to provide relevant information related to visual media without effort. It is based on the analysis of media usage from several users (e.g. a communit...
Muy-Chu Ly, Alexis Germaneau, Olivier Martinot
AI
2000
Springer
15 years 5 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza