3793 search results - page 196 / 759 » Expressive Description Logics |
182
click to vote
ISIPTA
2005
IEEE
16 years 4 days ago
2005
IEEE
This article presents a probabilistic logic whose sentences can be interpreted as asserting the acceptability of gambles described in terms of an underlying logic. This probabilis...
150
click to vote
DEON
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
178
click to vote
IGPL
2010
15 years 3 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
149
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
170
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...