- Cramér, H. (1946), Mathematical Methods of Statistics, Princeton University Press, Princeton, N.J.Google Scholar
- Duda, R. O., Hart, P. E., and Nilsson, N. J., (1976), Subjective Bayesian Methods for Rule-Based Inference Systems, Proceedings, 1976 NCC (AFIPS), 45, 1075-1082.Google Scholar
- Lauritzen, S.L. (1982), Lectures on Contingency Tables, 2nd Ed., U. of Aalborg Press, Aalborg, Denmark.Google Scholar
- Pearl, J. (1985), Fusion, Propagation and Structuring in Bayesian Networks, Technical Report CSD-850022, June 1985.Google Scholar
- Pearl, J. & Paz, A., (1985), GRAPHOIDS: a Graph-Based Logic for Reasoning about Relevance Relations, Technical Report CSD-850038, December 1985.Google Scholar
Index Terms
- GRAPHOIDS: Graph-Based Logic for Reasoning about Relevance Relations OrWhen Would x Tell You More about y If You Already Know z?
Recommendations
Existential second-order logic and modal logic with quantified accessibility relations
This article investigates the role of arity of second-order quantifiers in existential second-order logic, also known as Σ 1 1 . We identify fragments L of Σ 1 1 where second-order quantification of relations of arity k 1 is (nontrivially) vacuous in ...
Comments