835 search results - page 28 / 167 » Nonmonotonic Reasoning in Probabilistics |
AMAI
2006
Springer
13 years 7 months ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
KR
2004
Springer
14 years 23 days ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
PSSE
2004
Springer
14 years 22 days ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
ECSQARU
2005
Springer
14 years 28 days ago
2005
Springer
