Martina Číhalová, Marie Duží, Marek Menšík. Logical specification of processes. Frontiers in Artificial Intelligence and Applications, IOS Press, 2014, s. 45-63, ISSN 0922-6389 

Marie Duží, Peter Vojtáš, Yasushi Kiyoki, Marek Menšík, Michal Perdek, Hannu Jaakkola, Takehiro Tokuda, Naofumi Yoshida. Document similarity. Frontiers in Artificial Intelligence and Applications, IOS Press, 2013, s. 241-254, ISSN 0922-6389 

Marie Duží, E. Ariwa, E. El-Quawasmeh, Marek Menšík, Martina Číhalová, Ludmila Dostálová. E-learning support for logic education. Communications in Computer and Information Science, Springer, 2011, s. 560-568, ISSN 1865-0929, ISBN 978-3-642-22602-1 

Marek Menšík, Jozef Kelemen, Ján Rybár, Jakub Gerlich, Igor Farkaš, Martin Takáč. Data-mining nad systémem eLogika. Kognitivní věda a umělý život, Slezská univerzita v Opavě, 2013, s. 181-187, ISBN 978-80-7248-863-6 

Marek Menšík, Kelemen, Kvasnička, Ľuboš Chupáč. Formálna metóda na vývoj a popis softwareového systému. Kognice a umělý život XII : [sborník editovaných příspěvků], Agentura Action M, 2012, s. 84-89, ISBN 978-80-86742-34-2 

J. Kelemen, Marek Menšík, Kvasnička, Michal Perdek. Kontextová podobnost dokumentů a jejich shlukování. Kognice a umělý život XII : [sborník editovaných příspěvků], Agentura Action M, 2012, s. 149-157, ISBN 978-80-86742-34-2 

Marek Menšík, J. Kelemen, Lukáš Vích, Kvasnička, Martina Číhalová. Dedukce v multi-agentních systémech za pomoci logiky vyšších řádů. Kognice a umělý život XII : [sborník editovaných příspěvků], Agentura Action M, 2012, s. 158-166, ISBN 978-80-86742-34-2  

Marek Menšík, Jozef Kelemen, Martina Číhalová, Vladimír Kvasnička, Tomáš Frydrych, Ondřej Kohut. Transparentní Intensionální Logika v multiagentních systémech. Kognice a umělý život X, Slezská univerzita v Opavě, 2010, s. 87-91, ISBN 978-80-7248-589-5  

Marek Menšík, Martina Číhalová. Turingův test a jeho výsledky ve vztahu k pojmu myšlení. Kognice a umělý život IX. Ed. J. Kelemen, V. Kvasnička, J. Rybár, Slezská univerzita v Opavě, 2009, s. 61-68, ISBN 978-80-7248-516-1  

Marek Menšík, Martina Číhalová. Metodika hodnocení obtížnosti příkladů řešených v kalkulu přirozené dedukce a obecné rezoluční metody.. Odkud a jak brát stále nové příklady: Elektronická databáze příkladů pro výuku úvodních kurzů logiky, Západočeská univerzita v Plzni, 2009, s. 43-54, ISBN 978-80-7043-864-0  

Marek Menšík, Vladimír Jarotek, Martina Číhalová. Interpretace logických formulí v PL1 do přirozeného jazyka. Odkud a jak brát stále nové příklady: Elektronická databáze příkladů pro výuku úvodních kurzů logiky, Západočeská univerzita v Plzni, 2009, s. 55-63, ISBN 978-80-7043-864-0  

Marie Duží, Welzer Tatjana, Jaakkola Hannu, Martina Číhalová, Nikola Ciprich, Kiyoki Yasushi, Marek Menšík, Tokuda Takehiro, Yoshida Naofumi. Agents reasoning using TIL Script and Prolog. Proceedings of the 19th European-Japanese Conference on Information Modelling and Knowledge Bases, University of Maribor, 2009, s. 137-156, ISBN 978-961-248-162-9  

Marek Menšík, Marie Duží, Martina Číhalová, Ludmila Dostálová, J Raclavský, J Lang, K Šebela. Elektronická databáze příkladů z logiky. Pedagogický software 2008, Jihočeská univerzita v Českých Budějovicích, 2008, s. 147-149, ISBN 80-85645-59-9  

