800 search results - page 132 / 160 » Towards a formalization of budgets |
89
Voted
AAAI
2007
15 years 16 days ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
107
click to vote
AAAI
2008
15 years 16 days ago
2008
We describe HTN-MAKER, an algorithm for learning hierarchical planning knowledge in the form of decomposition methods for Hierarchical Task Networks (HTNs). HTNMAKER takes as inpu...
AAAI
2008
15 years 16 days ago
2008
We introduce the problem of zero-data learning, where a model must generalize to classes or tasks for which no training data are available and only a description of the classes or...
86
Voted
AIPS
2008
15 years 16 days ago
2008
We consider the problem of cooperative multiagent planning under uncertainty, formalized as a decentralized partially observable Markov decision process (Dec-POMDP). Unfortunately...
WSC
2008
15 years 16 days ago
2008
This paper presents first steps towards the development of a formal model of the research process. We evaluate the use of simulation as a tool for the evaluation of research strat...