2152 search results - page 235 / 431 » On Automating the Calculus of Relations |
165
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
144
click to vote
ILP
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes a new kind of language bias, S-structural indeterminate clauses, which takes into account the meaning of predicates that play a key role in the complexity of l...
159
click to vote
ICCBR
1997
Springer
15 years 10 months ago
1997
Springer
Previous work on feature weighting for case-based learning algorithms has tended to use either global weights or weights that vary over extremely local regions of the case space. T...
195
click to vote
ALP
1992
Springer
15 years 10 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
168
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...