260 search results - page 4 / 52 » Nonmonotonic Reasoning in FLORA-2 |
LPNMR
1993
Springer
14 years 1 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
KR
1991
Springer
14 years 1 months ago
1991
Springer
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...
ECSQARU
1997
Springer
14 years 1 months ago
1997
Springer
KR
1991
Springer
14 years 1 months ago
1991
Springer
