1634 search results - page 30 / 327 » Reasoning about Knowledge Using Rough Sets |
ESWS
2005
Springer
14 years 2 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
CKEC
1991
14 years 14 days ago
1991
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
MPC
1998
Springer
14 years 1 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Although there has been an increasing interest in dynamic bipedal locomotion for significant improvement of energy efficiency and dexterity of mobile robots in the real world...