3 search results - page 1 / 1 » Unified Definition of Heuristics for Classical Planning |
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
ICLP
2011
Springer
12 years 8 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
JUCS
2007
13 years 4 months ago
2007
: Integration of heterogeneous information in the context of Internet becomes a key activity to enable a more organized and semantically meaningful access to data sources. As Inter...