82
Voted
IJCAI
2003
15 years 13 days ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...