2196 search results - page 113 / 440 » Practical Reasoning Using Values |
82
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
141
click to vote
KR
2010
Springer
15 years 7 months ago
2010
Springer
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
134
Voted
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
113
click to vote
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
The Transferable Belief Model is a powerful interpretation of belief function theory where decision making is based on the pignistic transform. Smets has proposed a generalization ...
145
click to vote
CSL
2007
Springer
2007
Springer
Speaker-adaptive learning of resonance targets in a hidden trajectory model of speech coarticulation
15 years 2 months ago
A novel speaker-adaptive learning algorithm is developed and evaluated for a hidden trajectory model of speech coarticulation and reduction. Central to this model is the process o...