1167 search results - page 74 / 234 » A Really Temporal Logic |
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
TOCL
2010
13 years 4 months ago
2010
ASIAN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
KR
2010
Springer
14 years 1 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...