Approximations of believability functions under incomplete identification of sets of compatible states
An axiomatization of extensional probability measures
From an alternative model of rough sets to fuzzy sets
Mechanized experiment planning in automaton-environment systems
A note on nonaxiomatizability of independence relations generated by certain probabilistic structures
A selection-based formal description of an environment
Statistical testing procedure for lengths of formalized proofs
Recursive classification of pseudo-random sequences
Correction to: “A note on nonaxiomatizability of independence relations generated by certain probabilistic structures”
Independent and identically distributed pseudo-random samples
An attempt to formalize the notion of heuristics in state space
An alternative approach to rough sets
A Boolean-valued probability theory
A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
On extremum-searching approximate probabilistic algorithms
Statistical approach to proof theory
On detectors with incomplete answers
Parallel probabilistic searching and sorting algorithms
A probabilistic approach to automaton-environment systems
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
Page 1 Next