7335 search results - page 323 / 1467 » Scene Based Reasoning |
122
click to vote
KR
1998
Springer
15 years 9 months ago
1998
Springer
The initiative in STRIPS planning has recently been taken by work on propositional satisfiability. Best current planners, like Graphplan, and earlier planners originating in the p...
137
click to vote
CADE
1997
Springer
15 years 8 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
112
click to vote
CADE
1994
Springer
15 years 8 months ago
1994
Springer
We present a completion-based method for handling a new version of E-unification, called "mixed" E-unification, that is a combination of the classical "universal&quo...
114
click to vote
COLING
2000
15 years 6 months ago
2000
This paper describes a machine translation architecture that integrates the use el' examples for flexible, idiomatic translations with the use o1' linguistic rules for b...
145
click to vote
ICCBR
2010
Springer
2010
Springer
Experience-Based Critiquing: Reusing Critiquing Experiences to Improve Conversational Recommendation
15 years 3 months ago
Product recommendation systems are now a key part of many e-commerce services and have proven to be a successful way to help users navigate complex product spaces. In this paper, w...