Informační systém SU

Výpis publikací

česky | in English

Filtrování publikací

    2019

  1. 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.
  2. 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, 2019. s. 344-362. ISBN 978-1-64368-044-6. doi:10.3233/FAIA200024.
  3. 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, 2019. s. 237-255. ISBN 978-1-61499-933-1. doi:10.3233/978-1-61499-933-1-237.
  4. 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. doi:10.13053/CyS-23-3-3242.
  5. 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, 2019. s. 255-260. ISBN 978-1-7281-3181-8. doi:10.1109/Informatics47936.2019.9119332.
  6. 2018

  7. 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.
  8. 2017

  9. 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.
  10. 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. doi:10.13164/mendel.2017.1.015.
  11. 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. doi:10.5593/sgem2017/21/S07.040.
  12. 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.
  13. 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. doi:10.5593/sgem2017/21/S07.053.
  14. 2015

  15. 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.
  16. 2014

  17. 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.
  18. 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.
  19. ČÍ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.
  20. 2013

  21. 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.
  22. 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.
  23. 2012

  24. 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.
  25. 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.
  26. 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.
  27. 2011

  28. 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.
  29. 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.
  30. 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.
  31. 2010

  32. ČÍ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.
  33. 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.
  34. 2009

  35. 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.
  36. 2008

  37. 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.
Zobrazit podrobně
Zobrazeno: 1. 12. 2021 17:07