3793 search results - page 144 / 759 » Expressive Description Logics |
126
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
: The mathematical nature of description logics has meant that domain experts find them hard to understand. This forms a significant impediment to the creation and adoption of onto...
134
click to vote
ICDT
2003
ACM
15 years 9 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
123
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
179
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
114
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...