3970 search results - page 69 / 794 » A Logic For Causal Reasoning |
121
click to vote
ATAL
2007
Springer
15 years 10 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...
145
Voted
CADE
2007
Springer
16 years 4 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...
130
click to vote
IJCAI
2001
15 years 5 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...
156
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
