Informační systém SU

Výpis publikací

česky | in English

Filtrování publikací

    2022

    1. Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation
      MICHALOVSKÝ, Tomáš, Marek MENŠÍK a Albert ADAM. Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation. In Ciencialova, L.; Holena, M.; Jajcay, R.; Jajcayova, T.; Mraz, F.; Pardubska, D.; Platek, M. 22nd Conference Information Technologies - Applications and Theory, ITAT 2022. 3226. vyd. Slovensko: CEUR-WS. s. 175-183. ISSN 1613-0073. 2022.
      Plný text výsledku
      RIV/47813059:19240/22:A0001027 Stať ve sborníku. angličtina. Slovensko.
      Michalovský, Tomáš (203 Česká republika, garant, domácí) -- Menšík, Marek (203 Česká republika, domácí) -- Adam, Albert (203 Česká republika)
      Klíčová slova anglicky: Generalization; Heuristics; Hypothesis; Machine learning; Refinement; Specialization; Computatuin theory; Supervised learning
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 2. 1. 2023 09:52.
      Podrobněji: https://is.slu.cz/publication/64523/cs

    2021

    1. Improvement of Searching for Appropriate Textual Information Sources Using Association Rules and FCA
      MENŠÍK, Marek, Adam ALBERT, Vojtěch PATSCHKA a Miroslav PAJR. Improvement of Searching for Appropriate Textual Information Sources Using Association Rules and FCA. Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press BV, roč. 343, č. 2021, s. 204-214. ISSN 0922-6389. doi:10.3233/FAIA210487. 2021.
      URL
      RIV/47813059:19240/21:A0000914 Článek v odborném periodiku. angličtina. Nizozemské království.
      Menšík, Marek (203 Česká republika, garant) -- Albert, Adam (203 Česká republika) -- Patschka, Vojtěch (203 Česká republika) -- Pajr, Miroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: Association Rules; FCA; Iceberg Lattices; Relevant Ordering
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 22. 9. 2022 10:31.
      Podrobněji: https://is.slu.cz/publication/57961/cs
    2. Using FCA and Concept Explications for Finding an Appropriate Concept
      MENŠÍK, Marek, Adam ALBERT a Tomáš MICHALOVSKÝ. Using FCA and Concept Explications for Finding an Appropriate Concept. In Horák, A., P. Rychlý a A. Rambousek. Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2021,. 2021. vyd. Brno: Tribun EU. s. 49-60. ISBN 978-80-263-1670-1. 2021.
      Sborník konference RASLAN 2021 s plným textem příspěvku Domovská stránka konference RASLAN 2021
      RIV/47813059:19240/21:A0000920 Stať ve sborníku. angličtina. Česká republika.
      Menšík, Marek (203 Česká republika, garant) -- Michalovský, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: FCA; NLP; Explications; Formal concept
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 22. 3. 2022 11:34.
      Podrobněji: https://is.slu.cz/publication/58442/cs

    2020

    1. Search for appropriate textual information sources
      ALBERT, Adam, Marie DUŽÍ, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Search for appropriate textual information sources. In Tropmann-Frick, Marina; Thalheim Bernhard; Jaakkola, Hannu; Kiyoki, Yasushi; Yoshida, Naufomi. Frontiers in Artificial Intelligence and Applications: Information Modelling and Knowledge Bases XXXII. 333. vyd. Amsterodam: IOS Press BV. s. 227-246. ISBN 978-1-64368-140-5. doi:10.3233/FAIA200832. 2020.
      Domovská stránka s informacemi o výsledku, možnost stažení plného textu (open access)
      RIV/47813059:19240/20:A0000883 Stať ve sborníku. angličtina. Nizozemské království.
      Albert, Adam (203 Česká republika) -- Duží, Marie (203 Česká republika) -- Menšík, Marek (203 Česká republika) -- Pajr, Miroslav (203 Česká republika, garant, domácí) -- Patschka, Vojtěch (203 Česká republika)
      Klíčová slova anglicky: Association rules; Atomic concept; Explication; Information source recommendation; Machine learning; Molecular concept; Natural language processing; TIL; Transparent Intensional Logic
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 21. 12. 2021 09:53.
      Podrobněji: https://is.slu.cz/publication/55002/cs

    2019

    1. Adjustment of goal-driven resolution for natural language processing in TIL
      DUŽÍ, Marie, Michal FAIT a Marek MENŠÍK. Adjustment of goal-driven resolution for natural language processing in TIL. In Thirteenth workshop on Recent Advances in Slavonic Natural Language Processing. Brno. s. 71-82. ISBN 978-80-263-1530-8. 2019.

      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 07:13.
      Podrobněji: https://is.slu.cz/publication/36600/cs
    2. Machine Learning Using TIL
      MENŠÍK, Marek, Marie DUŽÍ, Adam ALBERT, Vojtěch PATSCKA a Miroslav PAJR. Machine Learning Using TIL. In Dhanayake, A.; Huiskonen, J.; Kiyoki, Y.; Thalheim, B.; Jaakkola, H.; Yoshida, N. Frontiers in Artificial Intelligence and Applications. 321. vyd. Lappeenranta, Finland: IOS Press. s. 344-362. ISBN 978-1-64368-044-6. doi:10.3233/FAIA200024. 2019.
      Informační stránka o příspěvku u vydavatele sborníku
      RIV/47813059:19240/19:A0000684 Stať ve sborníku. angličtina. Finsko.
      Menšík, Marek (203 Česká republika, garant) -- Duží, Marie (203 Česká republika) -- Albert, Adam (203 Česká republika) -- Patscka, Vojtěch (203 Česká republika) -- Pajr, Miroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: Generalization; Heuristics; Machine learning; Specialization; Transparent internsional logic; TIL; Hypothesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 16. 12. 2020 13:41.
      Podrobněji: https://is.slu.cz/publication/44021/cs
    3. Natural deduction system in the TIL-script language
      DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Natural deduction system in the TIL-script language. In Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N. Frontiers in Artificial Intelligence and Applications. 312. vyd. Amsterdam: IOS Press. s. 237-255. ISBN 978-1-61499-933-1. doi:10.3233/978-1-61499-933-1-237. 2019.
      URL
      RIV/47813059:19240/19:A0000458 Stať ve sborníku. angličtina. Nizozemské království.
      Duží, Marie (garant) -- Menšík, Marek (203 Česká republika) -- Pajr, Miroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: Beta-conversion; Funcional application; Hyperintesionality; Natural deduction; Three kinds of context; TIL; TIL-Script
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 2. 3. 2020 09:20.
      Podrobněji: https://is.slu.cz/publication/30429/cs
    4. Refining concepts by machine learning
      MENŠÍK, Marek, Marie DUŽÍ, Adam ALBERT, Vojtěch PATSCHKA a Miroslav PAJR. Refining concepts by machine learning. Computacion y Sistemas. Centro de Investigacion en Computacion (CIC) del Instituto Politecnico Nacional (IPN), roč. 23, č. 3, s. 943-958. ISSN 1405-5546. doi:10.13053/CyS-23-3-3242. 2019.
      URL
      RIV/47813059:19240/19:A0000487 Článek v odborném periodiku. angličtina. Mexiko.
      Menšík, Marek (203 Česká republika, garant) -- Duží, Marie (203 Česká republika) -- Albert, Adam (203 Česká republika) -- Patschka, Vojtěch (203 Česká republika) -- Pajr, Miroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: generalization; heuristics; machine learning; specialization; TIL; transparent intensional logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Ing. Petra Skoumalová, učo 50554. Změněno: 21. 4. 2020 11:14.
      Podrobněji: https://is.slu.cz/publication/33077/cs
    5. Seeking Relevant Information Sources
      MENŠÍK, Marek, Marie DUŽÍ, Adam ALBERT, Vojtěch PATSHKA a Miroslav PAJR. Seeking Relevant Information Sources. In 2019 IEEE 15th International Scientific Conference on Informatics. Montreal, Canada: Institute of Electrical and Electronics Engineers. s. 255-260. ISBN 978-1-7281-3181-8. doi:10.1109/Informatics47936.2019.9119332. 2019.
      Informace o příspěvku na stránkách vydavatele
      RIV/47813059:19240/19:A0000685 Stať ve sborníku. angličtina. Kanada.
      Menšík, Marek (203 Česká republika, garant) -- Duží, Marie (203 Česká republika) -- Albert, Adam (203 Česká republika) -- Patshka, Vojtěch (203 Česká republika) -- Pajr, Miroslav (203 Česká republika, domácí)
      Klíčová slova anglicky: Information sources; Machine learning; TIL
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 16. 12. 2020 13:58.
      Podrobněji: https://is.slu.cz/publication/44022/cs

    2018

    1. The role of beta conversion in functional programming
      MENŠÍK, Marek, Marie DUŽÍ a Jakub KERMASCHEK. The role of beta conversion in functional programming. In Frontiers in Artificial Intelligence and Applications. Amsterodam. s. 280-298. ISBN 978-1-61499-833-4. 2018.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 07:18.
      Podrobněji: https://is.slu.cz/publication/36601/cs

    2017

    1. Context recognition for a hyperintensional inference machine
      DUŽÍ, Marie, Michal FAIT a Marek MENŠÍK. Context recognition for a hyperintensional inference machine. In AIP Conference Proceedings. American Institute of Physics. ISBN 978-0-7354-1538-6. 2017.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:12.
      Podrobněji: https://is.slu.cz/publication/36620/cs
    2. Data Scaling By Differential Evolution for FCA Over Data from LMS eLogika
      KERMASCHEK, Jakub, Pavla DRÁŽDILOVÁ a Marek MENŠÍK. Data Scaling By Differential Evolution for FCA Over Data from LMS eLogika. In Mendel. Brno: Brno University of Technology. s. 15-20. ISSN 1803-3814. doi:10.13164/mendel.2017.1.015. 2017.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:25.
      Podrobněji: https://is.slu.cz/publication/36640/cs
    3. Existential generalization in TIL
      MENŠÍK, Marek, Jakub KERMASCHEK a Luděk CIENCIALA. Existential generalization in TIL. In International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM. Volume 17. Sofia: International Multidisciplinary Scientific Geoconference. s. 311-318. ISBN 978-619-7408-01-0. doi:10.5593/sgem2017/21/S07.040. 2017.
      RIV/47813059:19240/17:A0000111 Stať ve sborníku. angličtina. Bulharsko.
      Menšík, Marek (203 Česká republika, garant, domácí) -- Kermaschek, Jakub (203 Česká republika) -- Cienciala, Luděk (203 Česká republika, domácí)
      Klíčová slova anglicky: Deduction; Existential Generalization; Extension; Hyperintension; Intension; Logic; TIL
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 28. 3. 2018 14:15.
      Podrobněji: https://is.slu.cz/publication/29780/cs
    4. Logic of Inferable Knowledge
      DUŽÍ, Marie a Marek MENŠÍK. Logic of Inferable Knowledge. In Frontiers in Artificial Intelligence and Applications. IOS Press. s. 405-425. ISBN 978-1-61499-719-1. 2017.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:30.
      Podrobněji: https://is.slu.cz/publication/36641/cs
    5. Membrane agents simulating Boolean circuits
      CIENCIALOVÁ, Lucie, Luděk CIENCIALA a Marek MENŠÍK. Membrane agents simulating Boolean circuits. In International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM. Volume 17. Sofia: International Multidisciplinary Scientific Geoconference. s. 417-424. ISBN 978-619-7408-01-0. doi:10.5593/sgem2017/21/S07.053. 2017.
      RIV/47813059:19240/17:A0000067 Stať ve sborníku. angličtina. Bulharsko.
      Ciencialová, Lucie (203 Česká republika, garant, domácí) -- Cienciala, Luděk (203 Česká republika, domácí) -- Menšík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Boolean circuits; Logic; P colonies; P systems
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Kamil Matula, Ph.D., učo 7389. Změněno: 22. 2. 2022 09:31.
      Podrobněji: https://is.slu.cz/publication/29909/cs

    2015

    1. Analysis of log files in LMS elogika
      MENŠÍK, Marek a Pavla DRÁŽDILOVÁ. Analysis of log files in LMS elogika. In Mendel. Brno: Brno University of Technology. s. 205-212. ISSN 1803-3814. 2015.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:34.
      Podrobněji: https://is.slu.cz/publication/36642/cs

    2014

    1. eLogika – the system for teaching logic
      MENŠÍK, Marek, Marie DUŽÍ a Jakub GERLICH. eLogika – the system for teaching logic. In Frontiers in Artificial Intelligence and Applications. IOS Press. s. 291-307. ISBN 978-1-61499-471-8. 2014.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:36.
      Podrobněji: https://is.slu.cz/publication/36644/cs
    2. Extensional principles in three types of context
      MENŠÍK, Marek, Lukáš VÍCH a Vladimír JAROTEK. Extensional principles in three types of context. In MENDEL. Brno: Brno University of Technology. s. 381-386. ISBN 978-80-214-4984-8. 2014.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:35.
      Podrobněji: https://is.slu.cz/publication/36643/cs
    3. Logical specification of processes
      ČÍHALOVÁ, Martina, Marie DUŽÍ a Marek MENŠÍK. Logical specification of processes. Frontiers in Artificial Intelligence and Applications. roč. 260, s. 45-63. ISSN 0922-6389. 2014.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 25. 2. 2020 13:21.
      Podrobněji: https://is.slu.cz/publication/36562/cs

    2013

    1. Document similarity
      DUŽÍ, Marie, Marek MENŠÍK a Michal PERDEK. Document similarity. Frontiers in Artificial Intelligence and Applications. roč. 251, s. 241-254. ISSN 0922-6389. 2013.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 25. 2. 2020 13:19.
      Podrobněji: https://is.slu.cz/publication/36561/cs
    2. Hyperintensional, Intensional and Extensional Context Recognition
      DUŽÍ, Marie, Marek MENŠÍK, Martina ČÍHALOVÁ a Michal PERDEK. Hyperintensional, Intensional and Extensional Context Recognition. In Mendel. Brno: Brno University of Technology. s. 427-432. ISBN 978-80-214-4755-4. 2013.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:38.
      Podrobněji: https://is.slu.cz/publication/36645/cs

    2012

    1. Deduction system for TIL-2010
      DUŽÍ, Marie, Marek MENŠÍK a Lukáš VÍCH. Deduction system for TIL-2010. In 6th Workshop on Recent Advances in Slavonic Natural Language Processing. Brno: Masarykova univerzita. s. 33-41. ISBN 978-80-263-0313-8. 2012.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:40.
      Podrobněji: https://is.slu.cz/publication/36646/cs
    2. E-LERANING SUPPORT FOT LOGIC EDUCATION
      DUŽÍ, Marie, Marek MENŠÍK a Vojtěch HERNAS. E-LERANING SUPPORT FOT LOGIC EDUCATION. In ICT for Competitiveness. Karviná: Slezská univerzita v Opavě, Obchodně podnikatelská fakulta v Karviné. s. 83-89. ISBN 978-80-7248-731-8. 2012.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:43.
      Podrobněji: https://is.slu.cz/publication/36648/cs
    3. Formal Concept Analysis and Contextual Document Similarity
      MENŠÍK, Marek a Michal PERDEK. Formal Concept Analysis and Contextual Document Similarity. In Mendel. Brno: Vysoké učení technické v Brně. s. 352-359. ISBN 978-80-214-4540-6. 2012.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:41.
      Podrobněji: https://is.slu.cz/publication/36647/cs

    2011

    1. Communication in a multi-agent system based on Transparent Intensional Logic
      DUŽÍ, Marie, Martina ČÍHALOVÁ a Marek MENŠÍK. Communication in a multi-agent system based on Transparent Intensional Logic. In Mendel. Brno: Brno University of Technology. s. 477-485. ISBN 978-80-214-4302-0. 2011.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:46.
      Podrobněji: https://is.slu.cz/publication/36649/cs
    2. E-learning support for logic education
      DUŽÍ, Marie, Marek MENŠÍK, Martina ČÍHALOVÁ a DOSTÁLOVÁ. E-learning support for logic education. Communications in Computer and Information Science. roč. 194, č. 1, s. 560-568. ISSN 1865-0929. 2011.
      angličtina.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 25. 2. 2020 13:16.
      Podrobněji: https://is.slu.cz/publication/36560/cs
    3. Ontology as a logic of intensions
      DUŽÍ, Marie, Martina ČÍHALOVÁ a Marek MENŠÍK. Ontology as a logic of intensions. In Frontiers in Artificial Intelligence and Applications. IOS Press. s. 1-20. ISBN 978-1-60750-689-8. 2011.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:48.
      Podrobněji: https://is.slu.cz/publication/36650/cs

    2010

    1. Agents' resoning using TIL-Script and Prolog
      ČÍHALOVÁ, Martina, Nikola CIPRICH, Marie DUŽÍ a Marek MENŠÍK. Agents' resoning using TIL-Script and Prolog. In Frontiers in Artificial Intelligence and Applications. IOS Press. s. 135-154. ISBN 978-1-60750-089-6. 2010.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:49.
      Podrobněji: https://is.slu.cz/publication/36651/cs
    2. Process ontology
      DUŽÍ, Marie, Martina ČÍHALOVÁ, Marek MENŠÍK a Lukáš VÍCH. Process ontology. In Recent Advances in Slavonic Natural Language Processing. Brno: Tribun. s. 77-88. ISBN 978-80-7399-246-0. 2010.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:50.
      Podrobněji: https://is.slu.cz/publication/36652/cs

    2009

    1. Deductive Reasoning using TIL
      DUŽÍ, Marie, Martina ČÍHALOVÁ, Nikola CIPRICH, Tomáš FRYDRYCH a Marek MENŠÍK. Deductive Reasoning using TIL. In Recent Advances in Slavonic Natural Language Processing. Brno: Masaryk University. s. 25-38. ISBN 978-80-210-5048-8. 2009.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:56.
      Podrobněji: https://is.slu.cz/publication/36654/cs

    2008

    1. TIL and Logic Programming
      DUŽÍ, Marie, Martina ČÍHALOVÁ, Marek MENŠÍK a Nikola CIPRICH. TIL and Logic Programming. In Raslan. Brno: Masarykova univerzita. s. 17-30. ISBN 978-80-210-4741-9. 2008.
      Změnil: Mgr. Marek Menšík, Ph.D., učo 24481. Změněno: 27. 2. 2020 08:52.
      Podrobněji: https://is.slu.cz/publication/36653/cs
Zobrazeno: 16. 4. 2024 19:19