397 search results - page 68 / 80 » Putting Semantics into WordNet's |
ENTCS
2007
13 years 10 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
ICEIS
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
EUSFLAT
2009
13 years 8 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
ICIW
2009
IEEE
13 years 8 months ago
2009
IEEE
In this paper, we discuss the suitability of using recommendation techniques for Web service discovery in distributed registry environments. The architecture we adopt consists in ...
WWW
2002
ACM
14 years 10 months ago
2002
ACM
Richly interlinked, machine-understandable data constitute the basis for the Semantic Web. We provide a framework, CREAM, that allows for creation of metadata. While the annotatio...