Yasushi Kiyoki, Marie Duží, Daniela Ďuráková, Benkt Wangler, Marek Menšík, Hannu Jaakkola, Hannu Kangassalo. Concepts are Structured meanings. Information Modelling and Knowledge Bases XVI, IOS Press, 2005, s. 258-276, ISBN 1-58603-497-9  

Marek Menšík, Martina Číhalová. Intelligent decision making based on queries with presupposition in MAS. SGEM 2015 : 15th international multidisciplinary scientific geoconference : conference proceedings : 18-24 June, 2015, Albena, Bulgaria. Volume I, Informatics, STEF92 Technology Ltd., 2015, s. 155-166, ISSN 1314-2704, ISBN 978-619-7105-34-6  

Marek Menšík, Pavla Dráždilová. Analysis of student's behavior in LMS Elogika. SGEM 2015 : 15th international multidisciplinary scientific geoconference : conference proceedings : 18-24 June, 2015, Albena, Bulgaria. Volume I, Informatics, STEF92 Technology Ltd., 2015, s. 22-34, ISSN 1314-2704, ISBN 978-619-7105-34-6  

Marek Menšík, Pavla Dráždilová. Analysis of log files in LMS elogika. Mendel 2015, Brno University of Technology, 2015, s. 205-212, ISSN 1803-3814, ISBN 0-000-00000-0  

Marek Menšík, Marie Duží, Martin Stavinoha. Education support for Mathematical logic; the eLogika system. SGEM 2014 : 14th International Multidisciplinary Scientific Geoconference : Geoconference on Informatics, Geoinformatics and Remote Sensing : 17-26, June, 2014, Albena, Bulgaria : conference proceedings. Volume I, Informatics, Geoinformatics, STEF92 Technology Ltd., 2014, s. 151-160, ISSN 1314-2704, ISBN 978-619-7105-10-0  

Marek Menšík, Martin Prokeš. Transmission of presentation in a tree network topology. SGEM 2014 : 14th International Multidisciplinary Scientific Geoconference : Geoconference on Informatics, Geoinformatics and Remote Sensing : 17-26, June, 2014, Albena, Bulgaria : conference proceedings. Volume I, Informatics, Geoinformatics, STEF92 Technology Ltd., 2014, s. 407-418, ISSN 1314-2704, ISBN 978-619-7105-10-0  

Marek Menšík, Lukáš Vích, Vladimír Jarotek. Extensional principles in three types of context. MENDEL 2014 : 20th International Conference on Soft Computing : June 25-27, 2014, Brno, Czech Republic, Brno University of Technology, 2014, s. 381-386, ISSN 1803-3814, ISBN 978-80-214-4984-8  

Marek Menšík, Marie Duží, Jakub Gerlich. eLogika ? the system for teaching logic. Frontiers in Artificial Intelligence and Applications. Volume 272, IOS Press, 2014, s. 291-307, ISSN 0922-6389, ISBN 978-1-61499-471-8  

Marie Duží, Martina Číhalová, Marek Menšík. Communication in a multi-agent system; questions and answers. SGEM 2013 : 13th international multidisciplinary scientific geoconference : GeoConference on Informatics, Geoinformatics and Remote Sensing : 16-22, June, 2013, Albena, Bulgaria : conference proceedings. [Book 2]. Volume I, STEF92 Technology Ltd., 2013, s. 11-22, ISSN 1314-2704, ISBN 978-954-91818-9-0  

Marek Menšík, Jakub Gerlich. Data-mining and the quality of distance-education improvement. SGEM 2013 : 13th international multidisciplinary scientific geoconference : GeoConference on Ecology, Economics, Education and legislation : 16-22, June, 2013, Albena, Bulgaria : conference proceedings. [Book 5]. Volume I, STEF92 Technology Ltd., 2013, s. 77-84, ISSN 1314-2704, ISBN 978-619-7105-04-9  

Ľuboš Chupáč, Ivan Mudroň, Marek Menšík. Description and developement software systems by using TIL Script and VDM. SGEM 2013 : 13th international multidisciplinary scientific geoconference : GeoConference on Informatics, Geoinformatics and Remote Sensing : 16-22, June, 2013, Albena, Bulgaria : conference proceedings. [Book 2]. Volume I, STEF92 Technology Ltd., 2013, s. 93-100, ISSN 1314-2704, ISBN 978-954-91818-9-0  

