160 search results - page 13 / 32 » Rough Sets for Uncertainty Reasoning |
TIME
1994
IEEE
15 years 1 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
AUTOMATICA
2008
14 years 9 months ago
2008
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
122
Voted
TPLP
2010
14 years 8 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...