1634 search results - page 124 / 327 » Reasoning about Knowledge Using Rough Sets |
95
Voted
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
182
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
146
click to vote
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
109
Voted
KES
2004
Springer
15 years 6 months ago
2004
Springer
We consider the problem of inferring kinetic mechanisms for biochemical reactions from time series data. Using a priori knowledge about the structure of chemical reaction kinetics ...
100
Voted
LOGCOM
2000
15 years 14 days ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...