858 search results - page 65 / 172 » Planning and defeasible reasoning |
107
click to vote
CADE
2003
Springer
16 years 1 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
133
click to vote
EDBT
2012
ACM
13 years 3 months ago
2012
ACM
Query optimization in RDF Stores is a challenging problem as SPARQL queries typically contain many more joins than equivalent relational plans, and hence lead to a large join orde...
122
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
105
click to vote
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...
98
Voted
EWCBR
2008
Springer
15 years 2 months ago
2008
Springer
How to endow case-based reasoning systems with effective case adaptation capabilities is a classic problem. A significant impediment to developing automated adaptation procedures i...