1462 search results - page 12 / 293 » Autoepistemic Description Logics |
LPNMR
1993
Springer
15 years 2 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
2006
14 years 11 months ago
2006
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...
DLOG
2007
15 years 7 days ago
2007
CADE
2001
Springer
15 years 10 months ago
2001
Springer
DLOG
2007
15 years 7 days ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...