1486 search results - page 113 / 298 » A Logically Saturated Extension of |
175
click to vote
LICS
2006
IEEE
15 years 12 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
181
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
186
Voted
TABLEAUX
2005
Springer
15 years 11 months ago
2005
Springer
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
158
click to vote
AI
2006
Springer
15 years 9 months ago
2006
Springer
This paper studies the problem of classification by using a concept lattice as a search space of classification rules. The left hand side of a classification rule is composed by a ...
148
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...