Ivan Kramosil

According to our database, Ivan Kramosil authored at least 71 papers between 1971 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Several results on set-valued possibilistic distributions.

Ivan Kramosil, Milan Daniel

Kybernetika, 2015

2011

Statistical Estimations of Lattice-Valued Possibilistic Distributions.

Ivan Kramosil, Milan Daniel

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2009

Possibilistic Measures Taking Their Values in Spaces Given by Inclusion-Closed Fragments of Power-Sets.

Ivan Kramosil

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

Lattice-Valued Possibilistic Entropy Measure.

Ivan Kramosil

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2008

Partial Convergence and Continuity of Lattice-Valued Possibilistic Measures.

Ivan Kramosil

Comput. Informatics, 2008

2007

Lattice-Valued Possibilistic Entropy Functions.

Ivan Kramosil

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

Decision-making under uncertainty processed by lattice-valued possibilistic measures.

Ivan Kramosil

Kybernetika, 2006

Extensions of Partial Lattice-valued Possibilistic Measures from Nested Domains.

Ivan Kramosil

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2006

Continuity and completeness of lattice-valued possibilistic measures.

Ivan Kramosil

Int. J. Gen. Syst., 2006

2005

Approximations of lattice-valued possibilistic measures.

Ivan Kramosil

Kybernetika, 2005

Second-Level Possibilistic Measures Induced by Random Variables.

Ivan Kramosil

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

2004

Almost-measurability relation induced by lattice-valued partial possibilistic measures.

Ivan Kramosil

Int. J. Gen. Syst., 2004

2003

Products And Marginals Of Poset-Valued Fuzzy And Possibilistic Measures.

Ivan Kramosil

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2003

Belief functions generated by fuzzy and randomized compatibility relations.

Ivan Kramosil

Fuzzy Sets Syst., 2003

Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them.

Ivan Kramosil

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

2002

A nonstandard modification of Dempster combination rule.

Ivan Kramosil

Kybernetika, 2002

Boolean-valued belief functions.

Ivan Kramosil

Int. J. Gen. Syst., 2002

2001

Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions.

Ivan Kramosil

Soft Comput., 2001

Possibilistic alternatives of elementary notions and relations of the theory of belief functions.

Ivan Kramosil

Kybernetika, 2001

Dempster Combination Rule with Boolean-Like Processed Belief Functions.

Ivan Kramosil

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2001

Belief Functions with Partially Ordered Values.

Ivan Kramosil

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

1999

Probability propositional calculus with doubled nonstandard semantics.

Ivan Kramosil

Kybernetika, 1999

Measure-theoretic approach to the inversion problem for belief functions.

Ivan Kramosil

Fuzzy Sets Syst., 1999

Nonspecificity Degrees of Basic Probability Assignments in Dempster-shafer Theory.

Ivan Kramosil

Comput. Artif. Intell., 1999

Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals.

Ivan Kramosil

Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

Boolean-Like Interpretation of Sudeno Integral.

Ivan Kramosil

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

Alternative definitions of conditional possibilistic measures.

Ivan Kramosil

Kybernetika, 1998

Dempster Combination Rule for Signed Belief Functions.

Ivan Kramosil

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1998

1997

Belief functions generated by signed measures.

Ivan Kramosil

Fuzzy Sets Syst., 1997

Belief Functions with Nonstandard Values.

Ivan Kramosil

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996

An axiomatization of extensional probability measures.

Ivan Kramosil

Kybernetika, 1996

Nonstandard Approach to Possibility Measures.

Ivan Kramosil

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1996

1995

Approximations of believability functions under incomplete identification of sets of compatible states.

Ivan Kramosil

Kybernetika, 1995

An Axiomatic Approach to Extensional Probability Measures.

Ivan Kramosil

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1993

Mathematical evaluation of the fit of a theory with experimental data.

Otto Exner, Ivan Kramosil, Igor Vajda

J. Chem. Inf. Comput. Sci., 1993

1992

