Výsledky vyhledávání
- 1.0405568 - UIVT-O 330948 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav
On the Failure of Strong Standard Completness in PiMTL.
[O neplatnosti věty o silné standardní úplnosti logiky PiMTL.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.), s. 19-21
[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 IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: strong standard completeness * monoidal t-norm logic * MTL-algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125722 - 2.0389303 - ÚI 2013 CZ eng C - Konferenční příspěvek (zahraniční konf.)
Hájek, Petr
Kurt Gödel, completeness, incompleteness.
Meze formalizace, analytičnosti a prostoročasu. Praha: Filosofia, 2007, s. 101-105. ISBN 978-80-7007-268-4.
[Kurt Gődel Days. International Symposium on Kurt Gődel´s Scientific Heritage. Brno (CZ), 25.04.2006-26.04.2006]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0218187 - 3.0341248 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hájek, Petr
On Fuzzy Theories with Crisp Sentences.
Algebraic and Proof-Theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday. Berlin: Springer, 2007 - (Aguzzoli, S.; Ciabattoni, A.; Gerla, B.; Manara, C.; Marra, V.), s. 194-200. Lecture Notes in Artificial Intelligence, 4460. ISBN 978-3-540-75938-6.
[International Conference on Algebraic and Logical Foundations of Many-Valued Reasoning in Honor of Daniele Mundici on his 60th Birthday. Gargnano (IT), 19.03.2006-23.03.2006]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * theories * crisp sentences
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0184289 - 4.0330298 - ÚI 2010 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kramosil, Ivan
Completions of Fragments of Lattice-Valued Possibilistic Distributions According to the Principle of Maximum Entropy Value.
[Doplňování fragmentů posibilistických distribucí s hodnotami v úplném svazu podle principu maximální hodnoty entropie.]
WUPES'09. Praha: University of Economics Prague, 2009 - (Kroupa, T.; Vejnarová, J.), s. 123-132. ISBN 978-80-245-1543-4.
[WUPES 2009. Liblice (CZ), 19.09.2009-23.09.2009]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: complete lattice * Boolean-valued possibilistic distribution * fragments of possibilistic distributions * completion of fragments * possibilistic entropy function * principle of maximum entropy value
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0176121Název souboru Staženo Velikost Komentář Verze Přístup 0330298.pdf 1 739.9 KB Vydavatelský postprint povolen - 5.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 - 6.0327311 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Kramosil, Ivan
Possibilistic Measures Taking Their Values in Spaces Given by Inclusion-Closed Fragments of Power-Sets.
[Posibilistické míry s hodnotami v prostorech daných fragmenty potenčních množin uzavřenými vzhledem k podmnožinám.]
Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin: Springer, 2009 - (Sossai, C.; Chemello, G.), s. 688-699. Lecture Notes in Artificial Intelligence, 5590. ISBN 978-3-642-02905-9. ISSN 0302-9743.
[ECSQARU 2009. European Conference /10./. Verona (IT), 01.07.2009-03.07. 2009]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: possibilistic distribution * possibilistic measure * (in)complete lattice * continuity from above * continuity from below
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174154Název souboru Staženo Velikost Komentář Verze Přístup a0327311.pdf 0 223.8 KB Vydavatelský postprint vyžádat - 7.0086528 - ÚI 2008 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kramosil, Ivan
Lattice-Valued Possibilistic Entropy Functions.
[Posibilistické entropické funkce s hodnotami ve svazu.]
New Dimensions in Fuzzy Logic and Related Technologies. Vol. 2. Ostrava: University of Ostrava, 2007 - (Štěpnička, M.; Novák, V.; Bodenhofer, U.), s. 375-379. ISBN 978-80-7368-387-0.
[EUSFLAT 2007. Ostrava (CZ), 11.09.2007-14.09.2007]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: lattice-valued possibilistic distribution * possibilistically independent product of distributions * possibilistic entropy function
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0148768Název souboru Staženo Velikost Komentář Verze Přístup 0086528.pdf 1 292.2 KB Autorský preprint povolen - 8.0041646 - ÚI 2007 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kramosil, Ivan
Decision-Making Under Uncertainty Based on Rank Reducible Possibilistic Measures.
[Rozhodování za nejistoty založené na pořadově-redukovatelných posibilistických mírách.]
WUPES '06 Proceedings of 7th Workshop on Uncertainty Processing. Prague: University of Economics, 2006 - (Vejnarová, J.; Kroupa, T.), s. 74-88. ISBN 80-245-1079-0.
[WUPES 2006. Mikulov (CZ), 16.09.2006-20.09.2006]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: possibilistic distribution * rank degree * ranking distribution * rank equivalent possibilistic measures * qualitative decision making under uncertainty
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135056Název souboru Staženo Velikost Komentář Verze Přístup 0041646.pdf 2 639.9 KB Autorský preprint povolen - 9.0039686 - ÚI 2007 RIV FR eng C - Konferenční příspěvek (zahraniční konf.)
Kramosil, Ivan
Ranking Functions Induced by Possibilistic Measures.
[Pořadové funkce indukované posibilistickými mírami.]
IPMU 2006. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Paris: Editions EDK, 2006 - (Bouchon-Meunier, B.; Yager, R.), s. 1745-1752. ISBN 2-84254-112-X.
[IPMU 2006 /11./. Paris (FR), 02.07.2006-07.07.2006]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: possibilistic distribution * rank degree * ranking distribution * rank equivalent possibilistic measures * qualitative decision making under uncertainty
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0133688Název souboru Staženo Velikost Komentář Verze Přístup 0039686.pdf 2 406.6 KB Autorský preprint povolen