179
Voted
JAR
2016
10 years 3 months ago
2016
Abstract We describe a general method for verifying inequalities between realvalued expressions, especially the kinds of straightforward inferences that arise in interactive theore...
302
Voted
JAR
2016
10 years 3 months ago
2016
316
click to vote
JAPLL
2016
10 years 3 months ago
2016
We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise pr...
363
Voted
JAISE
2016
10 years 3 months ago
2016
Over the past decade intelligent environments have grown in sophistication. Many recent paradigm shifts − such as the Internet of Things (IoT), Ambient Assisted Living (AAL), e-h...
158
Voted
JAIR
2016
10 years 3 months ago
2016
Crowdsourcing markets have emerged as a popular platform for matching available workers with tasks to complete. The payment for a particular task is typically set by the task’s ...