Sciweavers

972 search results - page 13 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
AMAI
2006
Springer
13 years 7 months ago
On a rule-based interpretation of default conditionals
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
James P. Delgrande
ECAI
2010
Springer
13 years 8 months ago
Probabilistic Logic with Conditional Independence Formulae
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
Magdalena Ivanovska, Martin Giese
ICCBR
2009
Springer
14 years 2 months ago
Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions
In this paper we revisit the trade-off between adaptation and retrieval effort traditionally held as a principle in case-based reasoning. This principle states that the time needed...
Stephen Lee-Urban, Héctor Muñoz-Avil...
ALP
1990
Springer
13 years 11 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
ECSQARU
2009
Springer
13 years 11 months ago
Using Transfinite Ordinal Conditional Functions
Abstract. Ordinal Conditional Functions (OCFs) are one of the predominant frameworks to define belief change operators. In his original paper Spohn defines OCFs as functions from t...
Sébastien Konieczny