Marie Duží, Marek Menšík, Martina Číhalová, Michal Perdek. Hyperintensional, Intensional and Extensional Context Recognition. Mendel 2013 : 19th International Conference on Soft Computing : June 26-28, 2013, Brno, Czech Republic, Brno University of Technology, 2013, s. 427-432, ISSN 1803-3814, ISBN 978-80-214-4755-4  

Marie Duží, Marek Menšík, Lukáš Vích. Deduction system for TIL-2010. 6th Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2012, Masarykova univerzita, 2012, s. 33-41, ISBN 978-80-263-0313-8  

Marek Menšík, Michal Perdek. Formal Concept Analysis and Contextual Document Similarity. Mendel 2012 : 18th International Conference on Soft Computing : June 27-29, Brno, Czech Republic, Vysoké učení technické v Brně, 2012, s. 352-359, ISSN 1803-3814, ISBN 978-80-214-4540-6  

Marie Duží, Anneli Heimbürger, Yasushi Kiyoki, Martina Číhalová, Marek Menšík, Takehiro Tokuda, Hannu Jaakkola, Naofumi Yoshida. Ontology as a logic of intensions. Frontiers in Artificial Intelligence and Applications. Volume 225, IOS Press, 2011, s. 1-20, ISSN 0922-6389, ISBN 978-1-60750-689-8  

Marie Duží, R. Matoušek, Martina Číhalová, Marek Menšík. Communication in a multi-agent system based on Transparent Intensional Logic. Mendel 2011 : 17th International Conference on Soft Computing : evolutionary computation, genetic programming, fuzzy logic, rough sets, neural networks fractals, Bayesian methods : June 15-17, Brno, Czech Republic, Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav automatizace a informatiky, 2011, s. 477-485, ISSN 1803-3814, ISBN 978-80-214-4302-0  

Tatjana Welzer-Družovec, Martina Číhalová, Nikola Ciprich, Hannu Jaakkola, Yasushi Kiyoki, Marie Duží, Marek Menšík, Takehiro Tokuda, Naofumi Yoshida. Agents' resoning using TIL-Script and Prolog. Frontiers in Artificial Intelligence and Applications. Volume 206, IOS Press, 2010, s. 135-154, ISSN 0922-6389, ISBN 978-1-60750-089-6  

Marie Duží, Martina Číhalová, Marek Menšík, Lukáš Vích. Process ontology. RASLAN 2010 : Recent Advances in Slavonic Natural Language Processing : fourth workshop on... December 3-5, 2010, Tribun EU, 2010, s. 77-88, ISBN 978-80-7399-246-0  

Marie Duží, Martina Číhalová, Marek Menšík, Nikola Ciprich. TIL and Logic Programming. Raslan 2008, Masarykova univerzita, 2008, s. 17-30, ISBN 978-80-210-4741-9  

Marek Menšík, Tomáš Miketa. E-learningová podpora výuky logiky (eLogika). ORGANON V., Karlova Univerzita, 2006, s. 76-88, ISBN 80-7308-140-7  

Marek Menšík, Tomáš Miketa, Martina Číhalová. eLogika a statistiky vedené nad testy. ORGANON VI.: Odkud a jak brát stále nové příklady, Západočeská univerzita v Plzni, 2009, s. 85-94, ISBN 978-80-7043-840-4  

Martina Číhalová, Marie Duží, Marek Menšík. Tvorba ontologií z pohledu logiky. Datakon 2009, Oeconomica, 2009, s. 171-181, ISBN 978-80-245-1568-7  

Marie Duží, Martina Číhalová, Nikola Ciprich, Tomáš Frydrych, Marek Menšík. Deductive Reasoning using TIL. RASLAN 2009 : Recent Advances in Slavonic Natural Language Processing third workshop on ... : Karlova Studánka, Czech Republic, December 4-6, 2009 : proceedings, Masaryk University, 2009, s. 25-38, ISBN 978-80-210-5048-8  

Marek Menšík, Martina Číhalová. An outline of plan generation and plan-based decision making in Multi-Agent System. WOFEX 2008, VŠB - TU Ostrava, Fakulta elektrotechniky a informatiky, 2008, s. 254-269, ISBN 978-80-248-1807-8  

Ondřej Kohut, Marek Menšík. Contextual similarity. Wofex 2006, VŠB - TU Ostrava, Fakulta elektrotechniky a informatiky, 2006, s. 352-357, ISBN 80-248-1152-9