3776 search results - page 47 / 756 » Partition-Based Logical Reasoning |
106
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
102
click to vote
KR
1992
Springer
15 years 6 months ago
1992
Springer
An algorithm is presented which eliminates second
109
click to vote
DLOG
2006
15 years 3 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
127
Voted
TIME
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...