Results 1  10
of
4,479
An Argumentationtheoretic Approach to Reasoning with Specificity
 In KR96
, 1996
"... We present a new argumentationtheoretic approach to default reasoning with specificity. The new approach differs from other approaches in the way priority between defaults is handled. Here, it is context sensitive rather than context independent as in other approaches. We start by showing that any ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
We present a new argumentationtheoretic approach to default reasoning with specificity. The new approach differs from other approaches in the way priority between defaults is handled. Here, it is context sensitive rather than context independent as in other approaches. We start by showing that any
Loopy belief propagation for approximate inference: An empirical study. In:
 Proceedings of Uncertainty in AI,
, 1999
"... Abstract Recently, researchers have demonstrated that "loopy belief propagation" the use of Pearl's polytree algorithm in a Bayesian network with loops can perform well in the context of errorcorrecting codes. The most dramatic instance of this is the near Shannonlimit performanc ..."
Abstract

Cited by 676 (15 self)
 Add to MetaCart
steady states it seems reasonable to try to find a way to com bine the two values. The simplest thing to do is to average them. Unfortunately, this gave very poor re sults, since the correct posteriors do not usually lie in the midpoint of the interval ( cf. 2More precisely, we found that with a
ArgumentationTheoretic Proof Procedures for Logic Programming
, 1997
"... We instantiate the abstract, argumentationbased proof procedure for (credulous) default reasoning proposed in [4, 3] to the normal logic programming case. The proof procedure computes the partial stable model [15]/preferred extension semantics [2] for logic programming. The proof procedure is sound ..."
Abstract
 Add to MetaCart
We instantiate the abstract, argumentationbased proof procedure for (credulous) default reasoning proposed in [4, 3] to the normal logic programming case. The proof procedure computes the partial stable model [15]/preferred extension semantics [2] for logic programming. The proof procedure
ArgumentationTheoretic Proof Procedures for Default Reasoning
, 1998
"... In this paper we dene an abstract proof procedure for default reasoning. The proof procedure is abstract because it applies to any logic for default reasoning which can be dened in an abstract argumentationtheoretic framework [3]. The abstract framework includes default logic, logic programming, a ..."
Abstract

Cited by 13 (6 self)
 Add to MetaCart
In this paper we dene an abstract proof procedure for default reasoning. The proof procedure is abstract because it applies to any logic for default reasoning which can be dened in an abstract argumentationtheoretic framework [3]. The abstract framework includes default logic, logic programming
Ricci Flow with Surgery on ThreeManifolds
"... This is a technical paper, which is a continuation of [I]. Here we verify most of the assertions, made in [I, §13]; the exceptions are (1) the statement that a 3manifold which collapses with local lower bound for sectional curvature is a graph manifold this is deferred to a separate paper, as the ..."
Abstract

Cited by 448 (2 self)
 Add to MetaCart
was considered by Hamilton [H 5,§4,5]; unfortunately, his argument, as written, contains an unjustified statement (RMAX = Γ, on page 62, lines 710 from the bottom), which I was unable to fix. Our approach is somewhat different, and is aimed at eventually constructing a canonical Ricci flow, defined on a largest
The Determinants of Credit Spread Changes.
 Journal of Finance
, 2001
"... ABSTRACT Using dealer's quotes and transactions prices on straight industrial bonds, we investigate the determinants of credit spread changes. Variables that should in theory determine credit spread changes have rather limited explanatory power. Further, the residuals from this regression are ..."
Abstract

Cited by 422 (2 self)
 Add to MetaCart
changes. Below, we investigate the determinants of credit spread changes. From a contingentclaims, or noarbitrage standpoint, credit spreads obtain for two fundamental reasons: 1) there is a risk of default, and 2) in the event of default, the bondholder receives only a portion of the promised payments
Reasoning about action: An argumentationtheoretic approach
 Journal of Artificial Intelligence Research
"... We present a uniform nonmonotonic solution to the problems of reasoning about action on the basis of an argumentationtheoretic approach. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic. Sophisticated problem domains can ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
We present a uniform nonmonotonic solution to the problems of reasoning about action on the basis of an argumentationtheoretic approach. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic. Sophisticated problem domains can
Preferred subtheories: an extended logical framework for default reasoning
, 1989
"... We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole's THEORIST approach to default reasoning as a particular instance. A disadvantage of THEORIST is that it does not all ..."
Abstract

Cited by 226 (11 self)
 Add to MetaCart
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole's THEORIST approach to default reasoning as a particular instance. A disadvantage of THEORIST is that it does
Belief Revision and Default Reasoning: SyntaxBased Approaches
, 1991
"... Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonically with time. Default reasoning leads to logical nonmonotonicity, i.e., the set of consequences does not grow monotonically with the set of premises. The connection between these forms of nonmonotoni ..."
Abstract

Cited by 118 (11 self)
 Add to MetaCart
Belief revision leads to temporal nonmonotonicity, i.e., the set of beliefs does not grow monotonically with time. Default reasoning leads to logical nonmonotonicity, i.e., the set of consequences does not grow monotonically with the set of premises. The connection between these forms
Results 1  10
of
4,479