2381 search results - page 129 / 477 » On Ordering Descriptions in a Description Logic |
AAAI
1996
15 years 3 months ago
1996
Agents which interact with humanson behalf of humans need a model of human social interaction in order to act appropriately. This paper is a brief description of such a modelused ...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces.
97
Voted
ENC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
119
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...