Výsledky vyhledávání
- 1.0405569 - UIVT-O 330949 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Two Notions of Fuzzy Lattice Completion.
[Dva pojmy fuzzy svazového zúplnění.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.), s. 22-24
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. Ostrava (CZ), 05.10.2005-07.10.2005]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy lattice completion * fuzzy Dedekind cuts * fuzzy MacNeille completion
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125723 - 2.0405562 - UIVT-O 330942 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Towards a Formal Theory of Fuzzy Dedekind Reals.
[Předběžný nástin formální teorie dedekindovských fuzzy reálných čísel.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 949-954. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy Dedekind completion * fuzzy real numbers * high-order fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125717 - 3.0405533 - UIVT-O 330911 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
Fuzzy Class Theory as Foundations for Fuzzy Mathematics.
[Teorie fuzzy tříd jakožto základy fuzzy matematiky.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1233-1238. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
Grant CEP: GA MŠMT OC 274.001; GA AV ČR KJB100300502
Grant ostatní: COST(EU) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: axiomatic fuzzy set theory * fuzzy logic LPi * fuzzy mathematics * proof methods in fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125691Název souboru Staženo Velikost Komentář Verze Přístup 0405533.pdf 0 570.5 KB Autorský preprint povolen - 4.0405532 - UIVT-O 330910 RIV CN eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus.
[Obecný logický formalismus pro fuzzy matematiku: metodologie a aparát.]
Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1227-1232. ISBN 7-302-11377-7.
[International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
Grant CEP: GA AV ČR KJB100300502; GA MŠMT 1M0545
Klíčová slova: fuzzy logic * fuzzy mathematics * axiomatization * formalization * higher-order logic * LPi-logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125690Název souboru Staženo Velikost Komentář Verze Přístup 0405532.pdf 0 576.3 KB Autorský preprint povolen - 5.0364306 - ÚI 2012 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Majer, Ondrej
A Semantics for Counterfactuals Based on Fuzzy Logic.
The Logica Yearbook 2010. London: College Publications, 2011 - (Peliš, M.; Punčochář, V.), s. 25-41. ISBN 978-1-84890-038-7.
[LOGICA 2010. Hejnice (CZ), 21.06.2010-25.06.2010]
Grant CEP: GA AV ČR IAA900090703; GA ČR GAP202/10/1826; GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504; CEZ:AV0Z90090514
Klíčová slova: counterfactual conditional * mathematical fuzzy logic * Lewis-Stalnaker semantics * similarity relation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0199825 - 6.0343746 - ÚI 2011 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr - Bodenhofer, U. - Saminger-Platz, S. - Sarkoci, P.
On a Graded Notion of t-norm and Dominance.
Proceedings of the 40th IEEE International Symposium on Multple-valued logic. Los Alamitos: IEEE Computer Society, 2010, s. 73-78. ISBN 978-0-7695-4024-5. ISSN 0195-623X.
[ISMVL 2010. IEEE International Symposium on Multiple-Valued Logic /40./. Barcelona (ES), 26.05.2010-28.05.2010]
Grant CEP: GA ČR GPP103/10/P234; GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy connective * fuzzy class theory * gradual property * t-norm * dominance
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0186152Název souboru Staženo Velikost Komentář Verze Přístup a0343746.pdf 0 322.7 KB Vydavatelský postprint vyžádat 0343746.pdf 0 689.4 KB Autorský preprint povolen - 7.0328135 - ÚI 2010 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Fuzzy Logics Interpreted as Logics of Resources.
[Interpretace fuzzy logik jakožto logik zdrojů.]
The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 1-13. ISBN 978-1-904987-46-8.
[Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * linear logic * contraction-free substructural logics * resource-aware reasoning * prelinearity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174524Název souboru Staženo Velikost Komentář Verze Přístup 0328135.pdf 0 673.2 KB Autorský preprint povolen - 8.0328028 - ÚI 2010 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Number-free Mathematics Based on T-norm Fuzzy Logic.
[Bezčíselná matematika založená na t-normové fuzzy logice.]
IFSA - EUSFLAT 2009. Granada: EUSFLAT, 2009 - (Carvalho, J.; Dubois, D.; Kaymak, U.; Sousa, J.), s. 449-454. ISBN 978-989-95079-6-8.
[IFSA - EUSFLAT 2009. International Fuzzy Systems Association World Congress 2009, European Society for Fuzzy Logic and Technology Conference 2009. Lisabon (PT), 20.07.2009-24.07.2009]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Fuzzy Class Theory * fuzzy mathematics * fuzzy set * real-valued function * similarity-based limit * t-norm fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174437Název souboru Staženo Velikost Komentář Verze Přístup 0328028.pdf 0 678.9 KB Autorský preprint povolen - 9.0308975 - ÚI 2009 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Introspekce vágních znalostí ve fuzzy logice.
[Introspection of Vague Knowledge in Fuzzy Logic.]
Kognice a umělý život VIII. Opava: Slezská univerzita, Filozoficko-přírodovědecká fakulta, 2008 - (Kelemen, J.; Kvasnička, V.; Pstružina, K.), s. 43-48. ISBN 978-80-7248-462-1.
[Kognice a umělý život /8./. Praha (CZ), 26.05.2008-29.05.2008]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: vágní znalosti * nerozlišitelnost * Poincarého paradox * pozitivní introspekce * negativní introspekce * epistemická logika * proveditelná znalost
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0161253 - 10.0093500 - ÚI 2008 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor - Cintula, Petr
Features of Mathematical Theories in Formal Fuzzy Logic.
[Vlastnosti matematických teorií ve formální fuzzy logice.]
Foundations of Fuzzy Logic and Soft Computing. Berlin: Springer, 2007 - (Melin, P.; Castillo, O.; Aguilar, L.; Kacprzyk, J.; Pedrycz, W.), s. 523-532. Lecture Notes in Artificial Intelligence, 4529. ISBN 978-3-540-72917-4.
[IFSA 2007. International Fuzzy Systems Association World Congress /12./. Cancun (MX), 18.06.2007-21.06.2007]
Grant CEP: GA AV ČR 1ET100300517; GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: formal fuzzy logic * axiomatic theories * the law of contraction * fuzzy mathematics * graded properties
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0153536Název souboru Staženo Velikost Komentář Verze Přístup 0093500.pdf 0 657 KB Autorský preprint povolen