Výsledky vyhledávání
- 1.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 - 2.0405568 - UIVT-O 330948 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav
On the Failure of Strong Standard Completness in PiMTL.
[O neplatnosti věty o silné standardní úplnosti logiky PiMTL.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.), s. 19-21
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. Ostrava (CZ), 05.10.2005-07.10.2005]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: strong standard completeness * monoidal t-norm logic * MTL-algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125722 - 3.0405561 - UIVT-O 330941 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav
Stronger Version of Standard Completness Theorem for MTL.
[Silnější verze věty o standardní úplnosti MTL.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 878-883. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: monoidal t-norm based logic * left-continuous t-norm * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125716 - 4.0405395 - UIVT-O 330767 NL eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav
Validation Sets in R-fuzzy logics and RS-Fuzzy logics.
Intelligent Technologies - Theory and Applications. Amsterdam: IOS Press, 2002 - (Sinčák, P.; Vaščák, J.; Kvasnička, V.; Pospíchal, J.), s. 137-138. Frontiers in Artificial Intelligence and Applications, 76. ISBN 1-58603-256-9. ISSN 0922-6389.
[E-ISCI 2002. Košice (SK), 16.06.2002-19.06.2002]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125565 - 5.0405392 - UIVT-O 330764 FR eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav - Navara, M.
Consistency Degrees in Fuzzy Logic.
Information Processing and Management Uncertainty in Knowledge-based Systems. Savoie: ESIA, 2002, s. 399-404. ISBN 2-9516453-1-7.
[IPMU '2002 /9./. Annecy (FR), 01.07.2002-05.07.2002]
Grant CEP: GA ČR GA201/02/1540
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125562 - 6.0405391 - UIVT-O 330763 SK eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav - Navara, M.
Validation Sets in Fuzzy logic.
Uncertainty Modelling 2001. Bratislava: STU, 2001 - (Komorníková, M.; Mesiar, R.), s. 82-90
[Uncertainty Modelling'2001. Bratislava (SK), 24.09.2001-28.09.2001]
Trvalý link: http://hdl.handle.net/11104/0125561 - 7.0405389 - UIVT-O 330761 DE eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav
A Note on the Structure of PiMTL Chains and Left-Continuous Cancellative Norms.
Fuzzy Logic and Technology. Zittau: EUSFLAT, 2003 - (Wagenknecht, M.; Hampel, R.), s. 614-618. ISBN 3-9808089-4-7.
[EUSFLAT 2003. An International Conference in Fuzzy Logic and Technology. Zittau (DE), 10.09.2003-12.09.2003]
Grant CEP: GA ČR GA201/02/1540
Grant ostatní: GA CTU(CZ) 0306213; Net CEEPUS SK-042
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125559 - 8.0379885 - ÚI 2013 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Horčík, Rostislav - Velebil, J.
Distributive substructural logics as coalgebraic logics over posets.
Advances in Modal Logic. London: College Publications, 2012 - (Bolander, T.; Braüner, T.; Moss, L.; Ghilardi, S.), s. 119-142. 9. ISBN 978-1-84890-068-4.
[Advances in Modal Logic. Copenhagen (DK), 22.08.2012-25.08.2012]
Grant CEP: GA ČR GAP202/11/1632
Výzkumný záměr: CEZ:AV0Z10300504
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * frame semantics * coalgebras * coalgebraic logic * Goldblatt-Thomason theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0210742Název souboru Staženo Velikost Komentář Verze Přístup 0379885.pdf 1 756.4 KB Autorský preprint povolen - 9.0086530 - ÚI 2008 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Horčík, Rostislav
Fuzzy Class Theory: Some Advanced Topics.
[Fuzzy teorie tříd: některá pokročilá témata.]
New Dimensions in Fuzzy Logic and Related Technologies. Vol. 1. Ostrava: University of Ostrava, 2007 - (Štěpnička, M.; Novák, V.; Bodenhofer, U.), s. 137-143. ISBN 978-80-7368-386-3.
[EUSFLAT 2007. Ostrava (CZ), 11.09.2007-14.09.2007]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy clas theory * fuzzy relations * graded properties * quantifiers * logic MTL
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0148769Název souboru Staženo Velikost Komentář Verze Přístup 0086530.pdf 0 651.4 KB Autorský preprint povolen - 10.0042355 - ÚI 2007 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Horčík, Rostislav - Petrík, M.
Local Finiteness of n-contractive MTL-algebras.
[Lokální konečnost n-kontraktivních MTL-algeber.]
The Logic of Soft Computing. Malaga: Universidad de Malaga, 2006 - (Gottwald, S.; Hájek, P.; Ojeda-Aciego, M.), s. 68-73
[LCS'06. International Conference on The Logic of Soft Computing and Workshop of the ERCIM WG on Soft Computing. Malaga (ES), 13.09.2006-15.09.2006]
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: monoidal t-norm based logicfinite MTL-algebra * n-contraction * locally MTL-algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135603