7991 search results - page 373 / 1599 » Using More Reasoning to Improve |
204
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
162
click to vote
DLOG
2008
15 years 9 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
171
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
In previous work, a neural network was used to increase the number of solutions found by an evolutionary multiobjective optimization algorithm. In this paper, various approaches a...
173
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Credible case-based inference (CCBI) is a new and theoretically sound inferencing mechanism for case-based systems. In this paper, we formally investigate the level of pr...
189
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we show how a user profile can be enhanced when a more detailed description of the products is included. Two main assumptions have been considered: the first implie...