-
2
-
-
0031338097
-
Paraloge: A paraconsistent evidential logic programming language
-
November
-
B. C. Ávila, J. M. Abe, J. P.A Prado, "ParaLog-e: A Paraconsistent Evidential Logic Programming Language", XVII International Conference of the Chilean Computer Science Society, pp. 2-8, 1997-November.
-
(1997)
XVII International Conference of the Chilean Computer Science Society
, pp. 2-8
-
-
Ávila, B.C.1
Abe, J.M.2
Prado, J.P.A.3
-
4
-
-
2342636285
-
Paraconsistent foundations for logic programming
-
H. A. Blair, V. S. Subrahmanian, "Paraconsistent Foundations for Logic Programming", Journal of Non-Classic al Logic, vol. 5, no. 2, pp. 45-73, 1988.
-
(1988)
Journal of Non-Classic Al Logic
, vol.5
, Issue.2
, pp. 45-73
-
-
Blair, H.A.1
Subrahmanian, V.S.2
-
7
-
-
2342443872
-
Calculs Propositionnels pour les Systèmes Formels Inconsistants
-
N. C. A. da Costa, "Calculs Propositionnels pour les Systèmes Formels Inconsistants", Compte Rendu Acad. des Sciences (Paris), vol. 257, pp. 3790-3792, 1963.
-
(1963)
Compte Rendu Acad. des Sciences (Paris)
, vol.257
, pp. 3790-3792
-
-
Da Costa, N.C.A.1
-
8
-
-
84972535699
-
On the theory of inconsistent formal systems
-
N. C. A. da Costa, "On the Theory of Inconsistent Formal Systems", Notre Dame J. of Formal Logic, vol. 15, pp. 497-510, 1974.
-
(1974)
Notre Dame J. of Formal Logic
, vol.15
, pp. 497-510
-
-
Da Costa, N.C.A.1
-
9
-
-
11544260693
-
Relations between paraconsistent logic and many-valued logic
-
N. C. A. da Costa, E. H. Alves, "Relations between Paraconsistent Logic and Many-Valued Logic" in Bull. of the Section of Logic, Polish Academy of Sciences, vol. 10, pp. 185-191, 1981.
-
(1981)
Bull. of the Section of Logic, Polish Academy of Sciences
, vol.10
, pp. 185-191
-
-
Da Costa, N.C.A.1
Alves, E.H.2
-
10
-
-
84887121634
-
Automatic theorem proving in paraconsistent logics: Theory and implementation
-
N. C. A. da Costa, L. J. Henschen, J. J. Lu, V. S. Subrahmanian, "Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation", Proc. 10 International Conference on Automated Deduction, vol. 449, pp. 72-86, 1990.
-
(1990)
Proc. 10 International Conference on Automated Deduction
, vol.449
, pp. 72-86
-
-
Da Costa, N.C.A.1
Henschen, L.J.2
Lu, J.J.3
Subrahmanian, V.S.4
-
11
-
-
85139983802
-
Supervised and unsupervised discretization of continuous features
-
July-9-12
-
J. Dougherty, R. Kohavi, M. Sahami, "Supervised and Unsupervised Discretization of Continuous Features", Proceedings of the Twelfth International Conference on Machine Learning, pp. 194-201, 1995-July-9-12.
-
(1995)
Proceedings of the Twelfth International Conference on Machine Learning
, pp. 194-201
-
-
Dougherty, J.1
Kohavi, R.2
Sahami, M.3
-
13
-
-
0024078867
-
An analysis of four uncertainty calculi
-
September/October
-
S. J. Henkind, M. C. Harrison, "An Analysis of Four Uncertainty Calculi", IEEE Transactions on Systems Man and Cybernetics, vol. 18, no. 5, pp. 700-714, September/October 1988.
-
(1988)
IEEE Transactions on Systems Man and Cybernetics
, vol.18
, Issue.5
, pp. 700-714
-
-
Henkind, S.J.1
Harrison, M.C.2
-
14
-
-
0030651253
-
Generalization and decision tree induction: Efficient classification in data mining
-
April
-
M. Kamber, L. Winstone, W. Gong, S. Cheng, J. Han, "Generalization and Decision Tree Induction: Efficient Classification in Data Mining", Proc. of 1997 International Workshop on Research Issues on Data Engineering (RIDE'97), pp. 111-120, 1997-April.
-
(1997)
Proc. of 1997 International Workshop on Research Issues on Data Engineering (RIDE'97)
, pp. 111-120
-
-
Kamber, M.1
Winstone, L.2
Gong, W.3
Cheng, S.4
Han, J.5
-
19
-
-
0025414881
-
Uncertainty management in expert systems
-
April
-
N. Keung-Chi, B. Abramson, "Uncertainty Management in Expert Systems", IEEE Expert, pp. 29-47, April 1990.
-
(1990)
IEEE Expert
, pp. 29-47
-
-
Keung-Chi, N.1
Abramson, B.2
-
24
-
-
84948970450
-
Class-driven statistical discretization of continuous attributes (extended abstract)"
-
April
-
M. Richeldi, M. Rossotto, "Class-Driven Statistical Discretization of Continuous Attributes (Extended Abstract)", 8th ECML, pp. 335-338, 1995-April.
-
(1995)
8th ECML
, pp. 335-338
-
-
Richeldi, M.1
Rossotto, M.2
-
27
-
-
0022693287
-
Quantitative deduction and its fixpoint theory
-
M. H. van Emden, "Quantitative Deduction and Its Fixpoint Theory", The Jornal of Logic Programming, vol. 1, pp. 37-53, 1986.
-
(1986)
The Jornal of Logic Programming
, vol.1
, pp. 37-53
-
-
Van Emden, M.H.1
|