1268 search results - page 31 / 254 » One Logic to Use Them All |
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
PLANX
2007
13 years 11 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
FUIN
2007
13 years 9 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
ISCI
2007
13 years 9 months ago
2007
act 11 Recommender systems anticipate users’ needs by suggesting items that are likely to interest them. Most existing systems 12 employ collaborative filtering (CF) techniques,...
TARK
1998
Springer
14 years 2 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...