|
1639
|
A Mathematical Theory of Evidence
– G Shafer
- 1976
|
|
153
|
Theory of Generalized Annotated Logic Programming and its Applications
– Michael Kifer, V. S. Subrahmanian
- 1992
|
|
32
|
Incidence Calculus: A Mechanism for Probabilistic Reasoning
– A Bundy
- 1985
|
|
295
|
Real Analysis and Probability
– R M Dudley
- 2002
|
|
3
|
Correa da Silva. Automated Reasoning with Uncertainties
– F S
- 1992
|
|
386
|
Introduction to Logic Programming
– K R Apt
- 1990
|
|
2
|
Numeric and Symbolic Reasoning in Expert Systems
– P R Cohen
- 1986
|
|
78
|
An introduction to possibilistic and fuzzy logics
– D Dubois, H Prade
- 1988
|
|
5664
|
Probabilistic Reasoning in Intelligent Systems
– J Pearl
- 1988
|
|
5
|
Logic Programs with Negation: Classes, Models, Interpreters
– D Turi
- 1989
|
|
85
|
Signed data dependencies in logic programs
– K Kunen
- 1989
|
|
12
|
Introduction to Mathematical Logic (3rd. ed
– E Mendelson
- 1987
|
|
3
|
A Rational Reconstruction of Incidence Calculus
– F S Correa da Silva, A Bundy
- 1991
|
|
2
|
The Knowledge Sharing Eort. http:// www-ksl.stanford.edu/ knowledge-sharing/ papers/ kse-overview.html
– R Neches, D Gunning
- 1999
|
|
3
|
A Lightweight Capability Communication Mechanism
– David Robertson, Jaume Agusti, Flavio S. Correa da Silva, Flavio S. Corr^ea Da Silva, Wamberto W. Vasconcelos
- 2000
|
|
6
|
Der Gaag, Bayesian belief networks: Odds and ends
– L C Van
- 1996
|
|
355
|
Probabilistic logic
– N Nilsson
- 1986
|
|
341
|
Ontologies: Principles, methods and applications
– Mike Uschold, Michael Gruninger, Mike Uschold, Michael Gruninger
- 1996
|
|
585
|
The Art of Prolog
– L Sterling, E Shapiro
- 1986
|
