Results 11  20
of
2,950
Probabilistic Logic under Coherence, ModelTheoretic Probabilistic Logic, and Default Reasoning
 Journal of Applied NonClassical Logics
"... We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherencebased and modeltheoretic probabilistic logic. Interestingly, we show that the notions of gcoherence and of gcoherent entailment can be expressed by co ..."
Abstract

Cited by 24 (8 self)
 Add to MetaCart
by combining notions in modeltheoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which
Default risk and income fluctuations in emerging economies’. Working Paper
 American Economic Review
, 2005
"... Recent sovereign defaults in emerging countries are accompanied by interest rate spikes and deep recessions. This paper develops a small open economy model to study default risk and its interaction with output, consumption, and foreign debt. Default probabilities and interest rates depend on incenti ..."
Abstract

Cited by 215 (9 self)
 Add to MetaCart
Recent sovereign defaults in emerging countries are accompanied by interest rate spikes and deep recessions. This paper develops a small open economy model to study default risk and its interaction with output, consumption, and foreign debt. Default probabilities and interest rates depend
Defaultreasoning with models
"... Reasoning with modelbased representations is an intuitive paradigm, which has been shown to be theoretically sound and to possess some computational advantages over reasoning with formulabased representations of knowledge. In this paper we present more evidence to the utility of such representatio ..."
Abstract

Cited by 82 (19 self)
 Add to MetaCart
of such representations. In real life situations, one normally completes a lot of missing "context" information when answering queries. We model this situation by augmenting the available knowledge about the world with contextspecific information; we show that reasoning with modelbased representations can
Plausibility Measures and Default Reasoning
 Journal of the ACM
, 1996
"... this paper: default reasoning. In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, fflsemantics, possibilistic structures, and rankings, that have been shown to be characterized by the same set of axioms, known as the KLM properties. W ..."
Abstract

Cited by 87 (12 self)
 Add to MetaCart
this paper: default reasoning. In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, fflsemantics, possibilistic structures, and rankings, that have been shown to be characterized by the same set of axioms, known as the KLM properties
Modelchecking algorithms for continuoustime Markov chains
 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 2003
"... Continuoustime Markov chains (CTMCs) have been widely used to determine system performance and dependability characteristics. Their analysis most often concerns the computation of steadystate and transientstate probabilities. This paper introduces a branching temporal logic for expressing realt ..."
Abstract

Cited by 235 (48 self)
 Add to MetaCart
time probabilistic properties on CTMCs and presents approximate model checking algorithms for this logic. The logic, an extension of the continuous stochastic logic CSL of Aziz et al., contains a timebounded until operator to express probabilistic timing properties over paths as well as an operator to express
Reasoning about beliefs and actions under computational resource constraints
 in Proceedings of the 1989 Workshop on Uncertainty and AI
, 1987
"... Although many investigators arm a desire to build reasoning systems that behave consistently with the axiomatic basis dened by probability theory and utility theory, limited resources for engineering and computation can make a complete normative analysis impossible. We attempt to move discussion be ..."
Abstract

Cited by 219 (22 self)
 Add to MetaCart
Although many investigators arm a desire to build reasoning systems that behave consistently with the axiomatic basis dened by probability theory and utility theory, limited resources for engineering and computation can make a complete normative analysis impossible. We attempt to move discussion
Conditional Reasoning with Subjective Logic
 JOURNAL OF MULTIPLEVALUED LOGIC AND SOFT COMPUTING 15(1):PP. 538
, 2008
"... Conditional inference plays a central role in logical and Bayesian reasoning, and is used in a wide range of applications. It basically consists of expressing conditional relationship between parent and child propositions, and then to combine those conditionals with evidence about the parent proposi ..."
Abstract

Cited by 63 (16 self)
 Add to MetaCart
propositions in order to infer conclusions about the child propositions. While conditional reasoning is a well established part of classical binary logic and probability calculus, its extension to belief theory has only recently been proposed. Subjective opinions represent a special type of general belief
An approach to default reasoning based on firstorder conditional logic
 Revised report, Artificial Intelligence
, 1988
"... This paper presents an approach to default reasoning based on an extension to classical firstorder logic. In this approach, firstorder logic is augmented with a “variable conditional” operator for representing default statements. Truth in the resulting logic is based on a possible worlds semantics ..."
Abstract

Cited by 75 (2 self)
 Add to MetaCart
This paper presents an approach to default reasoning based on an extension to classical firstorder logic. In this approach, firstorder logic is augmented with a “variable conditional” operator for representing default statements. Truth in the resulting logic is based on a possible worlds
A Logic for Default Reasoning About Probabilities
, 1998
"... A logic is defined that allows to express information about statistical probabilities and about degrees of belief in specific propositions. By interpreting the two types of probabilities in one common probability space, the semantics given are well suited to model the in uence of statistical informa ..."
Abstract

Cited by 12 (4 self)
 Add to MetaCart
A logic is defined that allows to express information about statistical probabilities and about degrees of belief in specific propositions. By interpreting the two types of probabilities in one common probability space, the semantics given are well suited to model the in uence of statistical
Bayesian inference on phylogeny and its impact on evolutionary biology.
 Science
, 2001
"... 1 As a discipline, phylogenetics is becoming transformed by a flood of molecular data. These data allow broad questions to be asked about the history of life, but also present difficult statistical and computational problems. Bayesian inference of phylogeny brings a new perspective to a number of o ..."
Abstract

Cited by 235 (10 self)
 Add to MetaCart
of that tree (10). Although MCMC has made analysis of many complex models possible, it is not a panacea, as chains can fail to converge to the stationary distribution for a number of reasons (e.g., a poor Problem Bayesian approach Ref. Inferring phylogeny Find tree with maximum posterior probability; evaluate
Results 11  20
of
2,950