Sciweavers

AAAI
2015
8 years 8 months ago
Strong Bounds Consistencies and Their Application to Linear Constraints
We propose two local consistencies that extend bounds consistency (BC) by simultaneously considering combinations of constraints as opposed to single constraints. We prove that th...
Christian Bessiere, Anastasia Paparrizou, Kostas S...
AAAI
2015
8 years 8 months ago
On the Role of Canonicity in Knowledge Compilation
Knowledge compilation is a powerful reasoning paradigm with many applications across AI and computer science more broadly. We consider the problem of bottom-up compilation of know...
Guy Van den Broeck, Adnan Darwiche
AAAI
2015
8 years 8 months ago
UT Austin Villa 2014: RoboCup 3D Simulation League Champion via Overlapping Layered Learning
Layered learning is a hierarchical machine learning paradigm that enables learning of complex behaviors by incrementally learning a series of sub-behaviors. A key feature of layer...
Patrick MacAlpine, Mike Depinet, Peter Stone
AAAI
2015
8 years 8 months ago
Planned Protest Modeling in News and Social Media
Civil unrest (protests, strikes, and “occupy” events) is a common occurrence in both democracies and authoritarian regimes. The study of civil unrest is a key topic for politi...
Sathappan Muthiah, Bert Huang, Jaime Arredondo, Da...
AAAI
2015
8 years 8 months ago
Robot Learning Manipulation Action Plans by "Watching" Unconstrained Videos from the World Wide Web
In order to advance action generation and creation in robots beyond simple learned schemas we need computational tools that allow us to automatically interpret and represent human...
Yezhou Yang, Yi Li, Cornelia Fermüller, Yiann...
AAAI
2015
8 years 8 months ago
Assessing the Robustness of Cremer-McLean with Automated Mechanism Design
In a classic result in the mechanism design literature, Cremer and McLean (1985) show that if buyers’ valuations are sufficiently correlated, a mechanism exists that allows the...
Michael Albert, Vincent Conitzer, Giuseppe Lopomo
AAAI
2015
8 years 8 months ago
Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric
In this paper we present a plan-plan distance metric based on Kolmogorov (Algorithmic) complexity. Generating diverse sets of plans is useful for tasks such as probing user prefer...
Robert P. Goldman, Ugur Kuter
AAAI
2015
8 years 8 months ago
Exploiting Parallelism for Hard Problems in Abstract Argumentation
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati...
AAAI
2015
8 years 8 months ago
Conducting Neuroscience to Guide the Development of AI
Study of the human brain through fMRI can potentially benefit the pursuit of artificial intelligence. Four examples are presented. First, fMRI decoding of the brain activity of ...
Jeffrey Mark Siskind
AAAI
2015
8 years 8 months ago
Online Bandit Learning for a Special Class of Non-Convex Losses
In online bandit learning, the learner aims to minimize a sequence of losses, while only observing the value of each loss at a single point. Although various algorithms and theori...
Lijun Zhang 0005, Tianbao Yang, Rong Jin, Zhi-Hua ...