Sciweavers

8468 search results - page 85 / 1694
» Intelligent agents in e-services
Sort
View
104
Voted
AAAI
2004
15 years 5 months ago
Continuous Time in a SAT-Based Planner
Ji-Ae Shin, Ernest Davis
AAAI
2006
15 years 5 months ago
New Inference Rules for Efficient Max-SAT Solving
Federico Heras, Javier Larrosa
87
Voted
AAAI
2006
15 years 5 months ago
Regret-based Incremental Partial Revelation Mechanisms
Nathanael Hyafil, Craig Boutilier