1737 search results - page 177 / 348 » On Interpolation in Existence Logics |
165
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
198
click to vote
WILF
2009
Springer
16 years 1 months ago
2009
Springer
A number of generalizations of answer set programming have been proposed in the literature to deal with vagueness, uncertainty, and partial rule satisfaction. We introduce a unifyi...
200
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
163
click to vote
HICSS
2005
IEEE
16 years 24 days ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...
200
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...