3891 search results - page 59 / 779 » A logic for strategic reasoning |
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...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
CADE
1994
Springer
13 years 11 months ago
1994
Springer