3970 search results - page 135 / 794 » A Logic For Causal Reasoning |
IJCAI
2007
13 years 9 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
DLOG
2011
12 years 11 months ago
2011
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
DLOG
2006
13 years 9 months ago
2006
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
EUSFLAT
2009
13 years 5 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters