Search results
- 1.0403714 - UIVT-O 990083 RIV SK eng C - Conference Paper (international conference)
Daniel, Milan
Theoretical Comparison of Inference in CADIAG and MYCIN-like Systems.
Fuzzy Sets. Theory and Applications. Bratislava: Mathematical Institute SAS, 1999 - (Kolesárová, A.; Kalina, M.), s. 255-272. Tatra Mountains Mathematical Publications, 16. ISSN 1210-3195.
[FSTA 1998 /4./. Liptovský Ján (SK), 02.02.1998-06.02.1998]
R&D Projects: GA AV ČR IAA1030601
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124010 - 2.0403541 - UIVT-O 20000016 RIV US eng C - Conference Paper (international conference)
Hájek, Petr
Mathematical Fuzzy Logic - State of Art.
Logic Colloquium' 98 Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Natick: ASL, 2000 - (Buss, S.; Hájek, P.; Pudlák, P.), s. 197-205. Lecture Notes in Logic, 13. ISBN 1-56881-113-6.
[Logic Colloquium'98. Prague (CZ), 09.08.1998-15.08.1998]
R&D Projects: GA AV ČR IAA1030601
Institutional research plan: AV0Z1030915
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123843 - 3.0403521 - UIVT-O 980117 RIV DE eng C - Conference Paper (international conference)
Hájek, Petr - Holeňa, Martin
Formal Logics of Discovery and Hypothesis Formation by Machine.
Discovery Science. Berlin: Springer, 1998 - (Arikawa, S.; Motoda, H.), s. 291-302. Lecture Notes in Artificial Intelligence, 1532. ISBN 3-540-65390-2.
[DS'1998. Discovery Science. International Conference /1./. Fukuoka (JP), 14.12.1998-16.12.1998]
R&D Projects: GA AV ČR IAA1030601
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123823 - 4.0403514 - UIVT-O 980115 RIV LU eng C - Conference Paper (international conference)
Harmancová, Dagmar - Holeňa, Martin - Sochorová, Anna
Overview of the GUHA Method for Automating Knowledge Discovery in Data Sets.
Proceedings of the Conference of Knowledge Extraction and Symbolic Data Analysis: KESDA'98. Luxembourg: European Communities, 1999 - (Noirhomme-Fraiture, M.), s. 65-77. ISBN 92-828-8145-8.
[KESDA'98. Luxembourg (LU), 27.04.1998-28.04.1998]
R&D Projects: GA AV ČR IAA1030601
Institutional research plan: AV0Z1030915
Subject RIV: BB - Applied Statistics, Operational Research
Permanent Link: http://hdl.handle.net/11104/0123816 - 5.0403448 - UIVT-O 980087 RIV FR eng C - Conference Paper (international conference)
Daniel, Milan
Contradiction in Combination of Belief Functions.
IPMU Proceedings. Paris: E.D.K., 1998, s. 56-63. ISBN 2-84254-013-1.
[IPMU'98 /7./. Paris (FR), 06.07.1998-10.07.1998]
R&D Projects: GA AV ČR IAA1030601
Grant - others:COST(XE) OC 15.10
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123755 - 6.0403414 - UIVT-O 980067 RIV TW eng C - Conference Paper (international conference)
Štuller, Július
Existence Conditions and Classification of the Inconsistencies in the Databases Integration.
Proceedings of Workshop on Software Engineering and Database Systems. Tainan: National Cheng Kung University, 1998, s. 6-13. ISBN 957-8845-13-8.
[ICS'98. Tainan (TW), 17.12.1998-19.12.1998]
R&D Projects: GA ČR GA201/97/1070; GA AV ČR IAA1030601
Subject RIV: BD - Theory of Information
Permanent Link: http://hdl.handle.net/11104/0123724 - 7.0402956 - UIVT-O 960219 CZ eng C - Conference Paper (international conference)
Daniel, Milan
A Generalization of Möbius Transformation.
Proceedings of the 4th Workshop on Uncertainty Processing. Prague: University of Economics, 1997, s. 31-42. ISBN 80-7779-008-3.
[WUPES '97 /4./. Prague (CZ), 22.01.1997-25.01.1997]
R&D Projects: GA AV ČR IAA1030601
Grant - others:COST(XE) OC 15.10
Permanent Link: http://hdl.handle.net/11104/0123325 - 8.0402810 - UIVT-O 981004 SK eng C - Conference Paper (international conference)
Hájek, Petr - Švejda, David
A Strong Completeness Theorem for Finitely Axiomatized Fuzzy Theories.
Fuzzy Sets Theory and Applications. Bratislava: Mathematical Institute SAS, 1997 - (Mesiar, R.; Novák, V.), s. 213-219. Tatra Mountains Mathematical Publications, 12.
[FSTA 1996 /3./. Liptovský Ján (SK), 22.01.1996-26.01.1996]
R&D Projects: GA AV ČR IAA1030601
http://tatra.mat.savba.sk/paper.php?id_paper=437
Permanent Link: http://hdl.handle.net/11104/0123186 - 9.0402807 - UIVT-O 960144 ES eng C - Conference Paper (international conference)
Hájek, Petr - Harmancová, Dagmar
A Many-valued Modal Logic.
Proceedings IPMU'96. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Granada: Universidad de Granada, 1996, s. 1021-1024. ISBN 84-8254-078-5.
[IPMU'96 /6./. Granada (ES), 01.07.1996-05.07.1996]
R&D Projects: GA AV ČR IAA1030601
Grant - others:COPERNICUS(XE) MUM-10053
Permanent Link: http://hdl.handle.net/11104/0123183 - 10.0402787 - UIVT-O 960141 ES eng C - Conference Paper (international conference)
Daniel, Milan
Algebraic Properties of Structures Related to Dempster-Shafer Theory.
Proceedings IPMU'96. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Granada: Universidad de Granada, 1996, s. 441-446. ISBN 84-8254-077-7.
[IPMU'96 /6./. Granada (ES), 01.07.1996-05.07.1996]
R&D Projects: GA AV ČR IAA1030601
Grant - others:COPERNICUS(XE) MUM-10053
Permanent Link: http://hdl.handle.net/11104/0123169