Probabilistic Logic Programming

[1]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[2]  Melvin Fitting,et al.  Bilattices and the Semantics of Logic Programming , 1991, J. Log. Program..

[3]  Da Costa.  The Paraconsistent Logics PT , 1991 .

[4]  V. S. Subrahmanian,et al.  The Paraconsistent Logics PJ , 1991, Math. Log. Q..

[5]  V. S. Subrahmanian.  Paraconsistent disjunctive deductive databases , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

[6]  Jean-Louis Lassez,et al.  Simplification and Elimination of Redundant Linear Arithmetic Constraints , 1989, NACLP.

[7]  Ronald Fagin,et al.  Uncertainty, belief, and probability , 1989, IJCAI 1989.

[8]  Melvin Fitting,et al.  Bilattices and the theory of truth , 1989, J. Philos. Log..

[9]  Michael Kifer,et al.  RI: a logic for reasoning with inconsistency , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[10]  Michael Kifer,et al.  On the Semantics of Rule-Based Expert Systems with Uncertainty , 1988, ICDT.

[11]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[12]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge , 1988 .

[13]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, Theor. Comput. Sci..

[14]  James F. Baldwin,et al.  Evidential support logic programming , 1987 .

[15]  V. S. Subrahmanian.  On the Semantics of Quantitative Logic Programs , 1987, SLP.

[16]  M. H. van Emden,et al.  Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..

[17]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[18]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[19]  Peter C. Cheeseman,et al.  In Defense of Probability , 1985, IJCAI.

[20]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[21]  Theodore Hailperin,et al.  Probability logic , 1984, Notre Dame J. Formal Log..

[22]  M. Karwan,et al.  Redundancy in mathematical programming : a state-of-the-art survey , 1983 .

[23]  A. Kolmogorov.  On Logical Foundations of Probability Theory , 1983 .

[24]  Alberto Martelli,et al.  An Efficient Unification Algorithm , 1982, TOPL.

[25]  B. Sauphanor.  The logical foundations of statistical inference , 1974 .

[26]  J. Lukasiewicz.  Logical foundations of probability theory , 1970 .

[27]  Lotfi A. Zadeh,et al.  Fuzzy Algorithms , 1968, Inf. Control..

[28]  D. Scott,et al.  Assigning Probabilities to Logical Formulas , 1966 .

[29]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[30]  Leo F. Boron,et al.  An Elementary Introduction to the Theory of Probability. , 1963 .

[31]  A. N. Kolmogorov,et al.  Foundations of the theory of probability , 1960 .

[32]  H. Jeffreys.  Logical Foundations of Probability , 1952, Nature.

[33]  M. Fréchet.  Généralisation du théorème des probabilités totales , 1935 .

[34]  Charles S. Peirce,et al.  A theory of probable inference. , 1883 .