Publikace
- Some Results on Set-Valued Possibilistic Distributions (2012)
- On a Particular Class of Lattice-Valued Possibilistic Distributions (2011)
- Embedding Upper-Semilattice-Valued Mappings to Complete Lattice-Valued Possibilistic Measures (2010)
- Statistical Estimations of Lattice-Valued Possibilistic Distributions (2010)
- Entropy Function for Chained Lattice-Valued Possibilistic Distributions and Their Non-Interactive Products (2010)
- Possibilistic Distributions Taking Values in an Incomplete Lattice (2008)
- Entropy Measure for Independent Products of Lattice-Like Processed Real-Valued Possibilistic Distributions (2007)
- Possibilistic Entropy Functions (2007)
- Extensions of Partial Lattice-Valued Possibilistic Measures from Nested Domains (2006)
- Continuity and Completeness of Lattice-Valued Possibilistic Measures (2006)
- Decision-Making under Uncertainty Processed by Lattice-Valued Possibilistic Measures (2006)
- Generalizations and Extensions of Lattice-Valued Possibilistic Measures, Part II (2006)
- Generalizations and Extensions of Lattice-Valued Possibilistic Measures, Part I (2005)
- Almost-Measurability Relation Induced by Lattice-Valued Partial Possibilistic Measures (2004)
- Products and Marginals of Poset-Valued Fuzzy and Possibilistic Measures (2003)
- A Nonstandard Modification of Dempster Combination Rule (2002)
- Probabilistic Analysis of Belief Functions (2001)
- Probabilistic Analysis of Belief Functions (2001)
- A Nonstandard Modification of Dempster Combination Rule (2001)
- Dempster Combination Rule with Boolean-Like Processed Belief Functions (2001)
- Probabilistic Analysis of Dempster-Shafer Theory. Part Three (1999)
- Nonspecificity Degrees of Basic Probability Assignments in Dempster-Shafer Theory (1999)
- Measure-Theoretic Approach to the Inversion Problem for Belief Functions (1999)
- Probabilistic Analysis of Dempster-Shafer Theory. Part Two (1998)
- Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics (1997)
- Probabilistic Analysis of Dempster-Shafer Theory. Part One (1997)
- Belief Functions Generated by Signed Measures (1997)
- Searching Algorithms Implemented on Probabilistic Systolic Arrays (1996)
- Dempster-Shafer Theory with Indiscernible States and Observations (1996)
- Believeability and Plausibility Functions over Infinite Sets (1995)
- Extensional Processing of Probability Measures (1994)
- Parallel Distributed Computational Structures for Probabilistic Solution of Searching Problems - nepublikováno, napsáno po roce 1988 (1988)
- Paralelní pravděpodobnostní algoritmy: vyhledávání ve vektorových prostorech a vyhledávání s konfliktním přístupem k databázi (1988)
- A Formal Description of Parallel Probabilistic Algorithms with Applications - nepublikováno, napsáno po roce 1988 (1988)
- Paralelismus v pravděpodobnostních algoritmech umělé inteligence založených na metodě Monte-Carlo (1987)
- Paralelní algoritmy ve znalostních systémech (1987)
- Pravděpodobnostní algoritmy lineárního uspořádání (1987)
- Několik poznámek k diskusím o roli pravděpodobnosti umělé inteligence - nepublikováno (1987)
- Hierarchické paralelní pravděpodobnostní vyhledávací algoritmy (1986)
- Statistická verifikace AEA-formulí (1985)
- Některé typy pseudonáhodných posloupností (1985)
- Pseudo-markovské posloupnosti (1985)
- Náhodný výběr termů z Herbrandova prostoru predikátových formulí se zaměřením na pravděpodobnostní algoritmy dokazování (1984)
- Pravděpodobnostní algoritmy verifikace existenciálních predikátových formulí prvého řádu (1984)
- Pravděpodobnostní model rozhodování na základě Occamova principu maximální jednoduchosti (Occamova břitva) (1984)
- Occam's Razor Principle as a Methodology for Probabilistic Decision Making - nepublikováno, napsáno po roce 1984 (1984)
- "Kladivo na data" nebo "Zahlédnutí horizontu"? (Několik poznámek k současným polemikám o situaci v matematické statistice a o mezích možností této vědní disciplíny) - nepublikováno (1983)
- Rekursivně klasifikovatelné pseudonáhodné posloupnosti (1983)
- A Probabistic Verification Algorithm for Existential First-Order-Predicate Formulas - nepublikováno, napsáno po roce 1983 (1983)
- Pravděpodobnostní algoritmy pro přibližné vyhledávání extremálních hodnot (1982)
- Pravděpodobnostní logika v umělé inteligenci (1981)
- Pseudo-pravděpodobnostní algoritmy (1981)
- Probabilistic Logic in Artificial Intelligence (1981)
- Pseudo-náhodné metody Monte-Carlo (1981)
- Mezi náhodností a složitostí - poznámka k pojmu pravděpodobnostního algoritmu (1980)
- Statistické testování dokazatelnosti jako nástroj k automatickému generování větvících se plánů pro činnost automatu s cílovým chováním (1979)
- A Formal Definition of Heuristics in the Terms of Computational Complexity - nepublikováno, napsáno po roce 1978 (1978)
- Konstruktivní test délky formalizovaných důkazů (1978)
- Statistický odhad délky formalizovaných důkazů na základě statistického testu dokazatelnosti (1978)
- Pravděpodobnostní redukce větvících se plánů pro činnost automatu s cílovým chováním (1977)
- Toward Many-Valued Logical Consistency - nepublikováno (1976)
- Teorie pravděpodobností s abstraktními hodnotami (1975)
- Selektivní proces formální reprezentace prostředí (1975)
- Statistické metody jako nástroj pro formulaci a řešení některých problémů aplikované logiky (1975)
- Statistické prověřování neformalizovaných důkazů (1974)
- Pravděpodobnostní model vztahu mezi automatem a okolím (1974)
- Random Axiomatic Systems (1973)
- Matematický formalismus pro popis chemických procesů a statistický algoritmus pro náhodný výběr chemických formulí (1972)
- On a Generalization of the First-Order Functional Calculus - nepublikováno (1972)
- Některé další vlastnosti testů dokazatelnosti v Gentzenově kalkulu - nepublikováno (1969)
- Test ohraničené délky pro testování dokazatelnosti v Gentzenově kalkulu - nepublikováno (1969)
- Statistický odhad dokazatelnosti v polyadických logikách (1968)