1634 search results - page 75 / 327 » Reasoning about Knowledge Using Rough Sets |
120
click to vote
AMAI
2006
Springer
15 years 27 days ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
108
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we propose two approaches for combining geometric information with ICA algorithm to solve permutation problem under the scenario where a rough information about the...
122
click to vote
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
98
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
112
Voted
MKM
2007
Springer
15 years 7 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....