-
4
-
-
0001842932
-
A useful four-valued logic
-
J. Dunn and G. Epstein, eds, Reidel
-
N. Belnap. A useful four-valued logic. In J. Dunn and G. Epstein, eds, Modern Uses of Multiple-Valued Logic. Reidel, 1977.
-
(1977)
Modern Uses of Multiple-Valued Logic
-
-
Belnap, N.1
-
9
-
-
0024752094
-
Paraconsistent logic programming
-
DOI 10.1016/0304-3975(89)90126-6
-
H. Blair and V.S. Subrahmanian. Paraconsistent logic programming. Theoretical Computer Science, 68(2):135-154,1989. (Pubitemid 20675597)
-
(1989)
Theoretical Computer Science
, vol.68
, Issue.2
, pp. 135-154
-
-
Blair, H.A.1
Subrahmanian, V.S.2
-
11
-
-
0029352639
-
Argumentative logics: Reasoning with classically inconsistent information
-
M. Elvang and A. Hunter. Argumentative logics: reasoning with classically inconsistent information. Journal of Knowledge and Data Engineering, 16:125-145,1995.
-
(1995)
Journal of Knowledge and Data Engineering
, vol.16
, pp. 125-145
-
-
Elvang, M.1
Hunter, A.2
-
14
-
-
0024876283
-
RI: A logic for reasoning with inconsistency
-
M, Kifer and E. Lozinskii. RI: A logic for reasoning with inconsistency. In Logic in Computer Science, pp 253-262,1989.
-
(1989)
Logic in Computer Science
, pp. 253-262
-
-
Kifer, M.1
Lozinskii, E.2
-
15
-
-
0348122238
-
Reasoning in the presence of inconsistency
-
AAAI/MIT Press
-
F. Lin. Reasoning in the presence of inconsistency. In AAAI Nat. Conf on Artificial Intelligence, pp 139-143. AAAI/MIT Press, 1987.
-
(1987)
AAAI Nat. Conf on Artificial Intelligence
, pp. 139-143
-
-
Lin, F.1
-
16
-
-
0030244768
-
A semantics for reasoning consistently in the presence of inconsistency
-
DOI 10.1016/0004-3702(95)00100-X
-
J. Lin. A semantics for reasoning consistently in the presence of inconsistency. Artificial Intelligence, 86(1-2):75-95, 1996. (Pubitemid 126364349)
-
(1996)
Artificial Intelligence
, vol.86
, Issue.1
, pp. 75-95
-
-
Lin, J.1
-
17
-
-
37349044608
-
Circumscription - A form of nonmonotonic reasoning
-
J. McCarthy. Circumscription - a form of nonmonotonic reasoning. Artificial Intelligence, 13(1-2):27-39,1980.
-
(1980)
Artificial Intelligence
, vol.13
, Issue.1-2
, pp. 27-39
-
-
McCarthy, J.1
-
20
-
-
0024681617
-
Reasoning about truth
-
G. Priest. Reasoning about truth. Artificial Intelligence, 39:231-244,1989.
-
(1989)
Artificial Intelligence
, vol.39
, pp. 231-244
-
-
Priest, G.1
-
21
-
-
0026925452
-
A logic for reasoning with inconsistent knowledge
-
N.Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 57:69-103,1992.
-
(1992)
Artificial Intelligence
, vol.57
, pp. 69-103
-
-
Roos, N.1
-
22
-
-
84990623190
-
A functional approach to non-monotonic logic
-
E. Sandewall. A functional approach to non-monotonic logic. Computational Intelligence, 1:80-87,1985.
-
(1985)
Computational Intelligence
, vol.1
, pp. 80-87
-
-
Sandewall, E.1
|