3119 search results - page 19 / 624 » General 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
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...
AI
2002
Springer
13 years 7 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...