8413 search results - page 110 / 1683 » Ordering Problem Subgoals |
124
click to vote
PUK
2000
15 years 2 months ago
2000
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...
116
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
SIAMCOMP
2008
15 years 28 days ago
2008
Abstract. Monadic second-order unification is second-order unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding...
131
Voted
ACL
2009
14 years 10 months ago
2009
Hierarchical phrase-based models are attractive because they provide a consistent framework within which to characterize both local and long-distance reorderings, but they also ma...
108
Voted
AAAI
1997
15 years 2 months ago
1997
Cooperative distributed problem solving (CDPS) loosely-coupledagentscan be effectively modeledas a distributed constraint satisfaction problem(DCSP) whereeach agent has multiple l...