Publication Records

MRÁKOVÁ, Eva and Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky (Introduction to Logic for Computer Science: Tasks and Solutions). Vydání první. Brno: Masarykova univerzita, 2015, 82 pp. ISBN 978-80-210-7843-7.

MRÁKOVÁ, Eva and Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky. 1. vyd. Brno: Masarykova univerzita, 2015, 80 pp. ISBN 978-80-210-7843-7.

VACULÍK, Karel, Lubomír POPELÍNSKÝ, Eva MRÁKOVÁ and Juraj JURČO. Tutoring and Automatic Evaluation of Logic Proofs. Online. In Mélanie Ciussi, Marc Augier. Proceedings of the 12th European Conference on e-Learning ECEL 2013. Sophia Antipolis, France: Academic Conferences and Publishing International, 2013, p. 495-502. ISBN 978-1-909507-84-5.

POPELÍNSKÝ, Lubomír, Eva MRÁKOVÁ and Juraj JURČO. Educational Data Mining and Teaching Logic. In Stanislav Krajči. Znalosti 2012 : Proceedings of the 11th annual conference. 1st ed. Košice: Matfyzpress, 2012, p. 165-168. ISBN 978-80-7378-220-7.

POPELÍNSKÝ, Lubomír, Eva MRÁKOVÁ and Marek STEHLÍK. Teaching Computational Logic: Technology-enhanced Learning and Animations. In Third International Congress on Tools for Teaching Logic, 1-4 June 2011, Salamanca. Salamanca, 2011.

POPELÍNSKÝ, Lubomír and Eva MRÁKOVÁ. Výuka logiky na Fakultě informatiky MU Brno. Současnost a perspektivy. In Ludmila Dostálová. Sborník příspěvků ze semináře o výuce logiky Organon VII. aneb Nihil novi. Plzeň: Katedra filosofofie FF ZČU, 2011, p. 59-68. ISBN 978-80-261-0035-5.

VAŇÁČEK, Jan, Zdeněk ZAVRTAL, Marek STEHLÍK, Eva MRÁKOVÁ and Lubomír POPELÍNSKÝ. Animations for teaching logic (software). 2010.

MRÁKOVÁ, Eva and Lubomír POPELÍNSKÝ. E-learning a výpočtová logika (E-learning and Computational Logic). In Sborník příspěvků z konference a soutěže eLearning 2010. 1st ed. Hradec Králové: Gaudeamus UHK, 2010, 6 pp. ISBN 978-80-7435-067-2.

MRÁKOVÁ, Eva and Karel PALA. Legal Terms and Word Sketches - A Case Study. In Petr Sojka, Aleš Horák. Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2010. Brno: Tribun EU, 2010, p. 31–39. ISBN 978-80-7399-246-0.

PALA, Karel and Eva MRÁKOVÁ. Legal Terms and Word Sketches: a Case Study. In Sojka P., Horák A. Proceedings of Fourth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2010. první. Brno: Tribun s.r.o., 2010, p. 31-39. ISBN 978-80-7399-246-0.

PALA, Karel and Eva MRÁKOVÁ. Verb Valency Frames in Czech Legal Texts. In Proceedings of the RASLAN 2009 Workshop. Brno: Masaryk University, 2009, 7 pp. ISBN 978-80-210-5048-8.

BLAŤÁK, Jan, Lubomír POPELÍNSKÝ and Eva MRÁKOVÁ. Fragments and Text Categorization. In The Companion Volume to the Proceedings of 42st Annual Meeting of the Association for Computational Linguistics. Barcelona (Spain): Association for Computational Linguistics, 2004, p. 226-229. ISBN 1-932432-33-7.

MRÁKOVÁ, Eva, Lubomír POPELÍNSKÝ and Jan BLAŤÁK. Víceslovné výrazy a klasifikace českých textů (Multiword expressions and Czech document classification). In Znalosti 2004, sborník posterů. 1st ed. Ostrava: VŠB--Technická univerzita Ostrava, 2004, p. 53-56.

PALA, Karel and Eva MRÁKOVÁ. A Procedure for Semiautomatic Building Consistent Dictionary Definitions. In Computational Linguistics and Intelligent Text Processing. Berlin: Springer-Verlag, 2003, p. 295-303. ISBN 3-540-00532-3.

MRÁKOVÁ, Eva and Radek SEDLÁČEK. From Czech Morphology through Partial Parsing to Disambiguation. In Computational Linguistics and Intelligent Text Processing. Berlin: Springer-Verlag, 2003, p. 126-135. ISBN 3-540-00532-3.

NEPIL, Miloslav, Lubomír POPELÍNSKÝ and Eva ŽÁČKOVÁ. Part-of-Speech Tagging by Means of Shallow Parsing, ILP and Active Learning. In Proceedings of the Third Workshop on Learning Language in Logic, LLL 2001, Strasbourg, France, September 2001. Brno: FI MU, 2001, p. 58-66.

ŽÁČKOVÁ, Eva, Lubomír POPELÍNSKÝ and Miloslav NEPIL. Automatic Tagging of Compound Verb Groups in Czech Corpora. Edited by Sojka P., Kopeček I. and Pala K. In Text, Speech and Dialogue: Third International Workshop, TSD 2000, Brno, Czech Republic, September 2000. 1st ed. Berlin: Springer Verlag, 2000, p. 115-120. Lecture Notes in Artificial Intelligence 1902. ISBN 3-540-41042-2.

ŽÁČKOVÁ, Eva, Lubomír POPELÍNSKÝ and Miloslav NEPIL. Recognition and Tagging of Compound Verb Groups in Czech. In Proceedings of CoNLL-2000 and LLL-2000, Lisbon, Portugal, September 2000. New Brunswick: Association for Computational Linguistics, 2000, p. 219-225.

ŽÁČKOVÁ, Eva and Karel PALA. Corpus-Based Rules for Czech Verb Discontinuous Constituents. Edited by Matoušek V., Mautner P., Ocelíková J., Sojka P. In Text, Speech and Dialogue: Second International Workshop TSD '99, Plzen, Czech Republic, September 13-17, 1999. 1st ed. Berlin: Springer Verlag, 1999, p. 325-328. Lecture Notes in Artificial Intelligence 1692. ISBN 3-540-66494-7.

ŽÁČKOVÁ, Eva and Pavel SMRŽ. New Tools for Disambiguation of Czech Texts. Edit. P. Sojka, V. Matoušek, K. Pala, I. Kopeček. In Text, speech, dialogue : proceedings of the First Workshop on Text, Speech, Dialogue - TSD '98, Brno, Czech Republic, September_23-26,_1998. 1st ed. Brno: Masaryk University, 1998, p. 129-134. ISBN 80-210-1900-X.