Výsledky vyhledávání
- 1.0575737 - FLÚ 2024 RIV GR eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodes: International Joint Conferences on Artificial Intelligence Organization, 2023 - (Marquis, P.; Son, T.; Kern-Isberner, G.), s. 572-581. ISBN 978-1-956792-02-7.
[KR2023: International Conference on Principles of Knowledge Representation and Reasoning /20./. Rhodes (GR), 02.09.2023-08.09.2023]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: fuzzy logic * logic of questions * inquisitive semantics * information states
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Trvalý link: https://hdl.handle.net/11104/0346057 - 2.0568283 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
Aguilera, J. P. - Bydžovský, J. - Fernández-Duque, David
Noetherian Godel logics.
Journal of Logic and Computation. Roč. 32, č. 8 (2022), s. 1487-1503. ISSN 0955-792X. E-ISSN 1465-363X
Institucionální podpora: RVO:67985807
Klíčová slova: Godel logic * fuzzy logic * hyperarithmetical set
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/logcom/exac064
Trvalý link: https://hdl.handle.net/11104/0339615 - 3.0563809 - ÚI 2024 RIV CH eng M - Část monografie knihy
Diéguez, M. - Fernández-Duque, David
Decidability for S4 Gödel Modal Logics.
Computational Intelligence and Mathematics for Tackling Complex Problems 4. Cham: Springer, 2023 - (Cornejo, M.; Harmati, I.; Koczy, L.; Medina-Moreno, J.), s. 1-7. Studies in Computational Intelligence, 1040. ISBN 978-3-031-07706-7
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Completeness * Fuzzy logic * Gödel logic * Modal logic
Obor OECD: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-07707-4_1
Trvalý link: https://hdl.handle.net/11104/0335600Název souboru Staženo Velikost Komentář Verze Přístup 0563809-pre.pdf 1 346.3 KB z Researchgate https://www.researchgate.net/publication/363719810_Decidability_for_mathsf_S4_Godel_Modal_Logics Autorský preprint povolen - 4.0563602 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Grimau, Berta - Noguera, C. - Smith, N.J.J.
These degrees go to eleven: fuzzy logics and gradable predicates.
Synthese. Roč. 200, č. 6 (2022), č. článku 445. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GA18-00113S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Vagueness * Fuzzy logic * Formal semantics * Gradable adjectives * Sorites paradox
Obor OECD: Philosophy, History and Philosophy of science and technology; Applied mathematics (UTIA-B)
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s11229-022-03909-2
Trvalý link: https://hdl.handle.net/11104/0335529 - 5.0563350 - ÚI 2024 RIV NL eng J - Článek v odborném periodiku
Haniková, Zuzana
Rational Pavelka logic: The best among three worlds?
Fuzzy Sets and Systems. Roč. 456, March 2023 (2023), s. 92-106. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy logic * Łukasiewicz logic * Rational Pavelka logic * rational truth constants * graded formula
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 3.9, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.fss.2022.08.010
Trvalý link: https://hdl.handle.net/11104/0335337 - 6.0563275 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Aguilera, J. P. - Diéguez, M. - Fernández-Duque, David - McLean, B.
Time and Godel: Fuzzy Temporal Reasoning in PSPACE.
Logic, Language, Information, and Computation. Cham: Springer, 2022 - (Ciabattoni, A.; Pimentel, E.; de Queiroz, R.), s. 18-35. Lecture Notes in Computer Science, 13468. ISBN 978-3-031-15297-9. ISSN 0302-9743.
[WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași (RO), 20.09.2022-23.09.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Godel-Dummett logic * linear temporal logic * intuitionistic logic * fuzzy logic * PSPACE-complete
Obor OECD: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-15298-6_2
Trvalý link: https://hdl.handle.net/11104/0340208 - 7.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 - 8.0559061 - ÚI 2023 RIV US eng J - Článek v odborném periodiku
Gispert, J. - Haniková, Zuzana - Moraschini, T. - Stronkowski, Michał
Structural Completeness in Many-Valued Logics with Rational Constants.
Notre Dame Journal of Formal Logic. Roč. 63, č. 3 (2022), s. 261-299. ISSN 0029-4527. E-ISSN 1939-0726
Grant CEP: GA ČR(CZ) GA18-00113S; GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: admissible rule * fuzzy logic * Gödel logic * Łukasiewicz logic * product logic * quasivariety * rational Pavelka logic * structural completeness
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1215/00294527-2022-0021
Trvalý link: https://hdl.handle.net/11104/0332481 - 9.0558057 - ÚTIA 2023 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Flores Casamayor, H. - Carpitella, Silvia - Izquierdo, J. - Mora-Rodríguez, J. - Delgado-Galván, X.
Hybrid evaluation of the industrial global impact on Mexican aquifers under uncertain criteria evaluations.
Proceedings of the 12th Workshop on Uncertainty Processing. Prague: MatfyzPress, 2022 - (Studený, M.; Ay, N.; Coletti, G.; Kleiter, G.; Shenoy, P.), s. 49-60, č. článku 12. ISBN 978-80-7378-460-7.
[WUPES 2022: 12th Workshop on Uncertainty Processing. Kutná Hora (CZ), 01.06.2022-04.06.2022]
Grant ostatní: GA ČR(CZ) GA19-06569S
Program: GA
Institucionální podpora: RVO:67985556
Klíčová slova: Analytic Hierarchy Process (AHP) * Fuzzy Logic (FL) theory * Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS)
Obor OECD: Applied mathematics
http://library.utia.cas.cz/separaty/2022/MTR/carpitella-0558057.pdf
Trvalý link: http://hdl.handle.net/11104/0332286 - 10.0550074 - ÚTIA 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
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical fuzzy logic * first-order fuzzy logics * finite weighted structures
Obor OECD: Pure mathematics
Impakt faktor: 11.9, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2022/MTR/noguera-0550074.pdf https://ieeexplore.ieee.org/document/9628030
Trvalý link: http://hdl.handle.net/11104/0326170