-
2
-
-
77952069176
-
Paraconsistent Logic Programs. JELIA-02. 8th European Conference on Logics in Artificial Intelligence
-
Alcantara,J. Damasio,C.V. Pereira,L.M. (2002). Paraconsistent Logic Programs. JELIA-02. 8th European Conference on Logics in Artificial Intelligence. Lecture Notes in Computer Science, 2424, 345-356.
-
(2002)
Lecture Notes in Computer Science
, vol.2424
, pp. 345-356
-
-
Alcantara, J.1
Damasio, C.V.2
Pereira, L.M.3
-
3
-
-
0001958635
-
Reasoning with Logical Bilattices
-
Arieli,O. Avron,A. (1996). Reasoning with Logical Bilattices. Journal of Logic, Language and Information, 5, 25-63.
-
(1996)
Journal of Logic, Language and Information
, vol.5
, pp. 25-63
-
-
Arieli, O.1
Avron, A.2
-
5
-
-
84862473124
-
Tópicos de Teoria dos Sistemas Ordenados
-
19. IEA, Univ. São Paulo.
-
C.M.Barros, N.C.A.Costa, J.M.Abe (1995). Tópicos de Teoria dos Sistemas Ordenados. Lógica e Teoria da Ciência, 17,18,19. IEA, Univ. São Paulo.
-
(1995)
Lógica e Teoria da Ciência
, vol.17
, pp. 18
-
-
Barros, C.M.1
Costa, N.C.A.2
Abe, J.M.3
-
6
-
-
0001842932
-
A useful four-valued logic, pp 8-37
-
G.Epstein, J.Dumm. Dordrecht: Reidel
-
N.D.Belnap (1977). A useful four-valued logic, pp 8-37 in G.Epstein, J.Dumm. Modern uses of Multiple Valued Logics. Dordrecht: Reidel.
-
(1977)
Modern Uses of Multiple Valued Logics
-
-
Belnap, N.D.1
-
8
-
-
22944447494
-
Paraconsistent Logics as a Formalism for Reasoning about Inconsistent Knowledge Bases
-
N.C.A.Costa, V.S.Subrahmanian (1989). Paraconsistent Logics as a Formalism for Reasoning about Inconsistent Knowledge Bases. Artificial Inteligence in Medicine, 1, 167-174.
-
(1989)
Artificial Inteligence in Medicine
, vol.1
, pp. 167-174
-
-
N.c.a, C.1
Subrahmanian, V.S.2
-
9
-
-
0004737814
-
Remarks on Annotated Logic
-
Costa, N.C.A. Abe,J.M. Subrahmanian,V.S. (1991). Remarks on Annotated Logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 37, 561-570.
-
(1991)
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
, vol.37
, pp. 561-570
-
-
Costa, N.C.A.1
Abe, J.M.2
Subrahmanian, V.S.3
-
13
-
-
0031387276
-
Bayesian Inference Procedures Derived via the Concept of Relative Surprise
-
M.Evans (1997). Bayesian Inference Procedures Derived via the Concept of Relative Surprise. Communications in Statistics, 26, 1125-1143.
-
(1997)
Communications in Statistics
, vol.26
, pp. 1125-1143
-
-
Evans, M.1
-
14
-
-
0024034424
-
Logic Programming on a Topological Bilattice
-
M. Fitting (1988). Logic Programming on a Topological Bilattice. Fundamentae Informaticae, 11, 209-218.
-
(1988)
Fundamentae Informaticae
, vol.11
, pp. 209-218
-
-
Fitting, M.1
-
15
-
-
0008004457
-
Bilattices and Theory of Truth
-
Fitting,M. (1989). Bilattices and Theory of Truth. J. Phil. Logic, 18, 225-256.
-
(1989)
J. Phil. Logic
, vol.18
, pp. 225-256
-
-
Fitting, M.1
-
18
-
-
3442902605
-
On Joint Conditional Enptropies
-
Gokhale,D.V. (1999). On Joint Conditional Enptropies. Entropy Journal,1,21-24.
-
(1999)
Entropy Journal
, vol.1
, pp. 21-24
-
-
Gokhale, D.V.1
-
23
-
-
0011935436
-
On the Bayesianity of Pereira-Stern Tests
-
Madruga,M.R. Esteves,L.G. Wechsler,S. (2001). On the Bayesianity of Pereira-Stern Tests. Test, 10, 291-299.
-
(2001)
Test
, vol.10
, pp. 291-299
-
-
Madruga, M.R.1
Esteves, L.G.2
Wechsler, S.3
-
24
-
-
0042261527
-
Bayesian Evidence Test for Precise Hypotheses
-
Madruga,M.R. Pereira,C.A.B. Stern,J.M. (2003). Bayesian Evidence Test for Precise Hypotheses. Journal of Statistical Planning and Inference, 117,185-198.
-
(2003)
Journal of Statistical Planning and Inference
, vol.117
, pp. 185-198
-
-
Madruga, M.R.1
Pereira, C.A.B.2
Stern, J.M.3
-
25
-
-
0002759394
-
Evidence and Credibility: Full Bayesian Significance Test for Precise Hypotheses
-
Pereira,C.A.B. Stern,J.M. (1999). Evidence and Credibility: Full Bayesian Significance Test for Precise Hypotheses. Entropy Journal, 1, 69-80.
-
(1999)
Entropy Journal
, vol.1
, pp. 69-80
-
-
Pereira, C.A.B.1
Stern, J.M.2
-
26
-
-
0034831147
-
Model Selection: Full Bayesian Approach
-
Pereira,C.A.B. Stern,J.M. (2001). Model Selection: Full Bayesian Approach. Environmetrics, 12, 559-568.
-
(2001)
Environmetrics
, vol.12
, pp. 559-568
-
-
Pereira, C.A.B.1
Stern, J.M.2
-
28
-
-
0036899536
-
Testing the Independence of Poisson Variates under the Holgate Bivariate Distribution, the Power of a new Evidence Test
-
Stern,J.M. Zacks,S. (2002). Testing the Independence of Poisson Variates under the Holgate Bivariate Distribution, The Power of a new Evidence Test. Statistical and Probability Letters, 60, 313-320.
-
(2002)
Statistical and Probability Letters
, vol.60
, pp. 313-320
-
-
Stern, J.M.1
Zacks, S.2
-
29
-
-
33751206644
-
Significance Tests, Belief Calculi, and Burden of Proof in Legal and Scientific Discourse. Laptec-2003, 4th Cong. Logic Applied to Technology
-
Stern,J.M. (2003). Significance Tests, Belief Calculi, and Burden of Proof in Legal and Scientific Discourse. Laptec-2003, 4th Cong. Logic Applied to Technology. Frontiers in Artificial Intelligence and its Applications, 101, 139-147.
-
(2003)
Frontiers in Artificial Intelligence and Its Applications
, vol.101
, pp. 139-147
-
-
Stern, J.M.1
|