Ivan Kramosil

Publication Activity (10 Years)

Years Active: 1971-2015
Publications (10 Years): 1

Top Topics

Random Variables

Set Valued Attributes

Variational Inequalities

Top Venues

Publications

Ivan Kramosil, Milan Daniel
Several results on set-valued possibilistic distributions. Kybernetika 51 (3) (2015)
Ivan Kramosil, Milan Daniel
Statistical Estimations of Lattice-Valued Possibilistic Distributions. ECSQARU (2011)
Ivan Kramosil
Possibilistic Measures Taking Their Values in Spaces Given by Inclusion-Closed Fragments of Power-Sets. ECSQARU (2009)
Ivan Kramosil
Partial Convergence and Continuity of Lattice-Valued Possibilistic Measures. Comput. Informatics 27 (3) (2008)
Ivan Kramosil
Lattice-Valued Possibilistic Entropy Measure. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 16 (6) (2008)
Ivan Kramosil
Lattice-Valued Possibilistic Entropy Functions. EUSFLAT Conf. (2) (2007)
Ivan Kramosil
Decision-making under uncertainty processed by lattice-valued possibilistic measures. Kybernetika 42 (6) (2006)
Ivan Kramosil
Extensions of Partial Lattice-valued Possibilistic Measures from Nested Domains. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 14 (2) (2006)
Ivan Kramosil
Continuity and completeness of lattice-valued possibilistic measures. Int. J. Gen. Syst. 35 (5) (2006)
Ivan Kramosil
Second-Level Possibilistic Measures Induced by Random Variables. ECSQARU (2005)
Ivan Kramosil
Approximations of lattice-valued possibilistic measures. Kybernetika 41 (2) (2005)
Ivan Kramosil
Almost-measurability relation induced by lattice-valued partial possibilistic measures. Int. J. Gen. Syst. 33 (6) (2004)
Ivan Kramosil
Belief functions generated by fuzzy and randomized compatibility relations. Fuzzy Sets Syst. 135 (3) (2003)
Ivan Kramosil
Products And Marginals Of Poset-Valued Fuzzy And Possibilistic Measures. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 11 (6) (2003)
Ivan Kramosil
Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them. ECSQARU (2003)
Ivan Kramosil
A nonstandard modification of Dempster combination rule. Kybernetika 38 (1) (2002)
Ivan Kramosil
Boolean-valued belief functions. Int. J. Gen. Syst. 31 (2) (2002)
Ivan Kramosil
Possibilistic alternatives of elementary notions and relations of the theory of belief functions. Kybernetika 37 (2) (2001)
Ivan Kramosil
Belief Functions with Partially Ordered Values. ECSQARU (2001)
Ivan Kramosil
Dempster Combination Rule with Boolean-Like Processed Belief Functions. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 9 (1) (2001)
Ivan Kramosil
Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions. Soft Comput. 5 (1) (2001)
Ivan Kramosil
Boolean-Like Interpretation of Sudeno Integral. ESCQARU (1999)
Ivan Kramosil
Nonspecificity Degrees of Basic Probability Assignments in Dempster-shafer Theory. Comput. Artif. Intell. 18 (6) (1999)
Ivan Kramosil
Probability propositional calculus with doubled nonstandard semantics. Kybernetika 35 (2) (1999)
Ivan Kramosil
Measure-theoretic approach to the inversion problem for belief functions. Fuzzy Sets Syst. 102 (3) (1999)
Ivan Kramosil
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals. SOFSEM (1999)
Ivan Kramosil
Alternative definitions of conditional possibilistic measures. Kybernetika 34 (2) (1998)
Ivan Kramosil
Dempster Combination Rule for Signed Belief Functions. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 6 (1) (1998)
Ivan Kramosil
Belief functions generated by signed measures. Fuzzy Sets Syst. 92 (2) (1997)
Ivan Kramosil
Belief Functions with Nonstandard Values. ECSQARU-FAPR (1997)
Ivan Kramosil
An axiomatization of extensional probability measures. Kybernetika 32 (4) (1996)
Ivan Kramosil
Nonstandard Approach to Possibility Measures. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 4 (3) (1996)
Ivan Kramosil
An Axiomatic Approach to Extensional Probability Measures. ECSQARU (1995)
Ivan Kramosil
Approximations of believability functions under incomplete identification of sets of compatible states. Kybernetika 31 (5) (1995)
Otto Exner, Ivan Kramosil, Igor Vajda
Mathematical evaluation of the fit of a theory with experimental data. J. Chem. Inf. Comput. Sci. 33 (3) (1993)
Ivan Kramosil
From an alternative model of rough sets to fuzzy sets. Kybernetika 28 (7) (1992)
Ivan Kramosil, Jan Sindelár
On pseudo-random sequences and their relation to a class of stochastical laws. Kybernetika 28 (5) (1992)
Ivan Kramosil
An alternative approach to rough sets. Kybernetika 28 (1) (1992)
Ivan Kramosil
Comparing alternative definitions of Boolean-valued fuzzy sets. Kybernetika 28 (6) (1992)
Ivan Kramosil
Model-preserving transformations of databases for rule-based expert systems with Boolean-valued weights. Knowl. Based Syst. 3 (1) (1990)
Ivan Kramosil
Parallel probabilistic searching and sortin algorithms. Kybernetika 26 (7) (1990)
Ivan Kramosil
Possible-worlds semantics for rule-based expert systems with set-valued weights. Kybernetika 25 (7) (1989)
Ivan Kramosil
Correction to: "A note on nonaxiomatizability of independence relations generated by certain probabilistic structures". Kybernetika 25 (5) (1989)
Ivan Kramosil
Extremum-searching hierarchical parallel probabilistic algorithms. Kybernetika 24 (2) (1988)
Ivan Kramosil
A note on nonaxiomatizability of independence relations generated by certain probabilistic structures. Kybernetika 24 (6) (1988)
Ivan Kramosil
Independent and identically distributed pseudo-random samples. Kybernetika 23 (1) (1987)
Ivan Kramosil
On Some Types of Pseudo-Random Sequences. MFCS (1986)
Ivan Kramosil
Statistical testing of finite sequences based on algorithmic complexity. FCT (1985)
Ivan Kramosil
Recursive classification of pseudo-random sequences. Kybernetika 20 (7) (1984)
Ivan Kramosil, Jan Sindelár
Infinite pseudo-random sequences of high algorithmic complexity. Kybernetika 20 (6) (1984)
Ivan Kramosil
On extremum-searching approximate probabilistic algorithms. Kybernetika 19 (5) (1983)
Ivan Kramosil
Three semantical interpretations of a statistical theoremhood testing procedure. Kybernetika 18 (5) (1982)
Ivan Kramosil
Computational complexity of a statistical theoremhood testing procedure for propositional calculus with pseudo-random inputs. Kybernetika 17 (5) (1981)
Ivan Kramosil
On detectors with incomplete answers. Kybernetika 17 (3) (1981)
Ivan Kramosil
Statistical testing procedure for lengths of formalized proofs. Kybernetika 16 (3) (1980)
Ivan Kramosil
Statistical approach to proof theory. Kybernetika 15 (7) (1979)
Ivan Kramosil
A Note on Computational Complexity of a Statistical Deducibility Testing Procedure. MFCS (1979)
Ivan M. Havel, Ivan Kramosil
A stochastic approach to robot plan formation. Kybernetika 14 (3) (1978)
Ivan Kramosil, Jan Sindelár
Statistical deducibility testing with stochastic parameters. Kybernetika 14 (6) (1978)
Ivan Kramosil
An attempt to formalize the notion of heuristics in state space. Kybernetika 14 (6) (1978)
Ivan Kramosil
A Boolean-valued probability theory. Kybernetika 14 (1) (1978)
Ivan Kramosil
Mechanized experiment planning in automaton-environment systems. Kybernetika 13 (4) (1977)
Ivan Kramosil
A Probabilistic Restriction of Branching Plans. MFCS (1977)
Ivan Kramosil
A selection-based formal description of an environment. Kybernetika 12 (3) (1976)
Ivan Kramosil
A probabilistic approach to automaton-environment systems. Kybernetika 11 (3) (1975)
Ivan Kramosil, Jirí Michálek
Fuzzy metrics and statistical metric spaces. Kybernetika 11 (5) (1975)
Ivan Kramosil
A Note on Deduction Rules with Negative Premises. IJCAI (1975)
Ivan Kramosil, Zbigniew Zwinogrodzki
Statistical methods for comparing theorem proving algorithms. Kybernetika 10 (3) (1974)
Ivan Kramosil
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. Kybernetika 9 (3) (1973)
Ivan Kramosil
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.). Kybernetika 8 (2) (1972)
Ivan Kramosil
Statistical estimation of deducibility in polyadic algebras. Kybernetika 7 (3) (1971)