Ivan Kramosil

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