50 search results - page 1 / 10 » A Preference Semantics for Ground Nonmonotonic Modal Logics |
EPIA
1995
Springer
13 years 9 months ago
1995
Springer
LPNMR
1993
Springer
13 years 9 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...
AAAI
1990
13 years 6 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
AMAI
2008
Springer
13 years 5 months ago
2008
Springer
AUSAI
2003
Springer
13 years 10 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...