论文列表及评分结果
Integrating statistical theory with statistical databases.
电商所评分：4
Enhancing medial exert systems with knowledge obtained from statistical data.
电商所评分：7
Choosing reference classes and building provisional models.
电商所评分：4
Software abstraction of elements of statistical strategy.
电商所评分：9
Using statistics to make expert systems "user-acquainted".
电商所评分：1
Probability propagation.
电商所评分：8
Techniques for Bayesian analysis in expert systems.
电商所评分：6
Information and probabilistic reasoning.
电商所评分：4
Finding the likely behaviors of static continuous nonlinear systems.
电商所评分：3
Recent Work at the Interface of Logic, Combinatorics and Computer Science.
电商所评分：10
Undecidable Statements and Random Graphs.
电商所评分：4
The Kreisel Length-of-Proof Problem.
电商所评分：9
ALOGTIME and a Conjecture of S. A. Cook.
电商所评分：1
On Induction-Free Provability.
电商所评分：8
Circuits in Bounded Arithmetic, Part I.
电商所评分：7
The Relative Complexity of Resolution and Cut-Free Gentzen Systems.
电商所评分：1
Davis-Putnam Resolution versus Unrestricted Resolution.
电商所评分：2
Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior.
电商所评分：8
The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II.
电商所评分：3
An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving.
电商所评分：10
The Unique Horn-Satisfiability Problem and Quadratic Boolean Equations.
电商所评分：2
A Finite Intersection Property and the Loeb Measurability of Ultrafilters on Hyperfinite Sets.
电商所评分：9
Generalized Resolution for 0-1 Linear Inequalities.
电商所评分：9
Turing Complexity of Behncke-Leptin C*-algebras with a Two-Point Dual.
电商所评分：9
Efficient matching of nonrectangular shapes.
电商所评分：6
Hypersequents, logical consequence and intermediate logics for concurrency.
电商所评分：3
Search for the best decision rules with the help of a probabilistic estimate.
电商所评分：5
A set expression based inheritance system.
电商所评分：5
The representation and manipulation of the algorithmic probability measure for problem solving.
电商所评分：9
The relationship between knowledge, belief and certainty.
电商所评分：9