Search results

Paper Ubiquitous Quantum Structure 2010-02-19 Paper Bell-Boole inequality: nonlocality or probabilistic incompatibility of random variables? 2010-01-29 Paper...

Paper An initial value problem for fully three-dimensional inflectional boundary layer flows 1999-12-13 Paper A note on Hornich's problem 1999-12-12 Paper On...

nonflaming thermal degradation---the critical storage problem. 2002-05-05 Paper Large sample inference in retrial queues. 2002-05-05 Paper Learning in a higher-order...

Occur 1989-01-01 Paper Probabilistic bounds and algorithms for the maximum satisfiability problem 1989-01-01 Paper On clustering problems with connected optima...

inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation Probabilistic satisfiability Probabilistic satisfiability Transitivity...

cases of boole, cantor and brouwer Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem Inference in Nineteenth-Century...

from taxonomic and probabilistic knowledge-bases over conjunctive events Probabilistic satisfiability Probabilistic logic revisited Boole's conditions of possible...

Fundamental Theorem of Probability, his main contribution both to Boole's probabilistic inference problem on the object of probability theory, and to its modern reformulation...

column generation algorithms and the probabilistic maximum satisfiability problem On consistency in probabilistic logic for logical formulas represented...

algorithms and the probabilistic maximum satisfiability problem Iterated conditionals and characterization of P-entailment Generalizing probabilistic material implication...

solution of inference problems: Some computational experience Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem Average...

and George Boole Disjunctive closures for knowledge compilation $$\#\exists $$ SAT: Projected Model Counting On abstract modular inference systems and...

genetics Computing Bounds for Stochastic Programming Problems by Means of a Generalized Moment Problem Boole-Bonferroni Inequalities and Linear Programming Variants...

Hybrid Method for Probabilistic Satisfiability Projection, consistency, and George Boole The computational complexity of probabilistic inference using Bayesian...

Davis-Putnam procedure A continuous approach to inductive inference Projection, consistency, and George Boole A subclass of Horn CNFs optimally compressible in...

differential of probabilistic entailment Probabilistic satisfiability: algorithms with the presence and absence of a phase transition Expressive probabilistic description...

numerical and ordinal probabilistic assessments Notes on conditional previsions Probabilistic logic Column Generation Methods for Probabilistic Logic A logic for...

constraint A tabu search approach to the constraint satisfaction problem as a general problem solver Tractable disjunctions of linear constraints: Basic results...

Walter Philipp Bell-Boole inequality: nonlocality or probabilistic incompatibility of random variables? Bell's theorem and the problem of decidability between...

Programming Probabilistic (logic) programming concepts Probabilistic logic programming for hybrid relational domains Probabilistic Databases Inference and learning...