356 search results - page 16 / 72 » Axiomatizing Causal Reasoning |
111
Voted
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
114
click to vote
JAIR
2008
15 years 1 months ago
2008
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
130
Voted
UAI
2004
15 years 3 months ago
2004
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about uncertainty ...
132
click to vote
LICS
1990
IEEE
15 years 5 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
138
click to vote
LOGCOM
2007
15 years 1 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...