Search results
- 1.0434154 - ÚI 2015 CZ eng M - Monography Chapter
Font, J.M. - Hájek, Petr
Lukasiewicz and Modal Logic.
Between Words and Worlds. A Festschrift for Pavel Materna. Prague: Filosofia, 2000, s. 184-198. ISBN 80-7007-140-0
Permanent Link: http://hdl.handle.net/11104/0238289 - 2.0405553 - UIVT-O 330932 RIV DE eng M - Monography Chapter
Hájek, Petr
What does Mathematical Fuzzy Logic Offer to Description Logic?
[Co nabízí matematická fuzzy logika deskripční logice?]
Fuzzy Logic and the Semantic Web. Amsterdam: Elsevier, 2006 - (Sanchez, E.), s. 91-100. Capturing Intelligence. ISBN 0-444-51948-3
R&D Projects: GA AV ČR 1ET100300419
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * description logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125709File Download Size Commentary Version Access 0405553-h.pdf 3 153.2 KB Author´s preprint require - 3.0405471 - UIVT-O 330846 RIV DE eng M - Monography Chapter
Gottwald, S. - Hájek, Petr
Triangular Norm-Based Mathematical Fuzzy Logics.
[Matematické fuzzy logiky založené na spojitých t-normách.]
Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms. Amsterdam: Elsevier, 2005 - (Klement, E.; Mesiar, R.), s. 275-299. ISBN 0-444-51814-2
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: CEZ:AV0Z10300504
Keywords : triangular norm * mathematical fuzzy logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125634File Download Size Commentary Version Access 0405471.pdf 4 10.4 MB Other require - 4.0404894 - UIVT-O 20030123 RIV SK cze M - Monography Chapter
Hájek, Petr
Gödelův ontologický důkaz.
[Gödel's Ontological Proof.]
Matematika a teológia. Bratislava: Evanjelická bohoslovecká fakulta Univerzity Komenského, 2002 - (Kišš, I.), s. 66-69. ISBN 80-88827-24-8
Institutional research plan: AV0Z1030915
Keywords : ontological proof * Gödel
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125118 - 5.0404743 - UIVT-O 20030116 RIV DE eng M - Monography Chapter
Hájek, Petr - Holeňa, Martin - Rauch, J.
The GUHA Method and Foundations of (Relational) Data Mining.
Theory and Applications of Relational Structures as Knowledge Instruments. COST Action 274, TARSKI. Revised Papers. Berlin: Springer-Verlag, 2003 - (de Swart, H.; Orlowska, E.; Schmidt, G.; Roubens, M.), s. 17-37. Lecture Notes in Computer Science, 2929. ISBN 3-540-20780-5
R&D Projects: GA MŠMT OC 274.001
Grant - others:COST(XE) Action 274 TARSKI
Institutional research plan: AV0Z1030915
Keywords : GUHA method * relational data mining
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124980File Download Size Commentary Version Access 0404743-h.pdf 5 1.9 MB Publisher’s postprint require - 6.0404520 - UIVT-O 20020235 RIV CA eng M - Monography Chapter
Hájek, Petr
Fuzzy Logic.
Stanford Encyclopedia of Philosophy. Stanford, 2002 - (Zalta, E.). Fall 2002 Edition
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * propositional logic * predicate logic
Subject RIV: BA - General Mathematics
http://plato.stanford.edu
Permanent Link: http://hdl.handle.net/11104/0124769 - 7.0404518 - UIVT-O 20030006 RIV DE eng M - Monography Chapter
Hájek, Petr - Haniková, Zuzana
A Development of Set Theory in Fuzzy Logic.
Beyond Two: Theory and Applications of Multiple-Valued Logic. Heidelberg: Physica-Verlag, 2003 - (Fitting, M.; Orlowska, E.), s. 273-285. Studies in Fuzziness and Soft Computing, 114. ISBN 3-7908-1541-1
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : set theory * many-valued logic * Boolean universe
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124767 - 8.0404294 - UIVT-O 20010089 RIV US eng M - Monography Chapter
Hájek, Petr
Fuzzy Predicate Calculus and Fuzzy Rules.
Fuzzy If-Then Rules in Computational Intelligence. Boston: Kluwer Academic Publishers, 2000 - (Ruan, D.; Kerre, E.), s. 27-35. The Kluwer International Series in Engineering and Computer Science, 553. ISBN 0-7923-7820-2
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * fuzzy control
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124557 - 9.0404068 - UIVT-O 20020008 RIV US eng M - Monography Chapter
Hájek, Petr
Why Fuzzy Logic?
A Companion to Philosophical Logic. Massachusetts: Blackwell Publishers, 2002 - (Dale, J.), s. 595-605. Blackwell Companions to Philosophy, 22. ISBN 0-631-21671-5
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * many-valued logic * vagueness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124341 - 10.0403673 - UIVT-O 20030110 RIV CZ cze M - Monography Chapter
Hájek, Petr
Deduktivní systémy fuzzy logiky.
[Deductive Systems of Fuzzy Logic.]
Umělá inteligence 4. Praha: Academia, 2003 - (Mařík, V.; Štěpánková, O.; Lažanský, J.), s. 71-92. ISBN 80-200-1044-0
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * deduction * Lukasiewicz logic * Gödel logic * product logic * similarity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123971