213
click to vote
FSS
2016
10 years 1 months ago
2016
We provide a methodology to introduce proof search oriented calculi for a large class of many-valued logics, and a sufficient condition for their Co-NP completeness. Our results a...
227
click to vote
FSS
2016
10 years 1 months ago
2016
In NLG systems, temporal uncertainty in raw data can hamper the inference of temporal and causal relationships between events and thus impact the quality of the generated texts. I...
284
click to vote
FSS
2016
10 years 1 months ago
2016
A discrete t-norm is a binary operation on a finite subset of the real unit interval fulfilling the same algebraic conditions as t-norms. We show that any left-continuous t-norm...
277
click to vote
FS
2016
10 years 1 months ago
2016
We develop a version of the fundamental theorem of asset pricing for discrete-time markets with proportional transaction costs and model uncertainty. A robust notion of no-arbitra...