1316 search results - page 198 / 264 » Intelligent Agents: Issues and Logics |
AAAI
2008
15 years 6 days ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
AAAI
2007
15 years 6 days ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
AAAI
2008
15 years 6 days ago
2008
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
AAAI
2007
15 years 6 days ago
2007
In recent years, the size of combinatorial applications and the need to produce high-quality solutions quickly have increased steadily, providing significant challenges for optim...
106
click to vote
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a ...