4595 search results - page 145 / 919 » Reasoning about Plans |
194
Voted
EUC
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
162
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
This text gives an overview about my current research in timing analysis
169
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
183
Voted
ATAL
2004
Springer
16 years 12 days ago
2004
Springer
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
178
click to vote
AIPS
2006
15 years 8 months ago
2006
We describe HDL, an algorithm that learns HTN domain descriptions by examining plan traces produced by an expert problem-solver. Prior work on learning HTN methods requires that a...