180 search results - page 14 / 36 » A Default Logic Patch for Default Logic |
AI
1999
Springer
13 years 7 months ago
1999
Springer
CORR
1999
Springer
13 years 7 months ago
1999
Springer
CSUR
1999
13 years 7 months ago
1999
IJCAI
2003
13 years 9 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...
ICLP
1995
Springer
13 years 11 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...