TIL and Logic Programming. - Martina Cíhalová; Nikola Ciprich; Marie Duzí; Marek Mensík (RASLAN, 2008)

Agents' reasoning using TIL-Script and Prolog. - Martina Cíhalová; Nikola Ciprich; Marie Duzí; Marek Mensík (EJC, 2009)

Deductive Reasoning using TIL. - Martina Cíhalová; Nikola Ciprich; Marie Duzí; Tomás Frydrych; Marek Mensík (RASLAN, 2009)

Ontology as a Logic of Intensions. - Marie Duzí; Martina Cíhalová; Marek Mensík (EJC, 2010)

Process Ontology. - Marie Duzí; Martina Cíhalová; Marek Mensík; Lukás Vích (RASLAN, 2010)

E-Learning Support for Logic Education. - Marie Duzí; Marek Mensík; Martina Cíhalová; Ludmila Dostálová (DEIS, 2011)

Document Similarity. - Marie Duzí; Marek Mensík; Michal Perdek (EJC, 2012)

Deduction System for TIL-2010. - Marie Duzí; Marek Mensík; Lukás Vích (RASLAN, 2012)

Logical Specification of Processes. - Martina Cíhalová; Marie Duzí; Marek Mensík (EJC, 2013)

eLogika - the system for teaching logic. - Marek Mensík; Marie Duzí; Jakub Gerlich (EJC, 2014)

Logic of Inferable Knowledge. - Marie Duzí; Marek Mensík (EJC, 2016)

The Role of Beta Conversion in Functional Programming. - Marek Mensík; Marie Duzí; Jakub Kermaschek (EJC, 2017)

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)

Adjustment of Goal-driven Resolution for Natural Language Processing in TIL. - Marie Duzí; Michal Fait; Marek Mensík (RASLAN, 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)

Using FCA for Seeking Relevant Information Sources. - Marek Mensík; Adam Albert; Vojtech Patschka (RASLAN, 2020)

Inferring Knowledge from Textual Data by Natural Deduction. - Marie Duzí; Marek Mensík (Computación y Sistemas, 2020)

Conceptual Framework for the Conversion of Text Document into TIL-Script. - Martina Cíhalová; Marek Mensík (EJC, 2021)

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

Using FCA and Concept Explications for Finding an Appropriate Concept. - Marek Mensík; Adam Albert; Tomás Michalovský (RASLAN, 2021)

Rules for Converting Natural Language Text with Motion Verbs into TIL-Script. - Martina Cíhalová; Marek Mensík (EJC, 2022)

Heuristics for Spatial Data Descriptions in a Multi-Agent System. - Marek Mensík; Adam Albert; Petr Rapant; Tomás Michalovský (EJC, 2022)

Processing TIL-Script Constructions for Supervised Machine Learning with Symbolic Representation. - Tomás Michalovský; Marek Mensík; Adam Albert (ITAT, 2022)

Algorithm for Generating Sketch Maps from Spatial Information Extracted from Natural Language Descriptions. - Marek Mensík; Petr Rapant; Adam Albert (EJC, 2023)

Automatic sketch map creation from labeled planar graph. - Petr Rapant; Marek Mensík; Adam Albert (Int. J. Geogr. Inf. Sci., 2024)