Sciweavers

DLOG
2007
15 years 9 months ago
Actions and Programs over Description Logic Ontologies
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
AIPS
2008
15 years 9 months ago
Multiagent Planning Under Uncertainty with Stochastic Communication Delays
We consider the problem of cooperative multiagent planning under uncertainty, formalized as a decentralized partially observable Markov decision process (Dec-POMDP). Unfortunately...
Matthijs T. J. Spaan, Frans A. Oliehoek, Nikos A. ...
170
Voted
AIPS
2008
15 years 9 months ago
Multi-Objective Evolutionary Algorithms for Scheduling the James Webb Space Telescope
Effective scheduling of the James Webb Space Telescope (JWST) requires managing the trade-off between multiple scheduling criteria including minimizing unscheduled time, angular m...
Mark E. Giuliano, Mark D. Johnston
DLOG
2007
15 years 9 months ago
Blocking Automata for PSPACE DLs
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
Franz Baader, Jan Hladik, Rafael Peñaloza
AIPS
2008
15 years 9 months ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...