Tomás Havránek - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

1992

Uncertain information processing in expert systemsPetr Hájek, Tomás Havránek, Radim Jirousek. CRC Press, 1992.

1989

Some notes to the algebraization of Dempster-Shafer treatment of uncertaintyTomás Havránek. kybernetika, 25(7):10-14, 1989. [doi]

The expert system shell EQUANT-PC: brief informationPetr Hájek, Marie Hájková, Tomás Havránek, Milan Daniel. kybernetika, 25(7):4-9, 1989. [doi]

1982

On Verbosity Levels In Cognitive Problem SolversPetr Jirku, Tomás Havránek. COLING 1982: 142-145 [doi]

1981

The Present State of the GUHA SoftwareTomás Havránek. ijmms, 15(3):253-264, 1981.

Formal Systems for Mechanized Statistical InferenceTomás Havránek. ijmms, 15(3):333-350, 1981.

The GUHA Method in the Context of Data AnalysisTomás Havránek. ijmms, 15(3):265-282, 1981.

1980

An alternative approach to missing information in the GUHA methodTomás Havránek. kybernetika, 16(2):145-155, 1980. [doi]

1977

Processing Sociological Data by the GUHA Method - An ExampleTomás Havránek, Milos Chyba, Dan Pokorny. ijmms, 9(4):439-447, 1977.

On Generation of Inductive HypothesesPetr Hájek, Tomás Havránek. ijmms, 9(4):415-438, 1977.

1976

Statistics and computabilityTomás Havránek. kybernetika, 12(5):303-315, 1976. [doi]

1975

The Approximation Problem in Computational StatisticsTomás Havránek. mfcs 1975: 258-265

1974

An application of logical-probabilistic expressions to the realization of stochastic automataTomás Havránek. kybernetika, 10(3):241-257, 1974. [doi]

A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elementsTomás Havránek. kybernetika, 10(1):13-43, 1974. [doi]

The computation of characteristic vectors of logical-probabilistic expressionsTomás Havránek. kybernetika, 10(2):80-94, 1974. [doi]

1971

The statistical interpretation and modification of GUHA methodTomás Havránek. kybernetika, 7(1):13-21, 1971. [doi]

Sign in or sign up to see more results.

runs on WebDSL