1668 search results - page 183 / 334 » Semantic search |
294
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
181
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...
201
click to vote
JNW
2008
15 years 6 months ago
2008
The distributed nature of peer-to-peer networks offers a solid ground for the deployment of environments where multiple agents, managing several resources, can cooperate in pursuin...
185
click to vote
SAMT
2007
Springer
16 years 18 days ago
2007
Springer
Search, retrieval, and management of multimedia contents are challenging tasks for users and researchers alike. The aim of ESentencias Project is to develop a software-hardware sys...
195
click to vote
TABLEAUX
1997
Springer
15 years 10 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...