3970 search results - page 69 / 794 » A Logic For Causal Reasoning |
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
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
IJCAI
2001
13 years 9 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
CADE
2001
Springer
14 years 8 months ago
2001
Springer