180 search results - page 14 / 36 » A Default Logic Patch for Default Logic |
AI
1999
Springer
14 years 11 months ago
1999
Springer
CORR
1999
Springer
14 years 11 months ago
1999
Springer
CSUR
1999
14 years 11 months ago
1999
IJCAI
2003
15 years 1 months ago
2003
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
132
click to vote
ICLP
1995
Springer
15 years 3 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...