1616 search results - page 25 / 324 » A Framework for Hybrid Planning |
129
Voted
FUIN
2007
15 years 1 months ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
111
click to vote
STACS
2010
Springer
15 years 8 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
AIPS
2006
15 years 3 months ago
2006
We describe a domain-independent framework for plan summarization and comparison that can help a human understand both the key elements of an individual plan and important differe...
130
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. In recent years, within the planning literature there has been a departure from approaches computing total plans for given goals, in favour of approaches computing partia...