On pseudo-random sequences and their relation to a class of stochastical laws.

Ivan Kramosil, Jan Sindelár

Kybernetika, 1992

From an alternative model of rough sets to fuzzy sets.

Ivan Kramosil

Kybernetika, 1992

Comparing alternative definitions of Boolean-valued fuzzy sets.

Ivan Kramosil

Kybernetika, 1992

An alternative approach to rough sets.

Ivan Kramosil

Kybernetika, 1992

1990

Parallel probabilistic searching and sortin algorithms.

Ivan Kramosil

Kybernetika, 1990

Model-preserving transformations of databases for rule-based expert systems with Boolean-valued weights.

Ivan Kramosil

Knowl. Based Syst., 1990

1989

Possible-worlds semantics for rule-based expert systems with set-valued weights.

Ivan Kramosil

Kybernetika, 1989

Correction to: "A note on nonaxiomatizability of independence relations generated by certain probabilistic structures".

Ivan Kramosil

Kybernetika, 1989

1988

A note on nonaxiomatizability of independence relations generated by certain probabilistic structures.

Ivan Kramosil

Kybernetika, 1988

Extremum-searching hierarchical parallel probabilistic algorithms.

Ivan Kramosil

Kybernetika, 1988

1987

Independent and identically distributed pseudo-random samples.

Ivan Kramosil

Kybernetika, 1987

1986

On Some Types of Pseudo-Random Sequences.

Ivan Kramosil

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

1985

Statistical testing of finite sequences based on algorithmic complexity.

Ivan Kramosil

Proceedings of the Fundamentals of Computation Theory, 1985

1984

Infinite pseudo-random sequences of high algorithmic complexity.

Ivan Kramosil, Jan Sindelár

Kybernetika, 1984

Recursive classification of pseudo-random sequences.

Ivan Kramosil

Kybernetika, 1984

1983

On extremum-searching approximate probabilistic algorithms.

Ivan Kramosil

Kybernetika, 1983

1982

Three semantical interpretations of a statistical theoremhood testing procedure.

Ivan Kramosil

Kybernetika, 1982

1981

Computational complexity of a statistical theoremhood testing procedure for propositional calculus with pseudo-random inputs.

Ivan Kramosil

Kybernetika, 1981

On detectors with incomplete answers.

Ivan Kramosil

Kybernetika, 1981

1980

Statistical testing procedure for lengths of formalized proofs.

Ivan Kramosil

Kybernetika, 1980

1979

Statistical approach to proof theory.

Ivan Kramosil

Kybernetika, 1979

A Note on Computational Complexity of a Statistical Deducibility Testing Procedure.

Ivan Kramosil

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1978

Statistical deducibility testing with stochastic parameters.

Ivan Kramosil, Jan Sindelár

Kybernetika, 1978

An attempt to formalize the notion of heuristics in state space.

Ivan Kramosil

Kybernetika, 1978

A Boolean-valued probability theory.

Ivan Kramosil

Kybernetika, 1978

A stochastic approach to robot plan formation.

Ivan M. Havel, Ivan Kramosil

Kybernetika, 1978

1977

Mechanized experiment planning in automaton-environment systems.

Ivan Kramosil

Kybernetika, 1977

A Probabilistic Restriction of Branching Plans.

Ivan Kramosil

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976

A selection-based formal description of an environment.

Ivan Kramosil

Kybernetika, 1976

1975

Fuzzy metrics and statistical metric spaces.

Ivan Kramosil, Jirí Michálek

Kybernetika, 1975

A probabilistic approach to automaton-environment systems.

Ivan Kramosil

Kybernetika, 1975

A Note on Deduction Rules with Negative Premises.

Ivan Kramosil

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

Statistical methods for comparing theorem proving algorithms.

Ivan Kramosil, Zbigniew Zwinogrodzki

Kybernetika, 1974

1973

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

1972

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

1971

Statistical estimation of deducibility in polyadic algebras.

Ivan Kramosil

Kybernetika, 1971