388 search results - page 1 / 78 » Scalable Web Reasoning Using Logic Programming Techniques |
RR
2009
Springer
14 years 5 days ago
2009
Springer
WISE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
DLOG
2010
13 years 3 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
CADE
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
WEBI
2007
Springer
13 years 11 months ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...