ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Given several Dempster-Shafer belief functions, the framework of valuation networks describes an efficient method for computing the marginal of the combined belief functi...
ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
: In this paper we consider the problem of inducing causal relations from statistical data. Although it is well known that a correlation does not justify the claim of a causal rela...
ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
ECSQARU
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. This paper reviews and relates two default reasoning mechanisms, lexicographic (lex) and maximum entropy (me) entailment. Meentailment requires that defaults be assigned ...
CSL
1999
Springer
14 years 2 months ago
1999
Springer
CSL
1999
Springer
14 years 2 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤Â...
CSL
1999
Springer
14 years 2 months ago
1999
Springer
CSL
1999
Springer
14 years 2 months ago
1999
Springer
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if Ï...
CSL
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...