Natural Deduction System in the TIL-Script Language. - Marie Duzí; Marek Mensík; Miroslav Pajr; Vojtech Patschka (EJC, 2018)

Machine Learning Using TIL. - Marek Mensík; Marie Duzí; Adam Albert; Vojtech Patschka; Miroslav Pajr (EJC, 2019)

Refining Concepts by Machine Learning. - Marek Mensík; Marie Duzí; Adam Albert; Vojtech Patschka; Miroslav Pajr (Computación y Sistemas, 2019)

Search for Appropriate Textual Information Sources. - Adam Albert; Marie Duzí; Marek Mensík; Miroslav Pajr; Vojtech Patschka (EJC, 2020)

Improvement of Searching for Appropriate Textual Information Sources Using Association Rules and FCA. - Marek Mensík; Adam Albert; Vojtech Patschka; Miroslav Pajr (EJC, 2021)