Sciweavers

AAAI
2015
10 years 1 months ago
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach
In many practical domains, planning systems are required to reason about durative actions. A common assumption in the literature is that the executor is allowed to decide the dura...
Alessandro Cimatti, Andrea Micheli, Marco Roveri
97
Voted
AAAI
2015
10 years 1 months ago
Expressing Arbitrary Reward Functions as Potential-Based Advice
Effectively incorporating external advice is an important problem in reinforcement learning, especially as it moves into the real world. Potential-based reward shaping is a way to...
Anna Harutyunyan, Sam Devlin, Peter Vrancx, Ann No...
AAAI
2015
10 years 1 months ago
A Planning-Based Assistance System for Setting Up a Home Theater
Modern technical devices are often too complex for many users to be able to use them to their full extent. Based on planning technology, we are able to provide advanced user assis...
Pascal Bercher, Felix Richter, Thilo Hörnle, ...
98
Voted
AAAI
2015
10 years 1 months ago
Knowledge Forgetting in Circumscription: A Preliminary Report
The theory of (variable) forgetting has received significant attention in nonmonotonic reasoning, especially, in answer set programming. However, the problem of establishing a the...
Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang
AAAI
2015
10 years 1 months ago
Factored Symmetries for Merge-and-Shrink Abstractions
Silvan Sievers, Martin Wehrle, Malte Helmert, Alex...