5158 search results - page 57 / 1032 » Generalization of the Dempster-Shafer Theory |
CORR
2000
Springer
13 years 8 months ago
2000
Springer
Previous work (Frank and Satta, 1998; Karttunen, 1998) has shown that Optimality Theory with gradient constraints generally is not finite state. A new finite-state treatment of gr...
MLQ
2002
13 years 8 months ago
2002
In this paper it is shown that the intuitionistic fixed point theory ID i (strict) for times iterated fixed points of strictly positive operator forms is conservative for negativ...
AI
1998
Springer
13 years 8 months ago
1998
Springer
We present a framework for recovery of nonmonotonic theories, i.e. of theories that are interpreted using a nonmonotonic semantics. Recovery of a nonmonotonic theory is needed if ...
TCS
2002
13 years 8 months ago
2002
DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications...
SLP
1990
13 years 10 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...