Search results
- 1.0478659 - ÚI 2019 RIV CH eng C - Conference Paper (international conference)
Vidal, Amanda - Esteva, F. - Godo, L.
On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences.
Advances in Fuzzy Logic and Technology 2017. Vol. 3. Cham: Springer, 2018 - (Kacprzyk, J.; Szmidt, E.; Zadrozny, S.; Atanassov, K.; Krawczak, M.), s. 505-517. Advances in Intelligent Systems and Computing, 643. ISBN 978-3-319-66826-0. ISSN 2194-5357.
[EUSFLAT 2017. Conference of the European Society for Fuzzy Logic and Technology /10./. Warsaw (PL), 11.09.2017-15.09.2017]
R&D Projects: GA ČR(CZ) GF15-34650L
Grant - others:Austrian Science Fund(AT) I1897-N25
Institutional support: RVO:67985807
Keywords : Many-valued modal logic * Necessity and possibility modal operators * Finite residuated lattice * Reasoning about graded preferences
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/0274731File Download Size Commentary Version Access a0478659.pdf 12 394.9 KB Author’s postprint require - 2.0472097 - ÚI 2018 RIV DE eng C - Conference Paper (international conference)
Fermüller, C. - Majer, Ondrej
Equilibrium Semantics for IF Logic and Many-Valued Connectives.
Logic, Language, and Computation. Berlin: Springer, 2017 - (Hansen, H.; Murray, S.; Sadrzadeh, M.; Zeevat, H.), s. 290-312. Lecture Notes in Computer Science, 10148. ISBN 978-3-662-54331-3. ISSN 0302-9743.
[TbiLLC 2015. International Tbilisi Symposium on Language, Logic and Computation /11./. Tbilisi (GE), 21.09.2015-26.09.2015]
R&D Projects: GA ČR(CZ) GF15-34650L
Institutional support: RVO:67985807
Keywords : game semantics * IF logic * fuzzy logic * Lukasiwicz logic * Giles’s game
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/0270737File Download Size Commentary Version Access a0472097 corrected.pdf 4 486.4 KB Publisher’s postprint require - 3.0461966 - ÚI 2017 RIV DE eng C - Conference Paper (international conference)
Bílková, Marta - Dostál, Matěj
Expressivity of Many-Valued Modal Logics, Coalgebraically.
Logic, Language, Information, and Computation. Berlin: Springer, 2016 - (Väänänen, J.; Hirvonen, A.; de Queiroz, R.), s. 109-124. Lecture Notes in Computer Science, 9803. ISBN 978-3-662-52920-1. ISSN 0302-9743.
[WoLLIC 2016. International Workshop /23./. Puebla (MX), 16.08.2016-19.08.2016]
R&D Projects: GA ČR(CZ) GF15-34650L; GA ČR GA13-14654S
Institutional support: RVO:67985807
Keywords : coalgebra * coalgebraic logic * predicate lifting * modal logic * many-valued logic * expressivity * bisimulation * Hennessy-Milner property
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261503File Download Size Commentary Version Access a0461966.pdf 9 271.9 KB Publisher’s postprint require - 4.0460686 - ÚI 2017 RIV CH eng C - Conference Paper (international conference)
Cintula, Petr - Noguera, Carles - Roger, J.
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Vol. 2. Cham: Springer, 2016 - (Carvalho, J.; Lesot, M.; Kaymak, U.; Vieira, S.; Bouchon-Meunier, B.; Yager, R.), s. 95-107. Communications in Computer and Information Science, 611. ISBN 978-3-319-40581-0. ISSN 1865-0929. E-ISSN 1865-0937.
[IPMU 2016 /16./. Eindhoven (NL), 20.06.2016-24.06.2016]
R&D Projects: GA ČR(CZ) GF15-34650L
Grant - others:Austrian Science Fund(AT) I1897-N25
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0260702File Download Size Commentary Version Access 0460686.pdf 1 1.2 MB Author´s preprint open-access a0460686.pdf 2 218.9 KB Publisher’s postprint require