30 search results - page 1 / 6 » Neutrality and Many-Valued Logics |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
EUSFLAT
2009
13 years 3 months ago
2009
LFCS
1992
Springer
13 years 9 months ago
1992
Springer
Among non-monotonic systems of reasoning, non-monotonic modal logics, and autoepistemic logic in particular, have had considerable success. The presence of explicit modal operator...
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
LPNMR
2001
Springer
13 years 10 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...