1223 search results - page 37 / 245 » A Logic for Reasoning about Evidence |
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Norms are essential to extend inference: inferences based on norms are far richer than those based on logical implications. In the recent decades, much effort has been devoted to r...
127
click to vote
AAAI
1994
15 years 3 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
IPMU
2010
Springer
15 years 6 months ago
2010
Springer
Upon engineering a Bayesian network for the early detection of Classical Swine Fever in pigs, we found that the commonly used approach of separately modelling the relevant observab...
112
click to vote
CLIMA
2010
15 years 3 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...