
Morita equivalences between algebraic dependent type theories
We define a notion of equivalence between algebraic dependent type theor...
read it

An Uncertainty Management Calculus for Ordering Searches in Distributed Dynamic Databases
MINDS is a distributed system of cooperating query engines that customiz...
read it

Degrees of riskiness, falsifiability, and truthlikeness. A neoPopperian account applicable to probabilistic theories
In this paper, we take a fresh look at three Popperian concepts: riskine...
read it

Some Properties of Plausible Reasoning
This paper presents a plausible reasoning system to illustrate some broa...
read it

Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
The main observational equivalences of the untyped lambdacalculus have ...
read it

Pulcinella: A General Tool for Propagating Uncertainty in Valuation Networks
We present PULCinella and its use in comparing uncertainty theories. PUL...
read it

On sequentiality and wellbracketing in the πcalculus
The π calculus is used as a model for programminglanguages. Its context...
read it
On Some Equivalence Relations between Incidence Calculus and DempsterShafer Theory of Evidence
Incidence Calculus and DempsterShafer Theory of Evidence are both theories to describe agents' degrees of belief in propositions, thus being appropriate to represent uncertainty in reasoning systems. This paper presents a straightforward equivalence proof between some special cases of these theories.
READ FULL TEXT
Comments
There are no comments yet.