Ivan Kramosil

发表

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

Ivan Kramosil, 2001, Soft Comput..

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

Ivan Kramosil, Jan Sindelár, 1992, Kybernetika.

Extremum-searching hierarchical parallel probabilistic algorithms

Ivan Kramosil, 1988, Kybernetika.

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

Ivan Kramosil, 1988, Kybernetika.

Parallel probabilistic searching and sortin algorithms

Ivan Kramosil, 1990, Kybernetika.

Expert systems with boolean-valued uncertainties

Ivan Kramosil, Ivan Kramosil, 1991 .

An alternative approach to rough sets

Ivan Kramosil, 1992, Kybernetika.

Fuzzy metrics and statistical metric spaces

Ivan Kramosil, Jirí Michálek, Ivan Kramosil, 1975, Kybernetika.

Infinite pseudo-random sequences of high algorithmic complexity

Ivan Kramosil, Jan Sindelár, 1984, Kybernetika.

On Some Types of Pseudo-Random Sequences

Ivan Kramosil, 1986, MFCS.

Belief functions generated by fuzzy and randomized compatibility relations

Ivan Kramosil, Ivan Kramosil, 2003, Fuzzy Sets Syst..

Second-Level Possibilistic Measures Induced by Random Variables

Ivan Kramosil, Ivan Kramosil, 2005, ECSQARU.

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

Ivan Kramosil, 1995, Kybernetika.

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

Ivan Kramosil, 1989, Kybernetika.

On detectors with incomplete answers

Ivan Kramosil, 1981, Kybernetika.

An Axiomatic Approach to Extensional Probability Measures

Ivan Kramosil, Ivan Kramosil, 1995, ECSQARU.

Three semantical interpretations of a statistical theoremhood testing procedure

Ivan Kramosil, Ivan Kramosil, 1982, Kybernetika (Praha).

An axiomatization of extensional probability measures

Ivan Kramosil, 1996, Kybernetika.

Dempster Combination Rule for Signed Belief Functions

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

Extensions of Partial Lattice-valued Possibilistic Measures from Nested Domains

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

Mathematical evaluation of the fit of a theory with experimental data

Ivan Kramosil, Igor Vajda, Otto Exner, 1993, J. Chem. Inf. Comput. Sci..

Nonstandard Approach to Possibility Measures

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

Belief Functions Induced by Partial Compatibility Relations

Ivan Kramosil, 2001 .

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

Ivan Kramosil, 2001, Kybernetika.

Boolean-valued belief functions

Ivan Kramosil, Ivan Kramosil, 2002, Int. J. Gen. Syst..

Lattice-Valued Possibilistic Entropy Functions

Ivan Kramosil, Ivan Kramosil, 2007, EUSFLAT Conf..

Partial Convergence and Continuity of Lattice-Valued Possibilistic Measures

Ivan Kramosil, Ivan Kramosil, 2008, Comput. Informatics.

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

Ivan Kramosil, Ivan Kramosil, 2009, ECSQARU.

Algorithmic Complexity and Pseudo-Random Sequences

Ivan Kramosil, 1988 .

A probabilistic approach to automaton-environment systems

Ivan Kramosil, 1975, Kybernetika.

Lattice-Valued Possibilistic Entropy Measure

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

Approximations of lattice-valued possibilistic measures

Ivan Kramosil, Ivan Kramosil, 2005, Kybernetika.

Preliminaries on Axiomatic Probability Theory

Ivan Kramosil, 2001 .

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

Ivan Kramosil, Ivan Kramosil, 2003, ECSQARU.

Independent and identically distributed pseudo-random samples

Ivan Kramosil, 1987, Kybernetika.

From an alternative model of rough sets to fuzzy sets

Ivan Kramosil, 1992, Kybernetika.

Alternative definitions of conditional possibilistic measures

Ivan Kramosil, 1998, Kybernetika.

Monte-Carlo Methods from the Point of View of Algorithmic Complexity

Ivan Kramosil, 1983 .

Belief functions generated by signed measures

Ivan Kramosil, 1997, Fuzzy Sets Syst..

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

Ivan Kramosil, 1981, Kybernetika.

Statistical Estimations of Lattice-Valued Possibilistic Distributions

Ivan Kramosil, Milan Daniel, Ivan Kramosil, 2011, ECSQARU.

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

Ivan Kramosil, Ivan Kramosil, 2006, Kybernetika.

Institute of Information Theory and Automation of the AS CR

Radko Mesiar, Jan Flusser, Ivan Kramosil, 2008 .

