Statistical estimation of deducibility in polyadic algebras. - Ivan Kramosil (Kybernetika, 1971)

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.). - Ivan Kramosil (Kybernetika, 1972)

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. - Ivan Kramosil (Kybernetika, 1973)

Statistical methods for comparing theorem proving algorithms. - Ivan Kramosil; Zbigniew Zwinogrodzki (Kybernetika, 1974)

A Note on Deduction Rules with Negative Premises. - Ivan Kramosil (IJCAI, 1975)

A probabilistic approach to automaton-environment systems. - Ivan Kramosil (Kybernetika, 1975)

Fuzzy metrics and statistical metric spaces. - Ivan Kramosil; Jirí Michálek (Kybernetika, 1975)

A selection-based formal description of an environment. - Ivan Kramosil (Kybernetika, 1976)

A Probabilistic Restriction of Branching Plans. - Ivan Kramosil (MFCS, 1977)

Mechanized experiment planning in automaton-environment systems. - Ivan Kramosil (Kybernetika, 1977)

A stochastic approach to robot plan formation. - Ivan M. Havel; Ivan Kramosil (Kybernetika, 1978)

A Boolean-valued probability theory. - Ivan Kramosil (Kybernetika, 1978)

An attempt to formalize the notion of heuristics in state space. - Ivan Kramosil (Kybernetika, 1978)

Statistical deducibility testing with stochastic parameters. - Ivan Kramosil; Jan Sindelár (Kybernetika, 1978)

A Note on Computational Complexity of a Statistical Deducibility Testing Procedure. - Ivan Kramosil (MFCS, 1979)

Statistical approach to proof theory. - Ivan Kramosil (Kybernetika, 1979)

Statistical testing procedure for lengths of formalized proofs. - Ivan Kramosil (Kybernetika, 1980)

On detectors with incomplete answers. - Ivan Kramosil (Kybernetika, 1981)

Computational complexity of a statistical theoremhood testing procedure for propositional calculus with pseudo-random inputs. - Ivan Kramosil (Kybernetika, 1981)

Three semantical interpretations of a statistical theoremhood testing procedure. - Ivan Kramosil (Kybernetika, 1982)

On extremum-searching approximate probabilistic algorithms. - Ivan Kramosil (Kybernetika, 1983)

Recursive classification of pseudo-random sequences. - Ivan Kramosil (Kybernetika, 1984)

Infinite pseudo-random sequences of high algorithmic complexity. - Ivan Kramosil; Jan Sindelár (Kybernetika, 1984)

Statistical testing of finite sequences based on algorithmic complexity. - Ivan Kramosil (FCT, 1985)

On Some Types of Pseudo-Random Sequences. - Ivan Kramosil (MFCS, 1986)

Independent and identically distributed pseudo-random samples. - Ivan Kramosil (Kybernetika, 1987)

Extremum-searching hierarchical parallel probabilistic algorithms. - Ivan Kramosil (Kybernetika, 1988)

A note on nonaxiomatizability of independence relations generated by certain probabilistic structures. - Ivan Kramosil (Kybernetika, 1988)

Correction to: "A note on nonaxiomatizability of independence relations generated by certain probabilistic structures". - Ivan Kramosil (Kybernetika, 1989)

Possible-worlds semantics for rule-based expert systems with set-valued weights. - Ivan Kramosil (Kybernetika, 1989)

Model-preserving transformations of databases for rule-based expert systems with Boolean-valued weights. - Ivan Kramosil (Knowl. Based Syst., 1990)

Parallel probabilistic searching and sortin algorithms. - Ivan Kramosil (Kybernetika, 1990)

An alternative approach to rough sets. - Ivan Kramosil (Kybernetika, 1992)

Comparing alternative definitions of Boolean-valued fuzzy sets. - Ivan Kramosil (Kybernetika, 1992)

From an alternative model of rough sets to fuzzy sets. - Ivan Kramosil (Kybernetika, 1992)

On pseudo-random sequences and their relation to a class of stochastical laws. - Ivan Kramosil; Jan Sindelár (Kybernetika, 1992)

