1223 search results - page 97 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
170
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
189
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
157
click to vote
JANCL
2007
15 years 6 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
178
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
152
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, we investigate dual applications for logic implications, which can provide both online error detection capabilities and improve the testing efficiency of an integr...