A nonstandard modification of Dempster combination rule

Ivan Kramosil, 2002, Kybernetika.

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

Ivan Kramosil, Ivan Kramosil, 2004, Int. J. Gen. Syst..

On extremum-searching approximate probabilistic algorithms

Ivan Kramosil, 1983, Kybernetika.

Fuzzy Sets and Fuzzy Logic --Foundations of Applications from a Mathematical Point of View

Ivan Kramosil, 1995 .

Belief Functions with Nonstandard Values

Ivan Kramosil, 1997, ECSQARU-FAPR.

The most simple systolic architectures for parallel probabilistic searching algorithms

Ivan Kramosil, 1993 .

Measure-theoretic approach to the inversion problem for belief functions

Ivan Kramosil, 1999, Fuzzy Sets Syst..

Statistical testing of finite sequences based on algorithmic complexity

Ivan Kramosil, 1985, FCT.

Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals

Ivan Kramosil, 1999, SOFSEM.

A selection-based formal description of an environment

Ivan Kramosil, 1976, Kybernetika.

Statistical methods for comparing theorem proving algorithms

Ivan Kramosil, Zbigniew Zwinogrodzki, 1974, Kybernetika.

A stochastic approach to robot plan formation

Ivan Kramosil, Ivan M. Havel, 1978, Kybernetika.

Products And Marginals Of Poset-Valued Fuzzy And Possibilistic Measures

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

Statistical estimation of deducibility in polyadic algebras

Ivan Kramosil, 1971, Kybernetika.

Boolean—Valued and Boolean—Like Processed Belief Functions

Ivan Kramosil, 2001 .

Some Remarks on Probabilities Over Formalized Languages

Ivan Kramosil, 1978 .

Mechanized experiment planning in automaton-environment systems

Ivan Kramosil, 1977, Kybernetika.

Nonspecificity Degrees of Basic Probability Assignments in Dempster-shafer Theory

Ivan Kramosil, 1999, Comput. Artif. Intell..

A Note on Deduction Rules with Negative Premises

Ivan Kramosil, Ivan Kramosil, 1975, IJCAI.

Comparing alternative definitions of Boolean-valued fuzzy sets

Ivan Kramosil, 1992, Kybernetika.

Belief Functions with Partially Ordered Values

Ivan Kramosil, Ivan Kramosil, 2001, ECSQARU.

Recursive classification of pseudo-random sequences

Ivan Kramosil, 1984, Kybernetika.

Probability propositional calculus with doubled nonstandard semantics

Ivan Kramosil, 1999, Kybernetika.

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

Ivan Kramosil, 1990, Knowl. Based Syst..

An attempt to formalize the notion of heuristics in state space

Ivan Kramosil, 1978, Kybernetika.

Probabilistic Analysis of Dempster Combination Rule

Ivan Kramosil, 2001 .

Continuity and completeness of lattice-valued possibilistic measures

Ivan Kramosil, Ivan Kramosil, 2006, Int. J. Gen. Syst..

A Boolean-valued probability theory

Ivan Kramosil, Ivan Kramosil, 1978, Kybernetika.

Probabilistic Model of Decision Making under Uncertainty

Ivan Kramosil, 2001 .

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, 1972, Kybernetika.

Several results on set-valued possibilistic distributions

Ivan Kramosil, Milan Daniel, Ivan Kramosil, 2015, Kybernetika.

Statistical deducibility testing with stochastic parameters

Ivan Kramosil, Jan Sindelár, 1978, Kybernetika.

Statistical approach to proof theory

Ivan Kramosil, 1979, Kybernetika.

A Note on Computational Complexity of a Statistical Deducibility Testing Procedure

Ivan Kramosil, 1979, MFCS.

A Probabilistic Restriction of Branching Plans

Ivan Kramosil, 1977, MFCS.

Statistical testing procedure for lengths of formalized proofs

Ivan Kramosil, 1980, Kybernetika.

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, 1973, Kybernetika.

Boolean-Like Interpretation of Sudeno Integral

Ivan Kramosil, Ivan Kramosil, 1999, ESCQARU.

Monte-Carlo Estimations for Belief Functions

Ivan Kramosil, 2001 .

Jordan Decomposition of Signed Belief Functions

Ivan Kramosil, 2001 .

DEMPSTER-SHAFER THEORY WITH INDISCERNIBLE STATES AND OBSERVATIONS

Ivan Kramosil, 1996 .

BELIEVEABILITY AND PLAUSIBILITY FUNCTIONS OVER INFINITE SETS1

Ivan Kramosil, 1995 .