Výpis publikací

MICHALOVSKÝ, Tomáš, Marek MENŠÍK a Albert ADAM. Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation. Online. 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, 2022, s. 175-183. ISSN 1613-0073.

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, 2021, roč. 343, č. 2021, s. 204-214. ISSN 0922-6389. Dostupné z: https://dx.doi.org/10.3233/FAIA210487.

MENŠÍK, Marek, Adam ALBERT a Tomáš MICHALOVSKÝ. Using FCA and Concept Explications for Finding an Appropriate Concept. Online. 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, 2021, s. 49-60. ISBN 978-80-263-1670-1.

ALBERT, Adam, Marie DUŽÍ, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Search for appropriate textual information sources. Online. 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, 2020, s. 227-246. ISBN 978-1-64368-140-5. Dostupné z: https://dx.doi.org/10.3233/FAIA200832.

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, 2019, s. 71-82. ISBN 978-80-263-1530-8.

MENŠÍK, Marek, Marie DUŽÍ, Adam ALBERT, Vojtěch PATSCKA a Miroslav PAJR. Machine Learning Using TIL. Online. 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, 2019, s. 344-362. ISBN 978-1-64368-044-6. Dostupné z: https://dx.doi.org/10.3233/FAIA200024.

DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Natural deduction system in the TIL-script language. Online. In Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N. Frontiers in Artificial Intelligence and Applications. 312. vyd. Amsterdam: IOS Press, 2019, s. 237-255. ISBN 978-1-61499-933-1. Dostupné z: https://dx.doi.org/10.3233/978-1-61499-933-1-237.

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), 2019, roč. 23, č. 3, s. 943-958. ISSN 1405-5546. Dostupné z: https://dx.doi.org/10.13053/CyS-23-3-3242.

MENŠÍK, Marek, Marie DUŽÍ, Adam ALBERT, Vojtěch PATSHKA a Miroslav PAJR. Seeking Relevant Information Sources. Online. In 2019 IEEE 15th International Scientific Conference on Informatics. Montreal, Canada: Institute of Electrical and Electronics Engineers, 2019, s. 255-260. ISBN 978-1-7281-3181-8. Dostupné z: https://dx.doi.org/10.1109/Informatics47936.2019.9119332.

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

DUŽÍ, Marie, Michal FAIT a Marek MENŠÍK. Context recognition for a hyperintensional inference machine. In AIP Conference Proceedings. American Institute of Physics, 2017. ISBN 978-0-7354-1538-6.

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, 2017, s. 15-20. ISSN 1803-3814. Dostupné z: https://dx.doi.org/10.13164/mendel.2017.1.015.

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, 2017, s. 311-318. ISBN 978-619-7408-01-0. Dostupné z: https://dx.doi.org/10.5593/sgem2017/21/S07.040.

DUŽÍ, Marie a Marek MENŠÍK. Logic of Inferable Knowledge. In Frontiers in Artificial Intelligence and Applications. IOS Press, 2017, s. 405-425. ISBN 978-1-61499-719-1.

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, 2017, s. 417-424. ISBN 978-619-7408-01-0. Dostupné z: https://dx.doi.org/10.5593/sgem2017/21/S07.053.

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

MENŠÍK, Marek, Marie DUŽÍ a Jakub GERLICH. eLogika – the system for teaching logic. In Frontiers in Artificial Intelligence and Applications. IOS Press, 2014, s. 291-307. ISBN 978-1-61499-471-8.

MENŠÍK, Marek, Lukáš VÍCH a Vladimír JAROTEK. Extensional principles in three types of context. In MENDEL. Brno: Brno University of Technology, 2014, s. 381-386. ISBN 978-80-214-4984-8.

ČÍHALOVÁ, Martina, Marie DUŽÍ a Marek MENŠÍK. Logical specification of processes. Frontiers in Artificial Intelligence and Applications. 2014, roč. 260, s. 45-63. ISSN 0922-6389.

DUŽÍ, Marie, Marek MENŠÍK a Michal PERDEK. Document similarity. Frontiers in Artificial Intelligence and Applications. 2013, roč. 251, s. 241-254. ISSN 0922-6389.

DUŽÍ, Marie, Marek MENŠÍK, Martina ČÍHALOVÁ a Michal PERDEK. Hyperintensional, Intensional and Extensional Context Recognition. In Mendel. Brno: Brno University of Technology, 2013, s. 427-432. ISBN 978-80-214-4755-4.

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, 2012, s. 33-41. ISBN 978-80-263-0313-8.

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é, 2012, s. 83-89. ISBN 978-80-7248-731-8.

MENŠÍK, Marek a Michal PERDEK. Formal Concept Analysis and Contextual Document Similarity. In Mendel. Brno: Vysoké učení technické v Brně, 2012, s. 352-359. ISBN 978-80-214-4540-6.

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, 2011, s. 477-485. ISBN 978-80-214-4302-0.

DUŽÍ, Marie, Marek MENŠÍK, Martina ČÍHALOVÁ a DOSTÁLOVÁ. E-learning support for logic education. Communications in Computer and Information Science. 2011, roč. 194, č. 1, s. 560-568. ISSN 1865-0929.

DUŽÍ, Marie, Martina ČÍHALOVÁ a Marek MENŠÍK. Ontology as a logic of intensions. In Frontiers in Artificial Intelligence and Applications. IOS Press, 2011, s. 1-20. ISBN 978-1-60750-689-8.

ČÍ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, 2010, s. 135-154. ISBN 978-1-60750-089-6.

DUŽÍ, Marie, Martina ČÍHALOVÁ, Marek MENŠÍK a Lukáš VÍCH. Process ontology. In Recent Advances in Slavonic Natural Language Processing. Brno: Tribun, 2010, s. 77-88. ISBN 978-80-7399-246-0.

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, 2009, s. 25-38. ISBN 978-80-210-5048-8.

DUŽÍ, Marie, Martina ČÍHALOVÁ, Marek MENŠÍK a Nikola CIPRICH. TIL and Logic Programming. In Raslan. Brno: Masarykova univerzita, 2008, s. 17-30. ISBN 978-80-210-4741-9.