Search results
- 1.0583783 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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 - others:AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institutional support: RVO:67985807
Keywords : Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0351788File Download Size Commentary Version Access 0583783-aoa.pdf 2 379.5 KB OA CC BY 4.0 Publisher’s postprint open-access - 2.0582922 - ÚI 2025 eng J - Journal Article
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.
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807
Keywords : Belief functions * Belnap–Dunn logic * Two-layered modal logics * Paraconsistent logics * Łukasiewicz logic
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2023.103338
Permanent Link: https://hdl.handle.net/11104/0350964 - 3.0580808 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : two-layered logics * Łukasiewicz logic * non-standard probabilities * paraconsistent logics * constraint tableaux
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0349571 - 4.0563350 - ÚI 2024 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : fuzzy logic * Łukasiewicz logic * Rational Pavelka logic * rational truth constants * graded formula
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.fss.2022.08.010
Permanent Link: https://hdl.handle.net/11104/0335337 - 5.0559061 - ÚI 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA18-00113S; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : admissible rule * fuzzy logic * Gödel logic * Łukasiewicz logic * product logic * quasivariety * rational Pavelka logic * structural completeness
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1215/00294527-2022-0021
Permanent Link: https://hdl.handle.net/11104/0332481 - 6.0547122 - ÚI 2022 RIV CH eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985807
Keywords : Constraint tableaux * Lukasiewicz logic * Gödel logic * Two-dimensional logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0323453 - 7.0545760 - ÚI 2022 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : Counterfactual conditional * Lewis semantics * Robustness * Limit Assumption * Łukasiewicz logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.595, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11229-021-03320-3
Permanent Link: http://hdl.handle.net/11104/0322423 - 8.0543613 - ÚI 2022 RIV US eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985807
Keywords : Lukasiewicz logic * MaxSAT * Tableaux
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0320803 - 9.0531341 - ÚI 2021 RIV FR eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Mathematical fuzzy logic * Logics of uncertainty * Łukasiewicz logic * Probability logics * Two-layered modal logics * Hypersequent calculi
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Applied mathematics (UTIA-B)
Impact factor: 1.736, year: 2020
Method of publishing: Open access
Permanent Link: http://hdl.handle.net/11104/0310016File Download Size Commentary Version Access 0531341-aoa.pdf 10 2 MB CC BY-NC 4.0 Publisher’s postprint open-access - 10.0531136 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : Łukasiewicz logic * propositional constants * validity degree * computational complexity * Rational Pavelka Logic
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0309862File Download Size Commentary Version Access 0531136-a.pdf 2 348.3 KB Author’s postprint require