5243 search results - page 147 / 1049 » Reasoning About Strategies |
155
click to vote
AMAI
2000
Springer
15 years 10 months ago
2000
Springer
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
160
click to vote
DEON
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
149
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
157
click to vote
EWCBR
1994
Springer
15 years 10 months ago
1994
Springer
We propose in this paper a general framework for integrating inductive and case-based reasoning (CBR) techniques for diagnosis tasks. We present a set of practical integrated appro...
163
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...