16091 search results - page 290 / 3219 » Solving |
184
click to vote
AAAI
1998
15 years 8 months ago
1998
Automatedreasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have manyshortcomings. The...
176
click to vote
AAAI
1997
15 years 8 months ago
1997
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
155
click to vote
AAAI
1996
15 years 8 months ago
1996
The fesractioncslly-Qcczdrrcate, cooperative (FA/C) distributed problem-solving paradigm is one approach for organizing distributed problem solving among homogeneous, cooperating ...
154
click to vote
AAAI
1996
15 years 8 months ago
1996
A team of constraint agents with diverse viewpoints canfind a solution to a constraint satisfaction problem (CSP) whenthe individual agents have an incomplete viewof the problem.I...
149
click to vote
AIPS
1994
15 years 8 months ago
1994
Generating production-quality plans is an essential element in transforming planners from research tools into real-world applications. However most of the work to date on learning...