209 search results - page 12 / 42 » Logic and refinement for charts |
124
click to vote
DGO
2003
15 years 7 months ago
2003
When looking for federal statistics, finding the right table, chart or report can be a daunting task for anyone not thoroughly familiar with the federal statistical system. Search...
159
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented i...
172
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
172
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...
142
click to vote
CSR
2006
Springer
15 years 9 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...