Výsledky vyhledávání
- 1.0583783 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Haniková, Zuzana - Manya, F. - Vidal, A.
The MaxSAT Problem in the Real-Valued MV-Algebra.
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings. Cham: Springer, 2023 - (Ramanayake, R.; Urban, J.), s. 386-404. Lecture Notes in Computer Science, 14278. ISBN 978-3-031-43512-6. ISSN 0302-9743.
[TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./. Prague (CZ), 18.09.2024-21.09.2024]
Grant ostatní: AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807
Klíčová slova: Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007/978-3-031-43513-3_21
Trvalý link: https://hdl.handle.net/11104/0351788Název souboru Staženo Velikost Komentář Verze Přístup 0583783-aoa.pdf 2 379.5 KB OA CC BY 4.0 Vydavatelský postprint povolen - 2.0582922 - ÚI 2025 eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej - Nazari, S.
Reasoning with belief functions over Belnap–Dunn logic.
Annals of Pure and Applied Logic. Online July 2023 (2024), č. článku 103338.
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: Belief functions * Belnap–Dunn logic * Two-layered modal logics * Paraconsistent logics * Łukasiewicz logic
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2023.103338
Trvalý link: https://hdl.handle.net/11104/0350964 - 3.0580808 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej
Two-Layered Logics for Paraconsistent Probabilities.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 101-117. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: two-layered logics * Łukasiewicz logic * non-standard probabilities * paraconsistent logics * constraint tableaux
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-39784-4_7
Trvalý link: https://hdl.handle.net/11104/0349571 - 4.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 - 5.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 - 6.0547122 - ÚI 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Constraint Tableaux for Two-Dimensional Fuzzy Logics.
TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods. Cham: Springer, 2021 - (Das, A.; Negri, S.), s. 20-37. Lecture Notes on Computer Science, 12842. ISBN 978-3-030-86058-5. ISSN 0302-9743.
[Tableaux 2021: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /30./, co-located with FroCoS 2021: International Symposium on Frontiers of Combining Systems /13./. Birmingham / online (GB), 06.09.2021-09.09.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: Constraint tableaux * Lukasiewicz logic * Gödel logic * Two-dimensional logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0323453 - 7.0545760 - ÚI 2022 RIV NL eng J - Článek v odborném periodiku
Běhounek, L. - Majer, Ondrej
A graded semantics for counterfactuals.
Synthese. Roč. 199, 5-6 (2021), s. 11963-11994. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807
Klíčová slova: Counterfactual conditional * Lewis semantics * Robustness * Limit Assumption * Łukasiewicz logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.595, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11229-021-03320-3
Trvalý link: http://hdl.handle.net/11104/0322423 - 8.0543613 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Li, C. M. - Manya, F. - Vidal, Amanda
Tableaux for Maximum Satisfiability in Lukasiewicz Logic.
2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). Proceedings. Piscataway: IEEE, 2020, s. 243-248. ISBN 978-1-7281-5406-0. ISSN 2378-2226.
[ISMVL 2020: IEEE International Symposium on Multiple-Valued Logic /50./. Miyazaki (JP), 09.11.2020-11.11.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: Lukasiewicz logic * MaxSAT * Tableaux
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0320803 - 9.0531341 - ÚI 2021 RIV FR eng J - Článek v odborném periodiku
Baldi, P. - Cintula, Petr - Noguera, Carles
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.
International Journal of Computational Intelligence Systems. Roč. 13, č. 1 (2020), s. 988-1001. ISSN 1875-6891. E-ISSN 1875-6883
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Mathematical fuzzy logic * Logics of uncertainty * Łukasiewicz logic * Probability logics * Two-layered modal logics * Hypersequent calculi
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Applied mathematics (UTIA-B)
Impakt faktor: 1.736, rok: 2020
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0310016Název souboru Staženo Velikost Komentář Verze Přístup 0531341-aoa.pdf 10 2 MB CC BY-NC 4.0 Vydavatelský postprint povolen - 10.0531136 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Haniková, Zuzana
On the Complexity of Validity Degrees in Łukasiewicz Logic.
Beyond the Horizon of Computability. Cham: Springer, 2020 - (Anselmo, M.; Della Vedova, G.; Manea, F.; Pauly, A.), s. 175-188. Lecture Notes in Computer Science, 12098. ISBN 978-3-030-51465-5. ISSN 0302-9743.
[CiE 2020: Conference on Computability in Europe /16./. Salerno (IT), 29.06.2020-03.07.2020]
Grant CEP: GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807
Klíčová slova: Łukasiewicz logic * propositional constants * validity degree * computational complexity * Rational Pavelka Logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0309862Název souboru Staženo Velikost Komentář Verze Přístup 0531136-a.pdf 2 348.3 KB Autorský postprint vyžádat