2519 search results - page 327 / 504 » Reasoning with Textual Cases |
160
click to vote
AIME
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
172
click to vote
CAEPIA
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
167
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
185
click to vote
LPNMR
2005
Springer
16 years 19 hour ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
140
click to vote
TARK
2005
Springer
16 years 7 hour ago
2005
Springer
Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of...