Probability logic
From MaRDI portal
Publication:798650
DOI10.1305/ndjfl/1093870625zbMath0547.03018OpenAlexW4206427571MaRDI QIDQ798650
Publication date: 1984
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870625
Related Items
Characterizing consistency in probabilistic logic for a class of Horn clauses, An algebraic synthesis of the foundations of logic and probability, Borel probabilistic and quantitative logic, Measuring inconsistency with many-valued logics, Super-Solutions, Modelling a public-key infrastructure, Generalizing probabilistic material implication and Bayesian conditionals, Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds, Probabilistic satisfiability: algorithms with the presence and absence of a phase transition, Semantic probabilistic inference of predictions, Sequent calculus for classical logic probabilized, Focused most probable world computations in probabilistic logic programs, Consistency checking and querying in probabilistic databases under integrity constraints, The development of probability logic from leibniz to maccoll, A Survey of First-Order Probabilistic Models, Using Histograms to Better Answer Queries to Probabilistic Logic Programs, Probabilistic logic programming, Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches, Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking, Probability logic in the twentieth century, Probabilistic sentence satisfiability: an approach to PSAT, Completeness theorems for \(\sigma \)-additive probabilistic semantics, Homomorphic-like random set representations for fuzzy logic models using exponentiation with applications to data fusion, Reasoning with Uncertainty in Deductive Databases and Logic Programs, Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem, A semantical framework for supporting subjective and conditional probabilities in deductive databases, Logics with Probability Operators, Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
