1426 search results - page 7 / 286 » Specification of nonmonotonic reasoning |
LPNMR
2001
Springer
15 years 2 months ago
2001
Springer
ECSQARU
1997
Springer
15 years 1 months ago
1997
Springer
KR
1991
Springer
15 years 1 months ago
1991
Springer
ECAI
2004
Springer
15 years 1 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
125
click to vote
APWEB
2011
Springer
14 years 4 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...