1634 search results - page 31 / 327 » Reasoning about Knowledge Using Rough Sets |
116
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
—A framework for scrutinizing baseball videos is proposed. By applying the well-defined baseball rules, this work exactly identifies what happens in a game rather than roughly fi...
128
click to vote
EWCBR
2006
Springer
15 years 6 months ago
2006
Springer
The present paper describes a case-based reasoning solution for solving the task of selecting adequate templates for realizing messages describing actions in a given domain. This s...
157
click to vote
AGI
2011
14 years 6 months ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
145
click to vote
LICS
1999
IEEE
15 years 7 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
119
click to vote
CADE
2010
Springer
15 years 4 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...