Mathematical evaluation of the fit of a theory with experimental data. - Otto Exner; Ivan Kramosil; Igor Vajda (J. Chem. Inf. Comput. Sci., 1993)

An Axiomatic Approach to Extensional Probability Measures. - Ivan Kramosil (ECSQARU, 1995)

Approximations of believability functions under incomplete identification of sets of compatible states. - Ivan Kramosil (Kybernetika, 1995)

Nonstandard Approach to Possibility Measures. - Ivan Kramosil (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1996)

An axiomatization of extensional probability measures. - Ivan Kramosil (Kybernetika, 1996)

Belief Functions with Nonstandard Values. - Ivan Kramosil (ECSQARU-FAPR, 1997)

Belief functions generated by signed measures. - Ivan Kramosil (Fuzzy Sets Syst., 1997)

Dempster Combination Rule for Signed Belief Functions. - Ivan Kramosil (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1998)

Alternative definitions of conditional possibilistic measures. - Ivan Kramosil (Kybernetika, 1998)

Boolean-Like Interpretation of Sudeno Integral. - Ivan Kramosil (ESCQARU, 1999)

Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals. - Ivan Kramosil (SOFSEM, 1999)

Nonspecificity Degrees of Basic Probability Assignments in Dempster-shafer Theory. - Ivan Kramosil (Comput. Artif. Intell., 1999)

Measure-theoretic approach to the inversion problem for belief functions. - Ivan Kramosil (Fuzzy Sets Syst., 1999)

Probability propositional calculus with doubled nonstandard semantics. - Ivan Kramosil (Kybernetika, 1999)

Belief Functions with Partially Ordered Values. - Ivan Kramosil (ECSQARU, 2001)

Dempster Combination Rule with Boolean-Like Processed Belief Functions. - Ivan Kramosil (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2001)

Possibilistic alternatives of elementary notions and relations of the theory of belief functions. - Ivan Kramosil (Kybernetika, 2001)

Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions. - Ivan Kramosil (Soft Comput., 2001)

Boolean-valued belief functions. - Ivan Kramosil (Int. J. Gen. Syst., 2002)

A nonstandard modification of Dempster combination rule. - Ivan Kramosil (Kybernetika, 2002)

Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them. - Ivan Kramosil (ECSQARU, 2003)

Belief functions generated by fuzzy and randomized compatibility relations. - Ivan Kramosil (Fuzzy Sets Syst., 2003)

Products And Marginals Of Poset-Valued Fuzzy And Possibilistic Measures. - Ivan Kramosil (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2003)

Almost-measurability relation induced by lattice-valued partial possibilistic measures. - Ivan Kramosil (Int. J. Gen. Syst., 2004)

Second-Level Possibilistic Measures Induced by Random Variables. - Ivan Kramosil (ECSQARU, 2005)

Approximations of lattice-valued possibilistic measures. - Ivan Kramosil (Kybernetika, 2005)

Continuity and completeness of lattice-valued possibilistic measures. - Ivan Kramosil (Int. J. Gen. Syst., 2006)

Extensions of Partial Lattice-valued Possibilistic Measures from Nested Domains. - Ivan Kramosil (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2006)

Decision-making under uncertainty processed by lattice-valued possibilistic measures. - Ivan Kramosil (Kybernetika, 2006)

Lattice-Valued Possibilistic Entropy Functions. - Ivan Kramosil (EUSFLAT Conf. (2), 2007)

Partial Convergence and Continuity of Lattice-Valued Possibilistic Measures. - Ivan Kramosil (Comput. Informatics, 2008)

Lattice-Valued Possibilistic Entropy Measure. - Ivan Kramosil (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2008)

Possibilistic Measures Taking Their Values in Spaces Given by Inclusion-Closed Fragments of Power-Sets. - Ivan Kramosil (ECSQARU, 2009)

Statistical Estimations of Lattice-Valued Possibilistic Distributions. - Ivan Kramosil; Milan Daniel (ECSQARU, 2011)

Several results on set-valued possibilistic distributions. - Ivan Kramosil; Milan Daniel (Kybernetika, 2015)