2381 search results - page 128 / 477 » On Ordering Descriptions in a Description Logic |
114
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
In this paper, we propose a new type of image feature, which consists of patterns of colors and intensities that capture the latent associations among images and primitive feature...
PDCAT
2004
Springer
15 years 7 months ago
2004
Springer
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the “Blaster” spread quickly through the eno...
97
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
150
click to vote
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
116
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...