Výsledky vyhledávání
- 1.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 - 2.0504823 - ÚI 2020 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: preference structures * fuzzy preorder * strict fuzzy order * preference two-tiered modal 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/0296382 - 3.0478665 - ÚI 2018 CH eng C - Konferenční příspěvek (zahraniční konf.)
Bofill, M. - Manya, F. - Vidal, Amanda - Villaret, M.
The complexity of 3-valued Łukasiewicz rules.
Modeling Decisions for Artificial Intelligence. Cham: Springer, 2015 - (Torra, V.; Narakawa, Y.), s. 221-229. Lecture Notes in Artificial Intelligence, 9321. ISBN 978-3-319-23239-3. ISSN 0302-9743.
[MDAI 2015. Skovde (SE), 21.09.2015-23.09.2015]
Trvalý link: http://hdl.handle.net/11104/0274754Název souboru Staženo Velikost Komentář Verze Přístup a0478665.pdf 0 197.9 KB Vydavatelský postprint vyžádat - 4.0478663 - ÚI 2018 DE eng C - Konferenční příspěvek (zahraniční konf.)
Vidal, Amanda - Bou, F. - Godo, L.
An SMT-based solver for continuous t-norm based logics.
Scalable Uncertainty Management. Berlin: Springer, 2012 - (Hüllermeier, E.; Link, S.; Fober, T.; Seeger, B.), s. 633-640. Lecture Notes in Artificial Intelligence, 7520. ISBN 978-3-642-33361-3. ISSN 0302-9743.
[SUM 2012. International Conference /6./. Brasov (RO), 20.09.2012-22.09.2012]
Trvalý link: http://hdl.handle.net/11104/0274750Název souboru Staženo Velikost Komentář Verze Přístup a0478663.pdf 1 206.7 KB Vydavatelský postprint vyžádat - 5.0478659 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807
Klíčová slova: Many-valued modal logic * Necessity and possibility modal operators * Finite residuated lattice * Reasoning about graded preferences
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/0274731Název souboru Staženo Velikost Komentář Verze Přístup a0478659.pdf 12 394.9 KB Autorský postprint vyžádat - 6.0478446 - ÚI 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: valued CSP * polymorphism * pp-definability * Geiger’s Theorem
Obor OECD: 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/
Trvalý link: http://hdl.handle.net/11104/0274563Název souboru Staženo Velikost Komentář Verze Přístup a0478446.pdf 2 619.8 KB Vydavatelský postprint vyžádat - 7.0478330 - ÚI 2018 US eng C - Konferenční příspěvek (zahraniční konf.)
Bofill, M. - Manya, F. - Vidal, Amanda - Villaret, M.
Finding Hard Instances of Satisfiability in Lukasiewicz Logics.
ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, s. 30-35. ISBN 978-147991777-8. ISSN 2378-2226.
[ISMVL 2015. IEEE International Symposium on Multiple-Valued Logic /45./. Waterloo (CA), 18.05.2015-20.05.2015]
Trvalý link: http://hdl.handle.net/11104/0274743Název souboru Staženo Velikost Komentář Verze Přístup a0478330.pdf 0 210.6 KB Vydavatelský postprint vyžádat - 8.0478213 - ÚI 2018 FR eng C - Konferenční příspěvek (zahraniční konf.)
Vidal, Amanda - Godo, L. - Esteva, F.
On strongly standard complete fuzzy logics: MTL*Q and its expansions.
Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology. Paris: Atlantis Press, 2015 - (Alonso, J.; Bustince, H.; Reformat, M.), s. 828-835. Advances in Intelligent Systems Research, 89. ISBN 978-1-5108-0807-2.
[IFSA - EUSFLAT 2015. World Congress of the International Fuzzy Systems Association /16./, Conference of the European Society for Fuzzy Logic and Technology /9./. Gijón (ES), 30.06.2015-03.07.2015]
Klíčová slova: Fuzzy logics * Strong standard completeness * MTL logic expansions * rational expansions * Pavelka-style completeness * Infinitary logics
Trvalý link: http://hdl.handle.net/11104/0274752Název souboru Staženo Velikost Komentář Verze Přístup a0478213.pdf 0 1.4 MB Vydavatelský postprint vyžádat