5748 search results - page 901 / 1150 » Contexts for the Semantic Web |
188
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
188
click to vote
TABLEAUX
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
180
click to vote
WEBDB
2005
Springer
16 years 5 days ago
2005
Springer
Current peer-to-peer (p2p) full-text keyword search techniques fall into the following categories: document-based partitioning, keyword-based partitioning, hybrid indexing, and se...
233
click to vote
ITRUST
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
137
click to vote
KES
2004
Springer
16 years 2 days ago
2004
Springer
This paper1 is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems...