Vytisknout
0465844 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Vidal, Amanda
MNiBLoS: A SMT-based Solver for Continuous t-norm Based Logics and Some of their Modal Expansions.
Information Sciences. Roč. 372, 1 December (2016), s. 709-730. ISSN 0020-0255. E-ISSN 1872-6291
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25; EdeTRI:TIN2012-39348-C02-01(ES) MINECO project; CSIC Intramural Project(ES) 201450E045
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy logics * modal logics * automated reasoning * continuous t-norms * SMT * infinitely valued logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 4.832, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0264289
Vidal, Amanda
MNiBLoS: A SMT-based Solver for Continuous t-norm Based Logics and Some of their Modal Expansions.
Information Sciences. Roč. 372, 1 December (2016), s. 709-730. ISSN 0020-0255. E-ISSN 1872-6291
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25; EdeTRI:TIN2012-39348-C02-01(ES) MINECO project; CSIC Intramural Project(ES) 201450E045
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy logics * modal logics * automated reasoning * continuous t-norms * SMT * infinitely valued logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 4.832, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0264289