1154 search results - page 167 / 231 » Semantic Context Reasoning Using Ontology Based Models |
LICS
1991
IEEE
14 years 7 days ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
PADL
2009
Springer
14 years 9 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...
DEXAW
2008
IEEE
14 years 3 months ago
2008
IEEE
— One of the critical issues in search engines is the size of search indexes: as the number of documents handled by an engine increases, the search must preserve its efficiency,...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Most of the Web-based methods for lexicon augmenting consist in capturing global semantic features of the targeted domain in order to collect relevant documents from the Web. We s...
P2PKM
2004
13 years 10 months ago
2004
The ubiquitous computing vision is to make knowledge and services easily available in our everyday environments. A wide range of devices, applications and services can be intercon...