1426 search results - page 28 / 286 » Specification of nonmonotonic reasoning |
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
AMAI
2006
Springer
14 years 9 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...
70
Voted
LOPSTR
1998
Springer
15 years 1 months ago
1998
Springer
TPHOL
2000
IEEE
15 years 1 months ago
2000
IEEE
LPAR
2007
Springer
15 years 3 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 ...