Information System SU

Publication Records

česky | in English

Filter publications

    2022

    1. MICHALOVSKÝ, Tomáš, Marek MENŠÍK and 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. 3226th ed. Slovensko: CEUR-WS. p. 175-183. ISSN 1613-0073. 2022.

    2021

    1. MENŠÍK, Marek, Adam ALBERT, Vojtěch PATSCHKA and 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, vol. 343, No 2021, p. 204-214. ISSN 0922-6389. doi:10.3233/FAIA210487. 2021.
    2. MENŠÍK, Marek, Adam ALBERT and 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,. 2021st ed. Brno: Tribun EU. p. 49-60. ISBN 978-80-263-1670-1. 2021.

    2020

    1. ALBERT, Adam, Marie DUŽÍ, Marek MENŠÍK, Miroslav PAJR and 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. 333rd ed. Amsterodam: IOS Press BV. p. 227-246. ISBN 978-1-64368-140-5. doi:10.3233/FAIA200832. 2020.

    2019

    1. DUŽÍ, Marie, Michal FAIT and 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. p. 71-82. ISBN 978-80-263-1530-8. 2019.
    2. MENŠÍK, Marek, Marie DUŽÍ, Adam ALBERT, Vojtěch PATSCKA and 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. 321st ed. Lappeenranta, Finland: IOS Press. p. 344-362. ISBN 978-1-64368-044-6. doi:10.3233/FAIA200024. 2019.
    3. DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR and 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. 312th ed. Amsterdam: IOS Press. p. 237-255. ISBN 978-1-61499-933-1. doi:10.3233/978-1-61499-933-1-237. 2019.
    4. MENŠÍK, Marek, Marie DUŽÍ, Adam ALBERT, Vojtěch PATSCHKA and Miroslav PAJR. Refining concepts by machine learning. Computacion y Sistemas. Centro de Investigacion en Computacion (CIC) del Instituto Politecnico Nacional (IPN), vol. 23, No 3, p. 943-958. ISSN 1405-5546. doi:10.13053/CyS-23-3-3242. 2019.
    5. MENŠÍK, Marek, Marie DUŽÍ, Adam ALBERT, Vojtěch PATSHKA and Miroslav PAJR. Seeking Relevant Information Sources. In 2019 IEEE 15th International Scientific Conference on Informatics. Montreal, Canada: Institute of Electrical and Electronics Engineers. p. 255-260. ISBN 978-1-7281-3181-8. doi:10.1109/Informatics47936.2019.9119332. 2019.

    2018

    1. MENŠÍK, Marek, Marie DUŽÍ and Jakub KERMASCHEK. The role of beta conversion in functional programming. In Frontiers in Artificial Intelligence and Applications. Amsterodam. p. 280-298. ISBN 978-1-61499-833-4. 2018.

    2017

    1. DUŽÍ, Marie, Michal FAIT and 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.
    2. KERMASCHEK, Jakub, Pavla DRÁŽDILOVÁ and Marek MENŠÍK. Data Scaling By Differential Evolution for FCA Over Data from LMS eLogika. In Mendel. Brno: Brno University of Technology. p. 15-20. ISSN 1803-3814. doi:10.13164/mendel.2017.1.015. 2017.
    3. MENŠÍK, Marek, Jakub KERMASCHEK and 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. p. 311-318. ISBN 978-619-7408-01-0. doi:10.5593/sgem2017/21/S07.040. 2017.
    4. DUŽÍ, Marie and Marek MENŠÍK. Logic of Inferable Knowledge. In Frontiers in Artificial Intelligence and Applications. IOS Press. p. 405-425. ISBN 978-1-61499-719-1. 2017.
    5. CIENCIALOVÁ, Lucie, Luděk CIENCIALA and 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. p. 417-424. ISBN 978-619-7408-01-0. doi:10.5593/sgem2017/21/S07.053. 2017.

    2015

    1. MENŠÍK, Marek and Pavla DRÁŽDILOVÁ. Analysis of log files in LMS elogika. In Mendel. Brno: Brno University of Technology. p. 205-212. ISSN 1803-3814. 2015.

    2014

    1. MENŠÍK, Marek, Marie DUŽÍ and Jakub GERLICH. eLogika – the system for teaching logic. In Frontiers in Artificial Intelligence and Applications. IOS Press. p. 291-307. ISBN 978-1-61499-471-8. 2014.
    2. MENŠÍK, Marek, Lukáš VÍCH and Vladimír JAROTEK. Extensional principles in three types of context. In MENDEL. Brno: Brno University of Technology. p. 381-386. ISBN 978-80-214-4984-8. 2014.
    3. ČÍHALOVÁ, Martina, Marie DUŽÍ and Marek MENŠÍK. Logical specification of processes. Frontiers in Artificial Intelligence and Applications. vol. 260, p. 45-63. ISSN 0922-6389. 2014.

    2013

    1. DUŽÍ, Marie, Marek MENŠÍK and Michal PERDEK. Document similarity. Frontiers in Artificial Intelligence and Applications. vol. 251, p. 241-254. ISSN 0922-6389. 2013.
    2. DUŽÍ, Marie, Marek MENŠÍK, Martina ČÍHALOVÁ and Michal PERDEK. Hyperintensional, Intensional and Extensional Context Recognition. In Mendel. Brno: Brno University of Technology. p. 427-432. ISBN 978-80-214-4755-4. 2013.

    2012

    1. DUŽÍ, Marie, Marek MENŠÍK and Lukáš VÍCH. Deduction system for TIL-2010. In 6th Workshop on Recent Advances in Slavonic Natural Language Processing. Brno: Masarykova univerzita. p. 33-41. ISBN 978-80-263-0313-8. 2012.
    2. DUŽÍ, Marie, Marek MENŠÍK and Vojtěch HERNAS. E-LERANING SUPPORT FOT LOGIC EDUCATION. In ICT for Competitiveness. Karviná: Slezská univerzita v Opavě, Obchodně podnikatelská fakulta v Karviné. p. 83-89. ISBN 978-80-7248-731-8. 2012.
    3. MENŠÍK, Marek and Michal PERDEK. Formal Concept Analysis and Contextual Document Similarity. In Mendel. Brno: Vysoké učení technické v Brně. p. 352-359. ISBN 978-80-214-4540-6. 2012.

    2011

    1. DUŽÍ, Marie, Martina ČÍHALOVÁ and Marek MENŠÍK. Communication in a multi-agent system based on Transparent Intensional Logic. In Mendel. Brno: Brno University of Technology. p. 477-485. ISBN 978-80-214-4302-0. 2011.
    2. DUŽÍ, Marie, Marek MENŠÍK, Martina ČÍHALOVÁ and DOSTÁLOVÁ. E-learning support for logic education. Communications in Computer and Information Science. vol. 194, No 1, p. 560-568. ISSN 1865-0929. 2011.
    3. DUŽÍ, Marie, Martina ČÍHALOVÁ and Marek MENŠÍK. Ontology as a logic of intensions. In Frontiers in Artificial Intelligence and Applications. IOS Press. p. 1-20. ISBN 978-1-60750-689-8. 2011.

    2010

    1. ČÍHALOVÁ, Martina, Nikola CIPRICH, Marie DUŽÍ and Marek MENŠÍK. Agents' resoning using TIL-Script and Prolog. In Frontiers in Artificial Intelligence and Applications. IOS Press. p. 135-154. ISBN 978-1-60750-089-6. 2010.
    2. DUŽÍ, Marie, Martina ČÍHALOVÁ, Marek MENŠÍK and Lukáš VÍCH. Process ontology. In Recent Advances in Slavonic Natural Language Processing. Brno: Tribun. p. 77-88. ISBN 978-80-7399-246-0. 2010.

    2009

    1. DUŽÍ, Marie, Martina ČÍHALOVÁ, Nikola CIPRICH, Tomáš FRYDRYCH and Marek MENŠÍK. Deductive Reasoning using TIL. In Recent Advances in Slavonic Natural Language Processing. Brno: Masaryk University. p. 25-38. ISBN 978-80-210-5048-8. 2009.

    2008

    1. DUŽÍ, Marie, Martina ČÍHALOVÁ, Marek MENŠÍK and Nikola CIPRICH. TIL and Logic Programming. In Raslan. Brno: Masarykova univerzita. p. 17-30. ISBN 978-80-210-4741-9. 2008.
Display details
Displayed: 28/3/2024 22:04