2381 search results - page 154 / 477 » On Ordering Descriptions in a Description Logic |
105
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
110
click to vote
LOGCOM
2006
15 years 1 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
127
click to vote
AGP
1994
IEEE
15 years 6 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
88
Voted
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
140
Voted
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...