124
click to vote
JAR
2016
10 years 29 days 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...
255
click to vote
JAPLL
2016
10 years 29 days 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...
299
click to vote
JAISE
2016
10 years 29 days 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...
106
click to vote
JAIR
2016
10 years 29 days 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 ...