Search results
- 1.0534300 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
Bílková, Marta - Frittella, S. - Majer, Ondrej - Nazari, S.
Belief Based on Inconsistent Information.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 68-86. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
R&D Projects: GA ČR GA17-04630S; GA ČR(CZ) GA16-15621S
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : Epistemic logics * Non-standard probabilities * Belnap-Dunn logic * Two-layer modal logic
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Philosophy, History and Philosophy of science and technology (FLU-F)
Permanent Link: http://hdl.handle.net/11104/0312523 - 2.0525284 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
Gehrke, M. - Jakl, T. - Reggio, Luca
A Duality Theoretic View on Limits of Finite Structures.
Foundations of Software Science and Computation Structures. Cham: Springer, 2020 - (Goubault-Larrecq, J.; König, B.), s. 299-318. Lecture Notes in Computer Science, 12077. ISBN 978-3-030-45230-8. ISSN 0302-9743.
[FOSSACS 2020: Foundations of Software Science and Computation Structures /23./ Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. Dublin (IE), 25.04.2020-30.04.2020]
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : Stone duality * finitely additive measures * structural limits * finite model theory * formal languages * logic on words
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0309459File Download Size Commentary Version Access 0525284-aoa.pdf 1 382.2 KB OA CC BY 4.0 Publisher’s postprint open-access - 3.0508606 - ÚI 2020 RIV NL eng C - Conference Paper (international conference)
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating Classical Probability Logics into Modal Fuzzy Logics.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Amsterdam: Atlantis Press, 2019 - (Štěpnička, M.), s. 342-349. Atlantis Studies in Uncertainty Modelling. ISBN 978-94-6252-770-6. ISSN 2589-6644.
[EUSFLAT 2019. Conference of the European Society for Fuzzy Logic and Technology /11./. Praha (CZ), 09.09.2019-13.09.2019]
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Mathematical Fuzzy Logic * Logics of uncertainty * Lukasiewicz logic * Probability logics * Two-layered modal logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
https://download.atlantis-press.com/article/125914819.pdf
Permanent Link: http://hdl.handle.net/11104/0299464File Download Size Commentary Version Access 0508606-aoa.pdf 6 2.5 MB OpenAccess Publisher’s postprint open-access - 4.0504823 - ÚI 2020 RIV NL eng C - Conference Paper (international conference)
Esteva, F. - Godo, L. - Vidal, Amanda
On a Graded Modal Logic Approach to Reason with Fuzzy Preferences.
Recent Advances in Artificial Intelligence Research and Development. Amsterdam: IOS Press, 2017 - (Aguiló, I.; Alquézar, R.; Angulo, C.; Ortiz, A.; Torrens, J.), s. 86-95. Frontiers in Artificial Intelligence and Applications, 300. ISBN 978-1-61499-806-8.
[CCIA 2017. International Conference of the Catalan Association for Artificial Intelligence /20./. Deltebre (ES), 25.10.2017-27.10.2017]
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : preference structures * fuzzy preorder * strict fuzzy order * preference two-tiered modal 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/0296382 - 5.0491981 - ÚI 2019 RIV DE eng C - Conference Paper (international conference)
Bílková, Marta - Cintula, Petr - Lávička, Tomáš
Lindenbaum and Pair Extension Lemma in Infinitary Logics.
Logic, Language, Information and Computation. Berlin: Springer, 2018 - (Moss, L.; de Queiroz, R.; Martinez, M.), s. 130-144. Lecture Notes on Computer Science, 10944. ISBN 978-3-662-57668-7. ISSN 0302-9743.
[WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./. Bogotá (CO), 24.07.2018-27.07.2018]
R&D Projects: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
Grant - others:AV ČR(CZ) JSPS-16-08
Program: Bilaterální spolupráce
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Permanent Link: http://hdl.handle.net/11104/0285566File Download Size Commentary Version Access a0491981prep.pdf 4 388.6 KB Author’s postprint open-access a0491981.pdf 9 319.1 KB Publisher’s postprint require - 6.0478446 - ÚI 2018 RIV DE eng C - Conference Paper (international conference)
Horčík, Rostislav - Moraschini, Tommaso - Vidal, Amanda
An Algebraic Approach to Valued Constraint Satisfaction.
26th EACSL Annual Conference on Computer Science Logic. Dagstuhl: Leibniz-Zentrum fuer Informatik, 2017 - (Goranko, V.; Dam, M.). Leibniz International Proceedings in Informatics, 82. ISBN 978-3-95977-045-3. ISSN 1868-8969.
[CSL 2017. EACSL Annual Conference on Computer Science Logic /26./. Stockholm (SE), 20.08.2017-24.08.2017]
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : valued CSP * polymorphism * pp-definability * Geiger’s Theorem
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/volltexte/2017/7676/
Permanent Link: http://hdl.handle.net/11104/0274563File Download Size Commentary Version Access a0478446.pdf 2 619.8 KB Publisher’s postprint require - 7.0477854 - ÚI 2018 RIV DE eng C - Conference Paper (international conference)
Cintula, Petr - Noguera, Carles - Smith, N.J.J.
A Logical Framework for Graded Predicates.
Logic, Rationality, and Interaction. Berlin: Springer, 2017 - (Baltag, A.; Yamada, T.; Seligman, J.), s. 3-16. Lecture Notes in Computer Science, 10455. ISBN 978-3-662-55664-1. ISSN 0302-9743.
[LORI 2017. International Workshop on Logic, Rationality, and Interaction /6./. Sapporo (JP), 11.09.2017-14.09.2017]
R&D Projects: GA ČR GA17-04630S
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : graded predicates * vagueness * mathematical fuzzy logic
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Permanent Link: http://hdl.handle.net/11104/0274074File Download Size Commentary Version Access a0477854.pdf 2 213.8 KB Publisher’s postprint require