1223 search results - page 53 / 245 » A Logic for Reasoning about Evidence |
162
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...
138
click to vote
AAAI
1996
15 years 7 months ago
1996
of it suffer from a number of limitations, including: The effectiveness of an analogical reasoner depends upon its ability to select a relevant analogical source. In many problem d...
198
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
150
click to vote
IGPL
2006
15 years 6 months ago
2006
Very recently, a (fuzzy modal) logic to reason about coherent conditional probability, in the sense of de Finetti, has been introduced by the authors. Under this approach, a condi...
158
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...