Výsledky vyhledávání
- 1.0564676 - ÚTIA 2023 RIV US eng J - Článek v odborném periodiku
Asmus, T. C. - Dimuro, G. P. - Bedregal, B. - Sanz, J. A. - Fernandez, J. - Rodriguez-Martinez, I. - Mesiar, Radko - Bustince, H.
A constructive framework to define fusion functions with floating domains in arbitrary closed real intervals.
Information Sciences. Roč. 610, č. 1 (2022), s. 800-829. ISSN 0020-0255. E-ISSN 1872-6291
Institucionální podpora: RVO:67985556
Klíčová slova: (a,b)-Aggregation functions * (a,b)-Fusion functions * n-Dimensional overlap functions * t-conorms * t-norms * uninorms
Obor OECD: Applied mathematics
Impakt faktor: 8.1, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2022/E/mesiar-0564676.pdf https://www.sciencedirect.com/science/article/pii/S0020025522008878?via%3Dihub
Trvalý link: https://hdl.handle.net/11104/0337897 - 2.0564675 - ÚTIA 2023 RIV NL eng J - Článek v odborném periodiku
Asmus, T. C. - Sanz, J. A. - Dimuro, G. P. - Fernandez, J. - Mesiar, Radko - Bustince, H.
A methodology for controlling the information quality in interval-valued fusion processes: Theory and application.
Knowledge-Based System. Roč. 258, č. 1 (2022), č. článku 109963. ISSN 0950-7051. E-ISSN 1872-7409
Institucionální podpora: RVO:67985556
Klíčová slova: (a,b)-Aggregation functions * (a,b)-Fusion functions * n-Dimensional overlap functions * t-conorms * t-norms * Uninorms
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 8.8, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2022/E/mesiar-0564675.pdf https://www.sciencedirect.com/science/article/pii/S0950705122010565?via%3Dihub
Trvalý link: https://hdl.handle.net/11104/0337894 - 3.0561334 - FLÚ 2023 RIV US eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Transactions on Fuzzy Systems. Roč. 30, č. 9 (2022), s. 3833-3840. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: finite weighted structures * first-order fuzzy logics * mathematical fuzzy logic * monoidal t-norms
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 11.9, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TFUZZ.2021.3131200
Trvalý link: https://hdl.handle.net/11104/0335510 - 4.0491823 - ÚI 2020 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Diaconescu, D.
Omitting Types Theorem for Fuzzy Logics.
IEEE Transactions on Fuzzy Systems. Roč. 27, č. 2 (2019), s. 273-277. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 9.518, rok: 2019
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0285439Název souboru Staženo Velikost Komentář Verze Přístup 08410791-aoa.pdf 7 187.1 KB OpenAccess Vydavatelský postprint povolen a0491823prep.pdf 3 265.7 KB Autorský preprint vyžádat - 5.0466763 - ÚI 2017 RIV DE eng J - Článek v odborném periodiku
Vidal, Amanda - Bou, F. - Esteva, F. - Godo, L.
On Strong Standard Completeness in Some MTL-Delta Expansions.
Soft Computing. Roč. 21, č. 1 (2017), s. 125-147. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * left-continuous t-norms * monoidal t-norm logic * infinitary rules * standard completeness
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.367, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0264998 - 6.0465844 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Vidal, Amanda
MNiBLoS: A SMT-based Solver for Continuous t-norm Based Logics and Some of their Modal Expansions.
Information Sciences. Roč. 372, 1 December (2016), s. 709-730. ISSN 0020-0255. E-ISSN 1872-6291
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25; EdeTRI:TIN2012-39348-C02-01(ES) MINECO project; CSIC Intramural Project(ES) 201450E045
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy logics * modal logics * automated reasoning * continuous t-norms * SMT * infinitely valued logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 4.832, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0264289Název souboru Staženo Velikost Komentář Verze Přístup a0465844.pdf 7 1.8 MB Vydavatelský postprint vyžádat - 7.0461989 - ÚI 2017 CZ eng A - Abstrakt
Cintula, Petr
A Gentle Introduction to Mathematical Fuzzy Logic.
SFLA 2016 Abstracts. Ostrava: IRAFM, 2016. nestr.
[SFLA 2016. European Summer School on Fuzzy Logic and Applications. 14.08.2016-19.08.2016, Čeladná]
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * Godel-Dummett logic * Lukasiewicz logic * t-norms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261519Název souboru Staženo Velikost Komentář Verze Přístup a0461989.pdf 1 2.9 MB Vydavatelský postprint povolen - 8.0405476 - UIVT-O 330851 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Making Fuzzy Description Logic More General.
[Jak udělat deskripční logiku obecnější.]
Fuzzy Sets and Systems. Roč. 154, č. 1 (2005), s. 1-15. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR 1ET100300419
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * description logic * continuous t-norms
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.039, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125639 - 9.0405462 - UIVT-O 330837 SIGLE CZ eng V - Výzkumná zpráva
Hájek, Petr
One More Variety in Fuzzy Logic: Quasihoops.
Prague: ICS AS CR, 2005. 6 s. Technical Report, V-937.
Grant CEP: GA MŠMT OC 274.001
Grant ostatní: COST(XE) Action 274 TARSKI
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * continuous t-norms * quasihoops
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125626Název souboru Staženo Velikost Komentář Verze Přístup v937-05.pdf 19 158.1 KB Jiná povolen - 10.0405323 - UIVT-O 330694 AT eng A - Abstrakt
Cintula, Petr - Klement, E.P. - Mesiar, Radko - Navara, M.
On the Special Role of the Hamacher Product in Fuzzy Logics.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 34-37
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
Grant CEP: GA MŠMT OC 274.001; GA ČR GA201/02/1504; GA MŠMT 1M0545
Grant ostatní: COST(EU) Action 274 TARSKI; VEGA(SK) 1/0273/03; CEEPUS(SK) SK-042
Klíčová slova: fuzzy logic * involutive negation * Hamacher product * t-norms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125496