3773 search results - page 82 / 755 » Logical Reasoning |
162
Voted
TARK
1992
Springer
15 years 7 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
119
click to vote
ECAI
1994
Springer
15 years 7 months ago
1994
Springer
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
174
Voted
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
134
click to vote
CI
2004
15 years 3 months ago
2004
We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we con...
147
Voted
JAR
2007
15 years 3 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...