Sciweavers

AAAI
2015
8 years 6 months ago
On the Impossibility of Convex Inference in Human Computation
Human computation or crowdsourcing involves joint inference of the ground-truth-answers and the workerabilities by optimizing an objective function, for instance, by maximizing th...
Nihar B. Shah, Dengyong Zhou
AAAI
2015
8 years 6 months ago
Structured Sparsity with Group-Graph Regularization
In many learning tasks with structural properties, structural sparsity methods help induce sparse models, usually leading to better interpretability and higher generalization perf...
Xin-Yu Dai, Jianbing Zhang, Shujian Huang, Jiajun ...
AAAI
2015
8 years 6 months ago
SMT-Based Nonlinear PDDL+ Planning
PDDL+ planning involves reasoning about mixed discretecontinuous change over time. Nearly all PDDL+ planners assume that continuous change is linear. We present a new technique th...
Daniel Bryce, Sicun Gao, David J. Musliner, Robert...
AAAI
2015
8 years 6 months ago
SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-Makespan for Formational Positioning
Teams of mobile robots often need to divide up subtasks efficiently. In spatial domains, a key criterion for doing so may depend on distances between robots and the subtasks’ l...
Patrick MacAlpine, Eric Price, Peter Stone
AAAI
2015
8 years 6 months ago
Improving Exploration in UCT Using Local Manifolds
Monte Carlo planning has been proven successful in many sequential decision-making settings, but it suffers from poor exploration when the rewards are sparse. In this paper, we im...
Sriram Srinivasan, Erik Talvitie, Michael H. Bowli...
AAAI
2015
8 years 6 months ago
A Neural Probabilistic Model for Context Based Citation Recommendation
Automatic citation recommendation can be very useful for authoring a paper and is an AI-complete problem due to the challenge of bridging the semantic gap between citation context...
Wenyi Huang, Zhaohui Wu, Liang Chen, Prasenjit Mit...
AAAI
2015
8 years 6 months ago
Handling Uncertainty in Answer Set Programming
We present a probabilistic extension of logic programs under the stable model semantics, inspired by the concept of Markov Logic Networks. The proposed language takes advantage of...
Yi Wang, Joohyung Lee
AAAI
2015
8 years 6 months ago
Automated Analysis of Commitment Protocols Using Probabilistic Model Checking
Commitment protocols provide an effective formalism for the regulation of agent interaction. Although existing work mainly focus on the design-time development of static commitmen...
Akin Günay, Songzheng Song, Yang Liu, Jie Zha...
AAAI
2015
8 years 6 months ago
From Non-Negative to General Operator Cost Partitioning
Operator cost partitioning is a well-known technique to make admissible heuristics additive by distributing the operator costs among individual heuristics. Planning tasks are usua...
Florian Pommerening, Malte Helmert, Gabriele R&oum...
AAAI
2015
8 years 6 months ago
Online Bayesian Models for Personal Analytics in Social Media
Latent author attribute prediction in social media provides a novel set of conditions for the construction of supervised classification models. With individual authors as trainin...
Svitlana Volkova, Benjamin Van Durme