3970 search results - page 68 / 794 » A Logic For Causal Reasoning |
CADE
2005
Springer
14 years 8 months ago
2005
Springer
KR
1992
Springer
13 years 11 months ago
1992
Springer
An algorithm is presented which eliminates second
DLOG
2006
13 years 9 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
TIME
2008
IEEE
14 years 2 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...